• Journal of Advanced Navigation Technology
• /
• v.22 no.4
• /
• pp.264-270
• /
• 2018

In recent years, It is required to verify software reliability according to DO-178, which announced by radio technical commission for aeronautics (RTCA) and recognized by the Federal Aviation Administration (FAA), for civil aircraft developed or intended to fly in the United States or Europe. This is because the reliance on software in each field is deepening, and the efforts for improvement of software reliability have been made first in civil aviation field where economic and social impacts are catastrophic in the event of an accident. In this paper, we have identified some issues to be considered for requirements-based reliability verification required by DO-178 to improve software reliability and present the major elements of the present weapon system acquisition procedure of DAPA for each stage. In addition, we analyzed the results of applying the identified main check factors to a domestic aircraft development project based on the information accumulated in overseas aircraft development projects. As a result, we have shown that it is possible to verify requirements-based software reliability according to DO-178 by adding key checkpoints to the current weapon system acquisition procedure and providing objective inspection criteria.

• Journal of Aerospace System Engineering
• /
• v.15 no.3
• /
• pp.71-78
• /
• 2021

Since most functions of modern aircraft are controlled by software, software errors are directly related to aircraft safety. The criterion in Chapter 15 of the MIL-HDBK-516C addresses safe development and verification of military aircraft software. As the U.S. Air Force repeatedly experienced non-compliance with Chapter 15 criterion of the MIL-HDBK-516C, it published an Airworthiness Circular (AC-17-01) as a guide to meeting the criterion. In this paper, Chapter 15 of MIL-HDBK-516C, AC-17-01 and the SW Qualification Guideline (DO-178C) as applied by the Federal Aviation Administration are compared and analyzed. For the analysis, a matching ratio formula between the MIL-HDBK-516C criteria specified in AC-17-01 and the DO-178C specified in MIL-HDBK-516C criteria is defined. The sections that satisfy MIL-HDBK-516C criterion are derived when AC-17-01 or DO-178C matches. Based on the analysis results, the aircraft software development process is established and examples of application of Chapter 15 of MIL-HDBK-516C are addressed.

• Journal of the Korea Convergence Society
• /
• v.12 no.11
• /
• pp.285-289
• /
• 2021

This paper identifies the development trend of aviation software certification regulation and introduces the certification regulation optimized for aviation for the application of augmented reality and virtual reality software to aviation maintenance industry. This regulation is expected to provide stability and reliability of augmented reality and virtual reality software applied to aviation maintenance industry by applying strict certification regulations to augmented reality and virtual reality software applied to aviation maintenance industry.We would like to present certification regulations that take into account problems that are difficult to define previously used DO-178B, and DO-178C.

• Journal of Advanced Navigation Technology
• /
• v.24 no.1
• /
• pp.28-36
• /
• 2020

Korea augmentation satellite system (KASS) is the Korean satellite based augmentation system (SBAS) developed by ministry of land, infrastructure, and transport (MOLIT) since 2014. Since KASS is the safety critical system that can affect to the safety of airplane, the software of KASS is developed according to the DO178B software level induced from safety analysis. In case of KASS control station (KCS), most of the software of KCS get assigned software level E in DO178B. In that case, ECSS-Q-ST-80C category D is assigned as a software product assurance standard. In this paper, the software related standard ECSS-E-ST-40C, ECSS-Q-HB-80-04A are analyzed to satisfy ECSS-Q-ST-80C and as a result the software product assurance activities regarding software life cycle and the software quality model, metric is proposed for the product assurance of the KCS software.

• Journal of Aerospace System Engineering
• /
• v.17 no.1
• /
• pp.33-41
• /
• 2023

As seen in the case of the Boeing 737 Max accident, the proportion of aircraft software is rapidly increasing. However, it is vulnerable to safety issues. In case of domestic aircraft software, to operate a Light Unmanned Aerial Vehicle (LUAV) less than an empty weight of 150 kg, safety certification is required for an Ultra-Light Vehicle (ULV). However, software certification procedure is not included. Since the use of LUAVs has increased recently, software verification is required. This paper proposed a checklist of LUAV software that could be applied to LUAV referring DO-178C, an aviation software certification standard. A case study of applying the proposed checklist to the Model-based Development-based Helicopter Flight Control Computer (FCC) project currently used by domestic and foreign advanced companies and institutions was conducted.

• Proceedings of the SAREK Conference
• /
• 2003.07a
• /
• pp.178-178
• /
• 2003

• The Bulletin of The Korean Astronomical Society
• /
• v.34 no.1
• /
• pp.178.1-178.1
• /
• 2009

• 대한한약
• /
• s.6
• /
• pp.171-178
• /
• 2002

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.30 no.9
• /
• pp.65-70
• /
• 2012

• 대한핵의학회:학술대회논문집
• /
• 1997.05a
• /
• pp.178-178
• /
• 1997