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 |