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.

Prévisualisation

PDF A-Time-Triggered-Constraint-Based-Calculus-for-Avionic-Systems.pdf - Version acceptée Licence d'utilisation : Tous les droits réservés aux détenteurs du droit d'auteur. Télécharger (612kB) | Prévisualisation

Résumé

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

Type de document:	Compte rendu de conférence
Professeur:	Professeur Gherbi, Abdelouahed
Affiliation:	Génie logiciel et des technologies de l'information
Date de dépôt:	20 oct. 2015 18:10
Dernière modification:	29 juin 2022 16:35
URI:	https://espace2.etsmtl.ca/id/eprint/11619

Actions (Authentification requise)

Dernière vérification avant le dépôt