1 |
IEC 61058, "Railway Applications: The specification and demonstration of RAMS", 1998
|
2 |
MISRA-C Coding Standard, MISRA(Motor Industry Sftware Reliability Association), 2004
|
3 |
IEC 62279, "Railway Applications : Software for railway control and protection systems", 2002
|
4 |
Robyn R. Lutz and Robert M. Woodhouse, "Bi-directional Analysis for Certification of Safety-Critical Software", Proceedings of 1st international Software Assurance Certification Conference, Dulles, Virginia, February, 1999
|
5 |
M.Fewstar, D. Graham, "Software Testing Automation: Effective use of test execution tools". ACM Press, Addison Wesley, 1999
|
6 |
황종규, 조현정, 김형신, "열차제어시스템 소프트웨어 안전성 평가도구의 설계", 한국철도학회 논문집, 제11권 제2호, pp.139-144, 2008. 4
|