본문 바로가기
HOME> 논문 > 논문 검색상세

학위논문 상세정보

안전성 향상을 위한 철도신호시스템의 연동논리 형식화에 관한 연구 원문보기
A Study on Interlocking Logic Formalization for Safety Improvement of Railway Signalling System

  • 저자

    박영수

  • 학위수여기관

    광운대학교 대학원

  • 학위구분

    국내박사

  • 학과

    제어계측공학과

  • 지도교수

  • 발행년도

    2003

  • 총페이지

    xiii, 129 p.

  • 키워드

  • 언어

    kor

  • 원문 URL

    http://www.riss.kr/link?id=T8627072&outLink=K  

  • 초록

    본 논문은 컴퓨터를 사용하는 철도신호제어장치에서 경험에 의존하여 작성되고 있는 소프트웨어를 형식적인 수학적 표기가 가능한 언어를 제시하여 형식화된 데이터로 표현하고, 데이터의 안전을 입증하여 시스템의 안전을 보증하기 위한 연구이다. 철도신호시스템 소프트웨어의 수학적 모델링을 위한 형식문법구문을 제안하여 시스템 소프트웨어를 모델링 하였으며 시스템의 안전특성을 형식화하여 두 모델의 특성을 비교하였다. 이러한 형식문법구문을 철도신호제어장치의 전자연동장치에 적용하여, 연동논리를 형식화된 데이터로 표현하고 모델링 하였으며, 모델링에 의해 도출된 형식데이터를 시스템 안전입증을 검사하는 소프트웨어인 CWB (Concurrency Workbench)를 사용하여 안전이 입증되는 과정을 수행하였다. 본 논문에서는 기존에 사용되고 있던 안전입증을 위한 절차를 체계적으로 연구하여 소프트웨어로 구현되는 논리에 대한 형식적 수학모델링의 필요성을 이끌어 내었다. 또한, 철도신호시스템에 대한 형식기법 적용연구와 컴퓨터를 사용하는 철도신호시스템에 적합한 멀티타스킹 구조의 형식모델링 기법인 CCS(Calculus of Communicating System)를 적용하여 모델링하였으며, CCS로 표현된 모델을 CWB를 사용하여 시스템의 안전입증을 용이하게 하였다. 형식구문을 사용한 데이터의 형식화는 연동논리에 적용된 것과 같이 신호시스템에 사용되는 소프트웨어에 동일하게 적용되어, 보다 객관적인 방법으로 시스템의 안전을 보증하며, 이러한 보증과정에 걸리는 시간과 노력을 최소화시켰다.


 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역