• 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 내용 중 정형기법을 적용하여 수행되어야 할 활동 요소들을 식별하고 정형언어를 통한 설계와 검증, 그리고 그 결과에 대한 증빙자료의 제출을 기준에 포함시킴으로써 개발 활동의 방향과 범위를 명확히 하고 인증 절차의 투명성을 향상시킬 수 있다.

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

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

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

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.4
• /
• pp.359-366
• /
• 2009

MATLAB Autocode generation is a feature that converts a block diagram model in Simulink to a c program. Utilizing this function makes MATLAB/Simulink an integrated developing environment, from controller design to implementation. It can reduce development cost and time significantly. However, this automated process requires high reliability on the software, especially the original Simulink block diagram model. And thus, the verification of the codes becomes important. In this study, a UAV flight program which is generated with Simulink is validated and modified according to DO-178B. As a result of applying the procedures, the final program not only satisfied the functional requirement but is also verified with structural point of view with Decision Coverage 93%, Condition Coverage 95% and MC/DC 90%.