DocumentCode :
181157
Title :
Adapting DO-178C processes by implementing a reverse engineering technique
Author :
Bingol, Mehmet Koray ; Deniz, Etem ; Sari, Mustafa ; Saritas, Ismail Engin ; Yilmazer, Yunus
Author_Institution :
TUBITAK BILGEM, Kocaeli, Turkey
fYear :
2014
fDate :
5-9 Oct. 2014
Abstract :
Software used in safety-critical systems has become a major component in today´s system design. Meanwhile, developing certifiable software for safety-critical systems is time- and labor-intensive. Hence, there is a need for an effective and efficient technique to minimize required cost and effort. In this paper, we present a novel reverse engineering technique to generate non-existing, inadequate, or unavailable software life cycle data required for RTCA/DO-178C certification of previously developed software such as a third party library and applications. Our technique has three stages (planning, development, and correctness) in which life cycle data including plan documents, requirements, design, and test cases are created in order to meet DO-178C objectives. We also apply our technique on two previously developed industrial software (third party libraries) to show how we create required data to satisfy the objectives. Furthermore, we discuss important points that can affect the duration of producing certification evidence e.g. a large number of existing test results in a shorter correctness stage. We experimentally validate that our technique makes easier to manage and develop safety-critical software while providing a 2.6× faster certification process.
Keywords :
avionics; certification; program testing; reverse engineering; safety-critical software; software libraries; RTCA/DO-178C certification process; certifiable software development; document planning; industrial software; nonexisting-inadequate-unavailable software life cycle data generation; reverse engineering technique; safety-critical systems; software correctness stage; software design; software development stage; software planning stage; software requirements; software test cases; system design; third party applications; third party library; Aerospace electronics; Aircraft; Aircraft propulsion; Planning; Reverse engineering; Software; Standards;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd
Conference_Location :
Colorado Springs, CO
Print_ISBN :
978-1-4799-5002-7
Type :
conf
DOI :
10.1109/DASC.2014.6979533
Filename :
6979533
Link To Document :
بازگشت