• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.389-402
• /
• 1997

컴퓨터 소프트웨어를 내장한 시스템의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 있다. 이러한 결함 분석 기법들은 전통적으로는 하나의 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 시스템에 가 장 알맞는 분석 기법이 동원되어야 함은 이제 필수적이다. 여기에 착안하여, 시스템 내에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템의 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함 트리 분석(FTA)과 소프트웨어 오류경 향 및 영향 분석(소프트웨어 FMEA)을 결합한 시스템 결함 분석 방법을 제안하고자 한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.6
• /
• pp.435-439
• /
• 2009

Software used in safety-critical system must have high dependability. Software testing and V&V (Verification and Validation) activities are very important for assuring high software quality. If we can predict the risky modules of safety-critical software, we can focus testing activities and regulation activities more efficiently such as resource distribution. In this paper, we classified the estimated risk class which can be used for deep testing and V&V. We predicted the risk class for each module using support vector machines. We can consider that the modules classified to risk class 5 and 4 are more risky than others relatively. For all classification error rates, we expect that the results can be useful and practical for software testing, V&V, and activities for regulatory reviews.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2005.10a
• /
• pp.339-344
• /
• 2005

• Journal of Aerospace System Engineering
• /
• v.13 no.1
• /
• pp.62-68
• /
• 2019

The software installed on an aircraft is directly related to its safety. Therefore, it shall comply with the standards of the airworthiness certification to ensure safety of flight. Airborne software should be developed in accordance with the DO-178 (Software Consideration in Airborne Systems and Equipment Certification) to comply with the airworthiness certification criterion. However, the military airborne software has been developed in accordance with the DAPA weapons system software development and management manual. In this paper, we completed a questionnaire survey of software experts. We also suggest a military airborne software development/certification process based on DO-178.

• Journal of Convergence Society for SMB
• /
• v.2 no.1
• /
• pp.11-18
• /
• 2012

As scale of software has been expanded and complicated, it is difficult to detect hazards which induce functional failure of software. Functional failure of safety-critical system (nuclear power plant, air traffic control systems, railway operating system) could result in a disaster (personal injury, environmental pollution). Therefore, it is necessary to conduct a safety analysis for preventing functional failure and increasing safety of the software. However, there are some reasons (time and effort problem, low knowledge of various safety analysis techniques, selecting conventional technique in company, organization) which disturb selecting an apposite one. This paper presents some traditional safety analysis techniques, recently presented techniques and combined models. We expect that it helps stakeholders to choice adequate one for target system.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.285-290
• /
• 1998

본 논문은 David Harel이 제안한 Statechart based Formalism과 Statemate MAGNUM toolset을 이용하여 월성 원전 2/3/4호기 증기발생기 수위로 인한 원자로 정지를 activity chart 및 Statechart로 모델링하고 K&R C 코드를 자동으로 생산하였다. 이는 종전의 몇몇 소프트웨어 전문가에 의해서 개발될 수 밖에 없었던 원전 필수만전(Safety-critical) 소프트웨어를 정형화된 Computer Aided Software Engineering 도구를 활용하여 소프트웨어 생명주기중 요구사양명세 및 설계까지만 수행하고 그 이하는 모두 자동으로 생산하는 소프트웨어 공학의 핵심기술을 연구한 것이다. 자동으로 생산된 K&R C 코드는 품질이 우수하고 생산성이 높으며 이식성이 뛰어남을 확인할 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.325-328
• /
• 2004

오늘날 의료용 소프트웨어의 품질은 의료기기의 성능과 안전성을 좌우하는 중요한 요소로 자리잡고 있다. 국내의 경우, 의료기기에 대해서는 안전성 및 유효성 심사를 통한 허가 업무를 수행하고 있으나 소프트웨어를 수반하는 의료기기에 대해서는 아직 시험 인증체계가 구축되어 있지 않은 실정이다. 이로 인해, 의료용 소프트웨어의 품질저하로 의료 서비스의 질적 저하를 유발할 수 있는 문제점이 발생할 수 있다. 그러나 이러한 의료용 소프트웨어에 대한 질적인 품질을 평가할 수 있는 방법에 대한 연구가 그 동안 미흡하여 전문성과 안전성을 요구하는 의료용 소프트웨어에 대한 평가가 필수적으로 요구되고 있다. 본 연구에서는 ISO/IEC 12119를 기반으로 개발된 의료용 소프트웨어 시험모듈을 활용한 시험 사례를 구축하고 인증과 관련된 문서체계를 구축하여 의료용 소프트웨어 시험 인증 과정에서 활용할 수 있도록 하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.147-152
• /
• 1997

C++는 C의 장점을 가지고 있으면서 객체지향적 요소를 포함하고 있어 현재 객체지향적 소프트웨어 개발에 가장 많이 사용되어지는 언어 중에 하나이다. 본 고에서는 원자력 발전소 제어시스템과 같은 안전 시스템 개발에 사용될 언어가 보장해야할 속성에 대하여 정의하고 이러한 속성들을 C++는 어떻게 지원할 수 있는 가에 대하여 기술하였다. 80년 이후에 소개된 객체지향 기술이 계속적으로 발전하고 소프트웨어 개발에 많은 장점을 제공하고 있기 때문에 많은 분야의 소프트웨어 개발에 적용되어지고 있다. 따라서 safety-critical 시스템과 같이 고신뢰성과 안정성이 요구되는 시스템 개발에도 적용되어 진다면 소프트웨어 개발 생산성에 많은 도움이 될 것이다.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.33 no.7
• /
• pp.41-46
• /
• 2015

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.357-360
• /
• 2005

본 논문은 안전필수 소프트웨어라 할 수 있는 원전(원자력발전소) 소프트웨어의 품질요건을 원자력법, 시행규칙, 규제지침, 표준에 입각하여 분석하였고, 국제표준인 ISO(International Organization for Standardization) 소프트웨어 표준이 원전 소프트웨어 품질요건에 부합될 수 있는지를 ISO/IEC 12207을 중심으로 분석하였다. 현재는 요구되고 있지 않으나 앞으로 원전 소프트웨어 공급자에 대한 소프트웨어 개발능력 평가 시 소프트웨어 인증취득을 요구함으로써 원전 소프트웨어의 품질 향상과 안전성을 도모할 수 있는 방법을 제안하였다. 원전 소프트웨어에 요구되는 안전성분석에 대해서 검토하였다.