1 |
IEC 61508-3, "Functional safety of electrical/electronic /programmable electronic safety-related systems - Part 3 Software requirements", 1998.
|
2 |
IEC 62279, "Railway Applications - Software for railway control and protection systems", 2002.
|
3 |
철도시설 안전기준에 관한 규칙 (국토해양부령 제 356 호, 2011.6.7 )
|
4 |
황종규, 조현정, "열차제어시스템 소프트웨어 안전성 확인을 위한 코딩규칙 테스팅 자동화 도구의 개발", 한국 철도학회논문집 제12권 제1호, 2009년.
과학기술학회마을
|
5 |
한국철도기술연구원, "열차제어시스템 안전성능 평가 및 사고방지기술 개발", 국토해양부 국가연구개발사업 최종보고서, 2011년 6월.
|
6 |
MISRA-C Coding Standard, MISRA(Motor Industry Software Reliability Association), 2004.
|
7 |
황종규, 조현정, 김형신, "열차제어시스템 소프트웨어 안전성 평가도구의 설계", 한국철도학회 논문집, 제11권 제2호, pp.139-144, 2008. 4.
|
8 |
황종규, 조현정, "국제표준기반 열차제어시스템 소프트 웨어의 정적 테스팅지원 도구의 개발", 대한전기학회논문집 제58P권 제2호, 2009년 6월.
|
9 |
T.J. McCabe., "A Complexity Measure", IEEE Trans. on Software Engineering, Vol. SE-2, No. 4, Dec. 1976.
|
10 |
황종규, 조현정, 김용규, "열차제어시스템 소프트웨어 Metric 분석 자동화 도구 개발", 한국철도학회 논문집 제12권 제4호, 2009년 8월.
|
11 |
Atolic AB, "White paper, "Improving software quality with static source code analysis", July, 2011.
|
12 |
M. Fewstar, D. Graham, "Software Testing Automation: Effective use of test execution tools", ACM Press, Addison Wesley, 1999.
|
13 |
J.D. Lawrence, "Software qualification in safety applications", Reliability Engineering & System Safety, Vol. 70, No. 2., pp. 167-184, 2000.
DOI
ScienceOn
|