A time-triggered constraint-based calculus for avionic systems

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.

Preview

PDF A-Time-Triggered-Constraint-Based-Calculus-for-Avionic-Systems.pdf - Accepted Version Use licence: All rights reserved to copyright holder. Download (612kB) | Preview

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

Item Type:	Conference proceeding
Professor:	Professor 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
URI:	https://espace2.etsmtl.ca/id/eprint/11619

Actions (login required)

View Item