선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 이를 위해 본 논문에서는 정형검정하기 위해 형식기법의 하나인 LTS(Labeled Transition System)으 로 설계된 프로토콜을 명세화하고 이 모델을 Modal U -calculus 로직을 적용한 모델체킹 방법을 통해 안전성 (Safety) 과 필연성(Liveness)을 검정하였다. 본 논문에서는 설계한 CTC와 SCADA 장치 사이의 프로토콜 구조와 정형검정 결과를 간략하게 설명한다.
- 본 논문에서는 최근 들어 인터페이스 필요성이 증대되고 있는 CTC 장치와 SCADA 장치 사이의 통신 프로토콜 구조를 제시하였다. 이 제시된 프로토콜을 기반으로 하여 장치간의 점유한 열차번호 정보, 전차선 구간의 가압정보 등이 교환됨으로 인해 CTC에서는 보다 안전하게 열차운행 제어가 가능하게 되고, 또한 SCADA 장치에서는 열차의 운행 상태 정보를 통해 보다 효율적인 시스템의 운용이 가능해 질 수 있을 것으로 기대된다.
- 이러한 CTC 시스템과 인터페이스가 필요한 외부설비들 중 본 논문에서는 철도청 통합 CTC장치와 SCADA 장치와의 인터페이스를 위한 프로토콜 구조를 연구하였다. 이를 위해 기존의 도시철도 시스템들과 경부고속철도 시스템의 프로토콜들을 분석하였다.
- 이를 위해 기존의 도시철도 시스템들과 경부고속철도 시스템의 프로토콜들을 분석하였다. 이러한 분석들을 토대로 철도청 통합 CTC와 SCADA 장치간 통신을 위한 프로토콜 구조를 제시한다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.