참고문헌
- IEEE 1012(2004), "IEEE Standard for Software Verification and Validation"
- IEC 61508(1998), "Railway Applications The specification and demmonstraion of RAMS"
- EC 62279(2002), "Railway Applications : Software for railway control and protection systems"
- RTCA(1992), "Software Cosiderations in Airline Systems and Equipment Certification"
- 황종규, 조현정 김형신(2008), “열차제어시스템 소프트웨어 안전성 평가도구의 설계”, 한국철도학회 논문집, 제11권 제2호, pp. 139-144
- IEEE 1220(2008), "IEEE Standard for Information Technolgy-Software Life Cycle Processes"