상세 보기
초록
본 고에서는 철도제어시스템처럼 바이탈한 제어시스템을 위한 프로토콜의 설계를 위한 정형기법에 의한 프로토콜 엔지니어링 기술 일반과 철도신호용 프로토콜에 적합한 프로토콜 정형검정(Formal Verification) 방법론을 소개하고, 이러한 방법론이 실제 어떻게 적용되는지 예를 들어 설명한다.
키워드
프로토콜 엔지니어링; 정형검정
- 제목
- 철도 정보전송을 위한 프로토콜 엔지니어링 기술
- 저자
- 황종규; 이재호
- 발행일
- 2004-06
- 저널명
- 한국철도학회지
- 권
- 7
- 호
- 2
- 페이지
- 12 ~ 17
- 언어
- KOR
- 발행국가
- 대한민국
- 분량
- 6 페이지
- ISSN
- P 2005-7393