1 |
IEC 61508, "Railwya Applications - The speification and demonstration of RAMS", 1998
|
2 |
IEC 62279, "Railway Applications - Software for railway control and protection systems", 2002
|
3 |
Ian B. Pirie, "Software - How do we know it is safe?", Proceedings of the 1999 ASME/IEEE Joint, pp.122-129, 1999
|
4 |
황종규, 조현정, 김형신, "열차제어시스템 소프트웨어 안전성 평가도구의 설계", 한국철도학회 논문집, 제11권 제2호, pp. 139-144, 2008.4
|
5 |
철도안전법[법률 8852호], 일부개정 2008.02
|
6 |
N. Eickelmann, F. Ruffolo, etc.,"An empirical study of modifying the Fagan Inspection process and the resulting main effects and interaction effects among defects found, effort required, rate of preparation and inspection", Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop, 2002.
|
7 |
J.D.Lavrence, "Software qualification in safety applications", Reliability Engineering & System Safety, Vol. 70, No.2, pp. 167-184, 2000
DOI
ScienceOn
|
8 |
소선섭, 차성덕, 권용래, T.J. Shimeall, "페이건 인스펙션의 오류 검출 능력에 관한 실험적 평가", 정보과학회논문지, 제24권 제12호, 1997. 12
|