1 |
황종규, 조현정, 김형신, "열차제어시스템 소프트웨어 안전성 평가도구의 설계", 한국철도학회 논문집, 제11권 제2호, pp. 139-144, 2008. 4.
과학기술학회마을
|
2 |
IEEE Std. 1008-1997, "Software Unit Testing", 1997.
|
3 |
IEEE Std. 829-1998, "Software Test Documentation", 1998.
|
4 |
IEEE Std. 1012-2004, "Software Verification and Validation", 2004.
|
5 |
IEC std. 60880-2006, "Software aspects for computer-based systems performing category A functions", 2006.
|
6 |
RTCA/DO-178B, "Software considerations in airborne systems and equipment certification", 1992.
|
7 |
Arnaud Dupuy and Nancy Leveson, "An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software", Proceedings of DASC (Digital Aviation Systems Conference), Phildelphia, 2000. 10.
|
8 |
Peter G Bishop, "MC/DC based estimation and detection of residual faults in PLC logic networks", 14th IEEE International Symposium on Software Reliability Engineering(ISSRE), Denver, Colorado, 2003. 11.
|
9 |
박무혁. "항공용 S/W 개발 및 인증 기술동향", 항공우주산업기술동향 5권1호, pp. 15-24, 2007.
과학기술학회마을
|
10 |
IEC 61508, "Railway Applications - The specification and demonstration of RAMS", 1998.
|
11 |
IEC 62279, "Railway Applications - Software for railway control and protection systems", 2002.
|
12 |
철도안전법[법률 8852호], 일부개정 2008. 02.
|
13 |
M. Fewstar, D. Graham, "Software Testing Automation: Effective use of test execution tools", ACM Press, Addison Wesley, 1999.
|
14 |
J.D. Lawrence, "Software qualification in safety applications", Reliability Engineering & System Safety, Vol. 70, No. 2., pp. 167-184, 2000.
DOI
|