Demonstration of a Formal Method for Incremental Qualification of IMA Systems
2008 (English)Conference paper (Refereed)
In this paper we address the process ofincremental certification/qualification of IntegratedModular Avionic (IMA) systems. The work aims toshow that given a scalable avionics architecture wecan apply a component-based development processand save some safety analysis effort by reusingdesign models for components. This creates aformal framework for IMA system safetyassessment.
Place, publisher, year, edition, pages
IEEE conference proceedings, 2008.
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-72606DOI: 10.1109/DASC.2008.4702860ISBN: 978-1-4244-2207-4OAI: oai:DiVA.org:liu-72606DiVA: diva2:460370
The 27th International Conference on Digital Avionics Systems, DASC