A showcase of ÉTS researchers’ publications and other contributions

A time-triggered constraint-based calculus for avionic systems


Downloads per month over past year

Hamadou, Sardaouna, Mullins, John, Gherbi, Abdelouahed et Beji, Sofiene. 2015. « A time-triggered constraint-based calculus for avionic systems ». In 2015 IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 13-17 April 2015 (Auckland, New Zealand, Apr. 13-17, 2015) pp. 58-65. Los Alamitos, CA, USA : IEEE Computer Society.
Compte des citations dans Scopus : 3.

[thumbnail of A-Time-Triggered-Constraint-Based-Calculus-for-Avionic-Systems.pdf]
A-Time-Triggered-Constraint-Based-Calculus-for-Avionic-Systems.pdf - Accepted Version
Use licence: All rights reserved to copyright holder.

Download (612kB) | Preview


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).

Item Type: Conference proceeding
Gherbi, Abdelouahed
Affiliation: Génie logiciel et des technologies de l'information
Date Deposited: 20 Oct 2015 18:10
Last Modified: 29 Jun 2022 16:35

Actions (login required)

View Item View Item