Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2010.11a
- /
- Pages.1607-1608
- /
- 2010
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
ATO modeling method of a CBTC Wayside Controller Software with SCADE
SCADE 를 이용한 CBTC 지상장치 소프트웨어 ATO 기능 모델링 기법
- Park, Chae-Jung (POSCO ICT, Technical Research Laboratory) ;
- Lee, Duk-Hee (POSCO ICT, Technical Research Laboratory) ;
- Yoo, Sung-Ho (POSCO ICT, Technical Research Laboratory) ;
- Choi, Sun-Ah (POSCO ICT, Technical Research Laboratory) ;
- Cho, Dong-Rae (POSCO ICT, Technical Research Laboratory)
- 박채정 (POSCO ICT 정보제어기술연구소) ;
- 이덕희 (POSCO ICT 정보제어기술연구소) ;
- 유성호 (POSCO ICT 정보제어기술연구소) ;
- 최선아 (POSCO ICT 정보제어기술연구소) ;
- 조동래 (POSCO ICT 정보제어기술연구소)
- Published : 2010.11.12
Abstract
본 논문은 통신기반 열차제어방식으로 주목 받고 있는 CBTC 시스템의 지상장치 소프트웨어 기능을 모델기반 개발도구인 SCADE 를 이용하여 설계하는 기법을 제시한다. CBTC 지상장치의 ATO 기능은 모델링 후 다양한 테스트 케이스를 통해서 기능을 검증하였다. 수행된 모델링을 통해서 SCADE 가 CBTC 소프트웨어 시스템을 개발하는데 효과적으로 사용될 수 있음을 제시한다.
Keywords