DocumentCode
1811007
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
fYear
2008
fDate
26-30 Oct. 2008
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/DASC.2008.4702860
Filename
4702860
Link To Document