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

fYear

2015

fDate

13-17 April 2015

Firstpage

58

Lastpage

65

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2015 IEEE International Symposium on

Conference_Location

Auckland

Type

conf

DOI

10.1109/ISORCW.2015.53

Filename

7160124