지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2004.6
- 수록면
- 226 - 232 (7page)
이용수
초록· 키워드
오류제보하기
In this paper, we develope a protocol verification tool that verifies the correctness of rail signal control protocol type 2 specified in LTS(Labeled Transition System) by using model checking method. This tool automatically checks several properties for deadlock, livelock and reachability of states and actions on LTS. and removes many errors and ambiguities of an informal method used in the past, so 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 developed verification tool.
목차
ABSTRACT
1. 서론
2. 모형검사를 이용한 프로토콜 검정 방법
3. 검정 대상
4. 프로토콜 검정기의 구성 및 동작
5. 검정기 알고리즘을 이용한 검정 예시
6. 결론 및 향후 계획
참고 문헌
후기
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
I/O FSM으로 명세화된 철도 신호제어용 프로토콜 검정에 관한 연구
한국철도학회 학술발표대회논문집
2004 .10
-
Development of Communication Protocol Verification Tool for Vital Railway Signaling Systems
Journal of Electrical Engineering & Technology
2006 .12
-
LTS로 명세화된 철도 신호제어용 프로토콜 검정 및 적합성시험
한국철도학회 학술발표대회논문집
2003 .10
-
LTS 로 명세화 된 철도 신호제어용 프로토콜 검증
대한전자공학회 학술대회
2003 .07
-
철도신호설비 상호간 정보전송을 위한 통신 프로토콜 검증시험
철도저널
2004 .06
-
시간적 논리와 도달성 그래프를 사용한 네트워크 프로토콜 검증법에 대한 비교 분석
(구)정보과학회논문지
1990 .04
-
Design and Implementation of a Protocol Verification System-LOVE
KITE JOURNAL OF ELECTRONICS ENGINEERING
1991 .01
-
A Verification System for Communication Protocols and Its Application to the OSI Session Protocol
JC-CNSS : Joint Conference on Communications, Networks and Switching Systems
1990 .01
-
MOST 150 Network Frame 분석과 MOST High Protocol 검증 방법
대한전자공학회 학술대회
2012 .06
-
실행 가능한 모델 적용을 통한 신뢰성 있는 네트워크 프로토콜 설계
대한전자공학회 학술대회
2015 .06
-
암호프로토콜 논리성 검증도구 개발에 관한 연구
정보보호학회지
2002 .04
-
철도 신호시스템을 위한 새로운 통신 프로토콜의 성능해석 및 검증
전기학회논문지 B
2004 .06
-
Reachability analysis에 의한 protocol의 자동 검증에 관한 연구.
한국정보과학회 학술발표논문집
1986 .10
-
Formal Verification Network-based Protocol for Railway Signaling Systems
제어로봇시스템학회 국제학술대회 논문집
2004 .08
-
Communication Models and Protocols
대한전자공학회 단기강좌
1991 .01
-
프로토콜 개발 도구 기능 및 요구사항 분석
한국통신학회 학술대회 및 강연회
1998 .07
-
Verification of results
한국소음진동공학회 세미나자료집
2009 .11
-
열차제어용 표준 통신 프로토콜의 안전 특성 분석 및 평가
한국철도학회 논문집
2007 .06
-
철도신호용 통신 프로토콜의 적합성 시험도구 개발에 관한 연구
대한전기학회 학술대회 논문집
2004 .07
-
V5.2 프로토콜 활용 방안 연구
한국통신학회 학술대회논문집
2001 .07
이 논문의 저자 정보
이 논문과 함께 이용한 논문
폐회로 전력선 통신 기술의 스마트 조명제어시스템 적용에 관한 분석
김정호
대한전기학회 학술대회 논문집
2020
.11
러시아의 길: 러시아 문학과 철도 - 19세기를 중심으로 (가르신의 단편 〈신호〉를 따라)
김태옥
한국노어노문학회 학술대회 발표집
2020
.10
선로전환기 고장 사례를 통한 연구개발 방향 분석
김대현
,
조봉관
,
김원중
한국철도학회 학술발표대회논문집
2019
.05
실시간 철도안전관제 플랫폼에서의 수집 데이터 성능 개선 방안 연구
신광호
,
박지원
,
안진
한국도시철도학회논문집
2018
.12
분기기 동작부의 이물질 삽입 장애와 노화에 의한 선로전환기 동작의 특성 비교
김용규
,
전재근
,
이종현
외 3명
한국철도학회 논문집
2018
.10
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-326-017506892