지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2003.10
- 수록면
- 581 - 586 (6page)
이용수
이 논문의 연구 히스토리 (3)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.
목차
ABSTRACT
1. 서론
2. 검정 및 시험대상
3. Modal mu-calculus를 적용한 철도 프로토콜 검정
4. 적합성 시험
5. 결론 및 향후 연구 추진사항
참고 문헌
후기
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Communication Protocol Conformance Testing
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
1996 .01
-
I/O FSM으로 명세화된 철도 신호제어용 프로토콜 검정에 관한 연구
한국철도학회 학술발표대회논문집
2004 .10
-
신뢰성 확보를 위한 철도 신호제어용 프로토콜 검정기 개발
한국철도학회 학술발표대회논문집
2004 .06
-
통신프로토콜 검정 및 적합성 시험에 관한 연구
한국통신학회 학술대회 및 강연회
2004 .12
-
X.25 프로토콜 적합성 시험 분석
한국정보과학회 학술발표논문집
1991 .01
-
CDMA Protocol Conformance Testing
CDMA International Conference and Exhibition
1997 .01
-
Development of Communication Protocol Verification Tool for Vital Railway Signaling Systems
Journal of Electrical Engineering & Technology
2006 .12
-
철도신호설비 상호간 정보전송을 위한 통신 프로토콜 검증시험
철도저널
2004 .06
-
LTS 간접시험 생성기법에 의한 프로토콜 적합성시험에 관한 연구 ( A Study on Protocol Conformance Testing Using LTS Indirect Test Case Generation Method )
한국통신학회논문지
1995 .03
-
Development of Verification and Conformance Test Generation of Communication Protocol for Railway Signaling Systems
제어로봇시스템학회 국제학술대회 논문집
2004 .08
-
통신 프로토콜 검정기 및 적합성시험 도구 개발
멀티미디어학회논문지
2005 .08
-
LTS 로 명세화 된 철도 신호제어용 프로토콜 검증
대한전자공학회 학술대회
2003 .07
-
지능망 프로토콜 적합성 시험시스템 구현 ( Implementation of the Conformance Testing System for IN Protocols )
대한전자공학회 학술대회
1997 .01
-
Automated Protocol conformance Test Generation and Fault Coverage Estimation
Asia-Pacific Conference on Communications
1993 .01
-
지능망 프로토콜 적합성 시험시스팀 구현 ( Implementation of the Conformance Testing System for IN Protocols )
한국통신학회 학술대회논문집
1997 .01
-
철도신호용 통신 프로토콜의 적합성 시험도구 개발에 관한 연구
대한전기학회 학술대회 논문집
2004 .07
-
멀티파티 프로토콜 적합성 시험 ( Multi-Party protocol Conformance Testing )
한국통신학회 학술대회논문집
1996 .01
-
New Algorithms for Protocol Test Case Generation
JC-CNSS : Joint Conference on Communications, Networks and Switching Systems
1990 .01
-
지능망 제어 시스템에 대한 프로토콜 적합성 시험 스위트 개발 ( Protocol Conformance Test Suite generation for Service Control Point )
한국통신학회 학술대회 및 강연회
1997 .01
-
Communication Models and Protocols
대한전자공학회 단기강좌
1991 .01
이 논문의 저자 정보
이 논문과 함께 이용한 논문
폐회로 전력선 통신 기술의 스마트 조명제어시스템 적용에 관한 분석
김정호
대한전기학회 학술대회 논문집
2020
.11
러시아의 길: 러시아 문학과 철도 - 19세기를 중심으로 (가르신의 단편 〈신호〉를 따라)
김태옥
한국노어노문학회 학술대회 발표집
2020
.10
선로전환기 고장 사례를 통한 연구개발 방향 분석
김대현
,
조봉관
,
김원중
한국철도학회 학술발표대회논문집
2019
.05
실시간 철도안전관제 플랫폼에서의 수집 데이터 성능 개선 방안 연구
신광호
,
박지원
,
안진
한국도시철도학회논문집
2018
.12
분기기 동작부의 이물질 삽입 장애와 노화에 의한 선로전환기 동작의 특성 비교
김용규
,
전재근
,
이종현
외 3명
한국철도학회 논문집
2018
.10
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-326-017607252