지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
초록· 키워드
오류제보하기
Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection module and checklists supporting module. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.
목차
Abstract
1. 서론
2. 열차제어시스템 소프트웨어 안전성 평가
3. Fagan Inspection 모듈
4. 체크리스트 모듈
5. 정적분석 도구의 개발
6. 결론
감사의 글
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
철도시스템 바이탈 소프트웨어 테스팅을 위한 Fagan Inspection 지원도구의 개발
한국철도학회 학술발표대회논문집
2009 .05
-
열차제어시스템 소프트웨어 정적 테스팅 적용시험 결과 분석
전기학회논문지 P
2013 .03
-
열차제어 S/W 안전성 평가를 위한 절차 및 관리 방안 연구
한국철도학회 학술발표대회논문집
2008 .11
-
철도시스템 소프트웨어 변경영향 분석을 위한 자동화 도구 개발
전기학회논문지 P
2009 .06
-
열차제어 S/W 변경영향 분석을 위한 방법 연구
한국철도학회 학술발표대회논문집
2009 .05
-
Development of Automatic Tool for Software Metrics Analysis for Railway Signaling Systems
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
-
철도시스템 소프트웨어 코딩규칙 검사 도구의 적용성 분석
대한전자공학회 학술대회
2010 .06
-
열차제어시스템 소프트웨어 Metric 분석 자동화도구 개발
한국철도학회 학술발표대회논문집
2008 .11
-
A Study on Quality Improvement of Railway Software
제어로봇시스템학회 국제학술대회 논문집
2010 .10
-
철도내장형제어기의 안전확보를 위한 소프트웨어 코딩규약 확보방안
대한전기학회 학술대회 논문집
2008 .04
-
열차제어시스템을 위한 바이탈 소프트웨어 테스팅 자동화 도구의 제안
대한전기학회 학술대회 논문집
2008 .04
-
열차제어시스템 바이탈 소프트웨어 안전성 평가를 위한 테스트 도구의 검토
대한전기학회 학술대회 논문집
2007 .10
-
철도시스템 소프트웨어를 위한 자동화된 데이터흐름 시험도구의 구현
대한전자공학회 학술대회
2010 .06
-
Software Black-box Testing Tool for Railway Signaling System by Real Interface
제어로봇시스템학회 국제학술대회 논문집
2013 .10
-
Software 안정성을 위한 정적분석 연구
한국멀티미디어학회 학술발표논문집
2007 .11
-
철도소프트웨어 개발 및 평가프로세스 제안
한국철도학회 학술발표대회논문집
2008 .06
-
Suggestions of Development Methodology for Railway Software
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2008 .07
-
실사용 인터페이스를 이용한 열차제어 소프트웨어 테스팅 도구의 구조
한국통신학회논문지
2014 .09
-
Development Procedure Applied Formal Method of Vital Software for Railway Signalling Systems
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2007 .07
-
신호보안시스템의 소프트웨어 신뢰성 향상에 관한 기초연구
한국철도학회 학술발표대회논문집
2001 .05
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2010-560-002259023