• 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.

• Journal of Advanced Navigation Technology
• /
• v.28 no.4
• /
• pp.466-471
• /
• 2024

Recently, the Machine Learning based Artificial Intelligence has introduced in aviation field. In most cases, safety assurance of aviation software is achieved by applying RTCA DO-178C or DO-278A or similar standards. These standards were developed for and are well-suited to software that has inherent deterministic properties and explainability. Considering the characteristics of AI software based on ML, it is not feasible to assure the integrity of those new aviation systems using traditional software assurance standards mentioned above. In this paper, we research the certification framework that is newly suggested by EASA to deal with the aviation system including ML AI functions, and discuss what should the Korean authority and related industries prepare to cope with this issue.

• Bulletin of the Korean Space Science Society
• /
• 2006.04a
• /
• pp.117-120
• /
• 2006

HAUSAT-2 flight software was developed by first analyzing the satellite requirements, and incorporating the results into the software. Coding and compiling is done after the software is completed, then individual and integrated tests are performed in order to verify the flight software algorithm. Currently, HAUSAT-2 flight software integrated test has been performed and the test result is serving as a basis for code modification nd additional developments. This paper describes the architecture, development process, and development environment of HAUSAT-2 flight software.

• 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 the Korean Society for Aviation and Aeronautics
• /
• v.15 no.2
• /
• pp.1-8
• /
• 2007

In this research, algorithm and software for the medium frequency signal analysis of DGPS(Differential Global Positioning System) station were developed. Based on new MF(Medium Frequency) algorithm, the software of NDGPS(National DGPS) signal analysis was developed for coverage analysis. Predicted MF propagation data from this software was compared to the measurement data for the verification of a developed MF algorithm. GIS(Geographic Information System) techniques including digital map with elevation data were used because MF propagation is closely related to ground conductivity, mountains, building intensity.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.141-145
• /
• 2003

We propose the model of Software Rejuvenation methodology, which is applicable for survivability. Software rejuvenation is a proactive fault management technique and being used in fault tolerant systems as a cost effective technique for dealing with software faults. Survivability focuses on delivery of essential services and preservation of essential assets, even systems are penetrated and compromised. Thus, our objective is to detect the intrusions in a real time and survive in face of such attacks. As we deterrent against an attack in a system level, the Intrusion tolerance could be maximized at the target environment. We address the optimal time to execute ad hoc software rejuvenation and we compute it by using the semi Markov process. This is one way that could be really frustrated and deterred the attacks, as the attacker can't make their progress. This Software Rejuvenation method can be very effective under the assumption of unknown attacks. In this paper, we compute the optimum time to perform an ad hoc Software Rejuvenation through intrusions.

• 한국항공운항학회:학술대회논문집
• /
• 2007.12a
• /
• pp.119-121
• /
• 2007

• Journal of Advanced Navigation Technology
• /
• v.15 no.5
• /
• pp.687-695
• /
• 2011

The defect caused by the software industry that is the source of knowledge-centric, information-centric and technology-centric affects an engine which operate a major role for operation of aircraft. Therefore, we should minimize the danger from the defect by strengthening the stability of aviation through the stability analysis of software. In this paper, we examine the laws and systems about the aircraft defects and software safety and propose the enhancement and the enactment of the law or measures to strengthen aviation safety. We should the existing law or system as items, such as the revision related to the safety analysis, standards of quality assurance including safety, application of quality assurance that you must attach the safety analysis report, assessment of detailed instructions of certification authorities. In addition, we should enact the new law and system as items such as the mandatory software evaluation and certification, continuous assessment based on the software life cycle, mandatory introduction of a standardized development methodology, strengthening of advanced workforce system. We can expect the improvement of software quality and an enhanced aviation safety by improving existing laws or systems and enacting new laws or systems.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.22 no.4
• /
• pp.81-86
• /
• 2014

In the development of an avionics system, there is a trend of using commercial-off-the-shelf(COTS) equipments in order to reduce the development cost and time. In this paper, we present an implementation of an aircraft mission computer using the objected oriented software and the COTS equipments. We execute the aircraft guidance software on the system, and measure the calculation time and the used memory. To compare the guidance capability of the software program, we implement the same software logic on DS1104 system. The guidance software program executed on two different systems resulted in the almost identical simulation.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.24 no.2
• /
• pp.81-85
• /
• 2016

It is recognized that safety is a key point of technical competency. Its adoption is widely spread in development of products and it is essentially necessary in aerospace industry because airborne system and equipment are used complex high-technology and implemented systematic performance using software. This study reviews system safety assessment, development assurance level, airborne software, RTCA DO-178 process, and considerations & pitfalls in software development.