Title :
Worst Case Temporal Consistency in Integrated Modular Avionics Systems
Author :
Lauer, Michaël ; Ermont, Jérôme ; Boniol, Frédéric ; Pagetti, Claire
Author_Institution :
IRIT, Univ. de Toulouse, Toulouse, France
Abstract :
Integrated Modular Avionics (IMA) architectures have been defined for sharing communication and computation resources. The aim of this paper is to evaluate temporal consistency properties of functions implemented on IMA platforms. More specifically, the two contributions are : (1) a modeling approach for IMA platforms based on the tagged signal model and an abstraction of the network, (2) the definition of two evaluation methods for temporal consistency properties. The industrial applicability of the method is demonstrated on an Airbus A380-like platform. We also discuss the significance of the over-approximations induced by the network abstraction.
Keywords :
aerospace computing; avionics; distributed processing; Airbus A380-like platform; IMA platform; computation resource; industrial applicability; integrated modular avionics architecture; integrated modular avionics system; network abstraction; tagged signal model; worst case temporal consistency; Aerospace electronics; Complexity theory; Real time systems; Sensors; Tin; Trajectory; Upper bound; Real-time distributed systems; safety requirements; tagged signal model; worst-case timing analysis;
Conference_Titel :
High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
Conference_Location :
Boca Raton, FL
Print_ISBN :
978-1-4673-0107-7
DOI :
10.1109/HASE.2011.48
