소프트웨어 개발 프로세스에서의 안전성 분석 및 관리 활동의 적용방안
Application of Safety Analysis and Management in Software Development Process
0
조회
0
다운로드
6
인용
0
참고문헌
키워드
초록
현대 사회에서 자동차, 철도, 항공우주, 원자력, 국방 등의 다양한 분야에서 대부분의 장치들이 소프트웨어를 내장하고, 제어용 소프트웨어 시스템이 탑재됨에 따라 소프트웨어의 안전성에 대한 중요도가 높아지고 있다. 다양한 산업 분야에서 소프트웨어가 사용되면서 소프트웨어에 의한 사고의 위협도 높아지기 때문에 소프트웨어 오동작에 의한 안전성 위협이 큰 이슈로 떠오르게 되었다. 소프트웨어의 사고는 사용자의 오조작에 의해서 발생할 수 도 있지만 가장 근본적으로는 설계 과정에서의 안전성에 대한 검증이 제대로 이루어지지 않아서 발생하게 된다. 따라서 본 논문에서는 소프트웨어 개발 프로세스에서 소프트웨어 안전성 분석 및 관리 활동이 어떻게 이루어져야 하는 가를 제시한다. 특별히 프로토타입이나 점진적 개발 프로세스에서의 안전성 분석 및 관리 활동의 적용 방안에 대하여 제시한다.
Abstract
As most devices in a wide range of automotive, aerospace, and missile have built-in software that controls the system behaviors, the safety of the software is growing in its importance. That is, the software safety has emerged as one of big issues because the threat of accidents caused by software malfunction is rising. Accident by software can be occurred from user mal-operation, but the fundamental reason of the accident comes from insufficient verification of the safety in software development process. Therefore, this paper presents how the software safety analysis and management activities should be done in the development process. In particular, we propose how to apply the safety analysis and management activities in the prototype or incremental development process.
참고문헌 (22)
- Korea YeonHap News, "Toyota Prius Recall –Software Faluts", ~ (2014)
- "KTX Stop Again" (2011)[URL]
- "Ariane 5 Flight 501 Failure, Report by the Inquiry Board" (1996)[URL]
- Mars Climate Orbiter Mishap Investigation Board Phase I Report, "A. G. Stephenson", ~ (1999)
- Nancy Leveson, "Software: System Safety and Computers" (1995), Addison-Wesley
- 김경수, "레일리분포를 이용한 유한고장과 무한고장 소프트웨어 신뢰성 모형에 대한 비교연구", 디지털융복합연구, 12(12), pp.277~284 (2014), 한국디지털정책학회[DOI]
- 김명희, "소프트웨어 안전성 평가를 위한 소프트웨어 고장 유형과 영향 분석에 관한 연구", 멀티미디어학회논문지, 15(1), pp.115~130 (2012), 한국멀티미디어학회
- C. H. Han, "A study on the Correlation Hazard Analysis for Signaling System Safety", Journal of the Korean Society for Railway, pp.634~641 (2007)
- E. S. Kim, "A Survey on Safety Analysis Techniques for Safety Critical Systems", Journal of IT Convergence Society for SMB, 2(1), pp.11~18 (2012)
- C. A. Ericson, "Fault tree Analysis-A History", Proceedings of the 17th International System Safety conference, pp.1~9 (1999)
- ISO Standards, "ISO 26262 Road vehicles-Functional safety", ISO, ~ (2011)
- I. Sommerville, "Software Engineering" (2007), Addison-Wesley
- GAO Report IMTEC-92-26, "United States General Accounting Office", ~ (1992)
- IEC Standards, "IEC 61508 - Standard for Functional Safety of Electrical", Electronic, International Electrotechnical Commission, pp.2010, ~
- 황종규, "열차제어 소프트웨어 안전성 평가도구의 설계", 한국철도학회논문집, 11(2), pp.139~144 (2008), 한국철도학회
- J. J. Park, "An Approach to improve software safety by Code refactoring", Proceedings on Korea Computer Congress, pp.532~534 (2013)
- J. J. Kwon, "Collision Analysis of Safety Devices to Prevent Hazards in Safety Critical Systems", IEEE Software Security and Reliability, pp.245~254 (2014)
- E. M. Clarke, "Model checking" (1999), MIT press
- P. J. Wilkinson, "Functional Hazard Analysis for Highly Integrated Aerospace System", Certification of Ground, 1998, ~
- H. H. Kim, "The Case Study on Software FMEA for the Efficient Improvement of Functional Safety", Transactions of The KSAE, 2012(11), pp.1303~1308 (2012)
- I. B. Pirie, "Software ? How do we know it is safe?", IEEE Conference on ASME, pp.122~129 (1999)
- K. B. Sung, "Safety Activities on The Software Life-Cycle", Journal of Korea Multimedia Society, pp.432~437 (1998)