Browse > Article
http://dx.doi.org/10.20910/JASE.2022.16.2.13

Verification Methods for Vulnerabilities of Airborne Object-Oriented Software  

Jang, Jeong-hoon (MOASOFT Corp.)
Kim, Sung-su (MOASOFT Corp.)
Lee, Ji-hyun (MOASOFT Corp.)
Publication Information
Journal of Aerospace System Engineering / v.16, no.2, 2022 , pp. 13-24 More about this Journal
Abstract
As the scale of airborne system software increases, the use of OOT (Object-Oriented Technology) is increasing for functional expansion, efficient development, and code reuse, but the verification method for airborne object-oriented software is conducted from the perspective of the existing procedure-oriented program. The purpose of this paper was to analyze the characteristics of OOT and the vulnerabilities derived from the functional characteristics of OOT, and present a verification method applicable to each software development process (Design, Coding and Testing) to ensure the functional safety integrity of aviation software to which OOT is applied. Additionally, we analyzed the meaning of the static analysis results among the step-by-step verification measures proposed by applying LDRA, a static analysis automation tool, to PX4, an open source used to implement flight control software.
Keywords
OOT; MISRA; LDRA; Vulnerability; Safety; Verification;
Citations & Related Records
연도 인용수 순위
  • Reference
1 FAA, CAST-8, Using of the C++ Programming Language, 2002
2 LDRA Ltd., User Guide for LDRA tool suite, 2016
3 SGS-TuV Saar GmbH, Certificate of LDRA Tool Suite, Certification Report No. K1C20003, 2015
4 Liskov, B. H. and Wing, J. M., A behavioral notion of subtyping, ACM Trans. Program. Lang. Syst. 16(6). 1811-1841, 1994   DOI
5 MISRA, MISRA-C++:2008, Guidelines for the use of the C++ language in critical systems, 2008
6 RTCA Inc, DO-332, Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A, 2011
7 FAA, CAST-4, Object-Oriented Technology (OOT) In Civil Aviation Projects: Certification Concerns, 2000
8 LDRA Ltd., MISRA-C++:2008 Standards Model Compliance for C++, 2020.
9 FAA, AC20-115D, "Advisory Circular in Airborne Software Development Assurance Using EUROCAE ED-12 and RTCA DO-178", 2017