Title :
Demonstration of a formal method for incremental qualification of IMA systems
Author :
Elmqvist, Jonas ; Nadjm-Tehrani, Simin ; Forsberg, Kristina ; Nordenbro, Stellan
Author_Institution :
Linkoping Univ., Linkoping
Abstract :
In this paper we address the process of incremental certification/qualification of integrated modular avionic (IMA) systems. The work aims to show that given a scalable avionics architecture we can apply a component-based development process and save some safety analysis effort by reusing design models for components. This creates a formal framework for IMA system safety assessment.
Keywords :
aerospace safety; avionics; certification; component-based development; incremental certification; incremental qualification; integrated modular avionic systems; safety analysis; safety assessment; scalable avionics architecture; Aerospace electronics; Air safety; Aircraft; Automatic control; Certification; Computer architecture; Control systems; Qualifications; Software safety; Testing;
Conference_Titel :
Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th
Conference_Location :
St. Paul, MN
Print_ISBN :
978-1-4244-2207-4
Electronic_ISBN :
978-1-4244-2208-1
DOI :
10.1109/DASC.2008.4702860
