지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2004.10
- 수록면
- 62 - 67 (6page)
이용수
이 논문의 연구 히스토리 (3)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in LTS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS.
In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.
In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.
목차
ABSTRACT
1. 서론
2. 철도 신호제어 프로토콜 type 1과 LTS 및 I/O 비교 분석
3. 지역 오토마타
4. 지역 오토마타 알고리즘을 적용한 철도 신호제어 프로토콜 검정
5. 결론 및 향후 계획
참고 문헌
후기
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
신뢰성 확보를 위한 철도 신호제어용 프로토콜 검정기 개발
한국철도학회 학술발표대회논문집
2004 .06
-
LTS로 명세화된 철도 신호제어용 프로토콜 검정 및 적합성시험
한국철도학회 학술발표대회논문집
2003 .10
-
Development of Communication Protocol Verification Tool for Vital Railway Signaling Systems
Journal of Electrical Engineering & Technology
2006 .12
-
철도신호설비 상호간 정보전송을 위한 통신 프로토콜 검증시험
철도저널
2004 .06
-
LTS 로 명세화 된 철도 신호제어용 프로토콜 검증
대한전자공학회 학술대회
2003 .07
-
관계 데이타베이스 기법과 FSM 모델을 이용한 프로토콜 검증에 관한 연구
한국정보과학회 학술발표논문집
1988 .10
-
Cycle - C를 이용한 제어흐름 중심의 FSM 설계
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2005 .02
-
Automata를 이용한 통신 프로토콜의 모델링에 관한 연구
한국정밀공학회 학술발표대회 논문집
1998 .05
-
Communication Protocol의 design 을 위한 Specification과 Verification에 관한 연구
한국정보과학회 학술발표논문집
1986 .10
-
FSM을 이용한 실시간 차량 동역학 모델 해석
대한기계학회 춘추학술대회
2015 .04
-
FSM 설계를 위한 상태할당 알고리듬 ( A State Assignment Algorithm for FSM Design )
대한전자공학회 학술대회
1992 .01
-
FSM을 이용한 해양안전정보시스템의 고도화에 대한 연구
한국지능시스템학회 학술발표 논문집
2012 .11
-
FSM(Functional Suspension Model)
기계저널
2006 .11
-
실행 가능한 모델 적용을 통한 신뢰성 있는 네트워크 프로토콜 설계
대한전자공학회 학술대회
2015 .06
-
계층적 FSM 에서 동시실행 및 동기화 지원 방법
제어로봇시스템학회 국내학술대회 논문집
2012 .04
-
Communication Models and Protocols
대한전자공학회 단기강좌
1991 .01
-
FSM 함성기에서의 상태 최소화 알고리듬 개발 ( the State Minimization Algorithm Development in FSM Synthesis )
대한전자공학회 학술대회
1991 .01
-
FSM을 이용한 Web Mining 방법에 관한 연구
한국지능시스템학회 학술발표 논문집
2003 .12
-
상위 수준 설계 기술에서의 FSM 자동 생성 시스템 ( Automatic FSM Generation from Behavioral Design Description )
대한전자공학회 학술대회
1990 .07
-
The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2007 .07
이 논문의 저자 정보
이 논문과 함께 이용한 논문
폐회로 전력선 통신 기술의 스마트 조명제어시스템 적용에 관한 분석
김정호
대한전기학회 학술대회 논문집
2020
.11
러시아의 길: 러시아 문학과 철도 - 19세기를 중심으로 (가르신의 단편 〈신호〉를 따라)
김태옥
한국노어노문학회 학술대회 발표집
2020
.10
선로전환기 고장 사례를 통한 연구개발 방향 분석
김대현
,
조봉관
,
김원중
한국철도학회 학술발표대회논문집
2019
.05
실시간 철도안전관제 플랫폼에서의 수집 데이터 성능 개선 방안 연구
신광호
,
박지원
,
안진
한국도시철도학회논문집
2018
.12
분기기 동작부의 이물질 삽입 장애와 노화에 의한 선로전환기 동작의 특성 비교
김용규
,
전재근
,
이종현
외 3명
한국철도학회 논문집
2018
.10
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-326-017511693