La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS
RECHERCHER

A time-triggered constraint-based calculus for avionic systems

Hamadou, Sardaouna et Gherbi, Abdelouahed et Mullins, John et Beji, Sofiene. 2014. « A time-triggered constraint-based calculus for avionic systems ». arXiv. 8 p.

[img]
Prévisualisation
PDF
A-Time-Triggered-Constraint-Based-Calculus-for-Avionic-Systems.pdf

Télécharger (653kB) | 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: Rapport technique (NON SPÉCIFIÉ)
Professeur:
Professeur
Gherbi, Abdelouahed
Affiliation: Génie logiciel et des technologies de l'information
Date de dépôt: 06 nov. 2015 17:00
Dernière modification: 18 avr. 2017 20:38
URI: http://espace2.etsmtl.ca/id/eprint/11823

Actions (Authentification requise)

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

Statistiques de téléchargement

Plus de statistiques ...