1 |
IEC 61508, "Railway Applications - The specification and demonstration of RAMS", 1998
|
2 |
정혜령, 김상운, 권용래, "희귀 시험을 위한 Java 소프트웨어의 수정영향 분석", 한국정보과학회 가을 학술발표논문집, vol. 34, no. 2(B), 2007
|
3 |
X. Ren, O. C. Chesley, and B. G. Ryder, "Identifying failure causes in java programs: An application of change impact analysis". IEEE Trans. on Software Engineering, vol. 32, no. 9, pp. 718-723, 2006
|
4 |
J.D.Lawrence, "Software qualification in safety applications", Reliability Engineering & System Safety, Vol. 70, No. 2, pp. 167-184, 2000
DOI
ScienceOn
|
5 |
철도안전법[법률 8852호], 일부개정 2008.02
|
6 |
황종규, 조현정, 김형신, "열차제어시스템 소프트웨어 안전성 평가도구의 설계", 한국철도학회 논문집, 제11권 제2호, pp. 139-144, 2008.4
ScienceOn
|
7 |
B. G. Ryder and F. Tip, "Change Impact for Object Oriented Programs", Proc. ACM SIGPLAN/SIGSOFT Workshop Program Analysis and Software Testing, pp. 46-53, 2001
|
8 |
IEC 62279, "Railway Applications - Software for railway control and protection systems", 2002
|
9 |
Weber W. et al., "Enhancing software safety by fault trees:experiences from an application to flingt critical software", Reliability Engineering & System Safety, Vol. 89, No. 1., pp. 57-70, 2005
DOI
ScienceOn
|
10 |
M. Fewstar, D. Graham, "Software Testing Automation: Efective use of test execution tools", ACM Press, Adison Wesley, 1999
|