철도시스템 고안전 소프트웨어 검증을 위한 도구 개발 방안 및 설계

References

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