Title :
A Time-Triggered Constraint-Based Calculus for Avionic Systems
Author :
Hamadou, Sardaouna ; Mullins, John ; Gherbi, Abdelouahed ; Beji, Sofiene
Author_Institution :
Dept. of Comput. & Software Eng., Ecole Polytech. de Montreal, Montreal, QC, Canada
Abstract :
The Integrated Modular Avionics (IMA) architecture and the Time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for recent civil aircrafts. We propose a real-time constraint-based calculus targeted at the analysis of such concepts of avionic embedded systems. We show our framework at work on the modelisation of both the (IMA) architecture and the TTEthernet network, illustrating their behavior by the well-known Flight Management System (FMS).
Keywords :
avionics; local area networks; FMS; IMA architecture; TTEthernet network; avionic embedded systems; avionic systems; civil aircrafts; flight management system; integrated modular avionics architecture; real-time constraint-based calculus; time-triggered Ethernet network; time-triggered constraint-based calculus; Aerospace electronics; Calculus; Computer architecture; Keyboards; Real-time systems; Receivers; Standards; Avionic embedded systems; Flight Management System; Formal model; Integrated Modular Avionics; Real-time constraint-based calculus; Time-Triggered Ethernet;
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2015 IEEE International Symposium on
Conference_Location :
Auckland
DOI :
10.1109/ISORCW.2015.53
