• Journal of the Korean Society of Systems Engineering
• /
• v.13 no.1
• /
• pp.57-65
• /
• 2017

Recently, the ratio of electrical part and embedded software has grown in automotive industry. ISO 26262, 'Road Vehicles - Functional Safety', was published to guide development of automotive electrical and electronic part in 2011. This paper describes definition of functional safety and analyzes ISO 26262. The comparison of ISO 26262 and DO-178C is made, then difference between them is identified. DO-178C provides guidance for the production of software for airborne system and equipment. The core of DO-178C is a relatively minor update to the previous DO-178B, however, the big changes are captured in the supplemented documents such as DO-331, 'Model-Based Development and Verification Supplement to DO-178C and DO-278A'. Model-based design is important to develop automotive and aircraft meeting the guidelines of ISO 26262 and DO-178C. In this paper, the sample case of applying MBSE(Model-Based Systems Engineering) to AVCS(Active Vibration Control System) software development is discussed.

• Journal of IKEEE
• /
• v.19 no.3
• /
• pp.415-423
• /
• 2015

The DO-178C guide, which is referenced as the software development guide when a certification of the airworthiness in the commercial airplane is acquired by FAA in US, is recently referenced for the local military aircraft airworthiness. This indicates that when the auditor of the military aircraft airworthiness looks over the software development documents, the auditor reviews if all of the documents are verified in accordance with the DO-178C guide. However, when we developed the military aircraft intercom, We developed its control software in accordance with the CMMI level 3, since there were no requirements for the compliance of the DO-178C guide. Therefore, When we consider the airworthiness of this intercomm system, The analysis for how much the software development based on the CMMI level 3 is different from the DO-178C guide is needed to prepare the essential software documents additionally. Thus, This study analyzes the differences between CMMI level 3 and DO-178C guide and provides that which data on the CMMI level 3 is necessary for the compliance of the aircraft airworthiness comparing with the DO-178C. The analyzed result can be applied at the software development of the other military aircraft avionics equipment based on the CMMI model environment considering the compliance of the military aircraft airworthiness.

• Journal of Aerospace System Engineering
• /
• v.14 no.spc
• /
• pp.13-21
• /
• 2020

RTCA DO-178C is a development guideline to ensure aircraft system airworthiness. However, there is an opinion that the application of DO-178C to the development of UAV of more than MTOW 150 kg is over regulated because the severity of the risk from UAV is lower than that of normal aircraft. To address issue, EASA and FAA have been working on the Re-Engineering and Streamlining the Standards for Avionics Certification(RESSAC) project since 2016 with the goal of establishing a new certification scheme that simplifies existing aircraft certification procedures and standards. This paper analyzes the current DO-178C certification process and presents advantages by comparing and analyzing the new RESSAC certification process, which simplifies processes and outputs in comparing with the DO-178C certification process, while it ensures flight safety of the vehicle.

• 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 Aerospace System Engineering
• /
• v.17 no.6
• /
• pp.108-117
• /
• 2023

Thus far, a mission software component of the KT-1 military fixed-wing aircraft for overseas export has been developed through international joint development with foreign companies. The reliability of the software component could be certified by complying with the development environment and procedures of foreign companies based on DO-178B. However, recently, DO-178C certification is required for overseas exports, and reliability tests to comply with the weapon system software development guidelines are required for domestic military forces. In this paper, we describe the problems in obtaining domestic airworthiness certification in the international joint development of a previously developed KT-1 export-typed aircraft system integration project. To this end, we find a solution to comply with both DO-178C and the Weapon System Software Development and Management Manual and provide the optimal software reliability test method.

• Journal of Aerospace System Engineering
• /
• v.6 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.406-411
• /
• 2006

DO-178B는 항공분야 소프트웨어의 안전성 인증 기준으로서 실질적인 국제 표준으로 인정받고 있다. 그러나 목표달성 중심의 기준만을 제시함으로써 안전성 분석 및 검증에 대한 구체적인 가이드라인의 부족이 문제시 되어왔다. 본 논문을 통해 DO-178B의 취약점을 분석하고 정형기법을 적용한 개선방안을 제시한다. DO-178B 내용 중 정형기법을 적용하여 수행되어야 할 활동 요소들을 식별하고 정형언어를 통한 설계와 검증, 그리고 그 결과에 대한 증빙자료의 제출을 기준에 포함시킴으로써 개발 활동의 방향과 범위를 명확히 하고 인증 절차의 투명성을 향상시킬 수 있다.

• The Korean Publising Journal, Monthly
• /
• s.327
• /
• pp.178-178
• /
• 2003

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.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.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.31 no.5
• /
• pp.32-39
• /
• 2013