• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• 항공우주시스템공학회지
• /
• 제6권3호
• /
• pp.1-6
• /
• 2012

It is booming to use computer owing to the information society, and embedded software application have grown in airborne systems and equipment. So this introduces airborne software, RTCA DO-178B, life cycle and its data, and software development pitfalls in design and certification.

• 항공산업연구
• /
• 통권68호
• /
• pp.38-63
• /
• 2006

디지털 하드웨어가 값이 싸다는 것과 그 외형적 크기도 작아지고 있으며 소모 전력도 적다는 경향 때문에 항공에서 디지털 시스템의 사용이 현저하게 증가하게 되었다. 일부에서는 디지털 실용화가 아날로그 기반의 설계를 대체하기까지 하고 있으며 전연 새로운 개념이 도입되고 있는데 이는 모두 디지털 시스템 덕분이다. 대부분의 경우 항공에서 디지털 시스템은 안전에 치명적인 특성을 가지며 해당 소프트웨어의 오류로 항공기의 지속적인 비행과 착륙을 할 수 없는 고장을 유발할 수 있다. 이러한 이유로 항공기에 적용되는 소프트웨어의 인증이 대두되는 것이다. 이 글에서는 향후 우리나라에서도 전개될 소프트웨어의 인증에 대비하여 인증의 기준으로 적용되고 있는 RTCA DO-178B의 내용을 살펴보고 전형적인 항공기 또는 TSOA 인증과정에서의 소프트웨어의 승인 프로세스를 살펴보았다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.968-973
• /
• 2007

The systems such as the railway control system, satellite control system and nuclear power plant control system are the safety critical systems because the failure of them could lead to risk significant events. These softwares of digital systems must follow the life cycle process from the beginning of software development to guarantee their safety and reliability. The NRC(Nuclear Regulatory Commission) Reg Guide of nuclear fields, the RTCA/DO-178B standard which is used to acquire the certification for software in industrial aero field in European Union and United State, the DEF STAN 00-55 standard for the safety of electronic weapon in England, the IEC 601-1-4 for medical equipment and the IEC 62279 for railway system recommended the development life cycle. This paper introduces the development process and compares each other. Also it indicates applicable development criteria for the software of systems related to railway fields and describes the detailed procedure of development criteria. We describe the procedure to make the software development criteria in nuclear filed. For the software development related to railways, the process from plan phase to maintenance phase must be satisfied. The safety and reliability is guaranteed through these standards.