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

A modeling and verification approach to the design of distributed IMA architectures using TTEthernet

Robati, Tiyam et Gherbi, Abdelouahed et Mullins, John. 2016. « A modeling and verification approach to the design of distributed IMA architectures using TTEthernet ». In 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) (Madrid, Spain, May 23-26, 2016) Coll. « Procedia Computer Science », vol. 83. , p. 229-236. Elsevier.

Licence d'utilisation : Creative Commons CC BY-NC-ND.

Télécharger (623kB) | Prévisualisation


Integrated Modular Avionics (IMA) architectures complemented with Time-Triggered Ethernet (TTEthernet) provides a strong platform to support the design and deployment of distributed avionic software systems. The complexity of the design and continuous integration of such systems can be managed using a model-based methodology. In this paper, we build on top of our extension of the AADL modeling language to model TTEthernet-based distributed systems and leverage model transformations to enable undertaking the verification of the system models produced with this methodology. In particular, we propose to transform the system models to a model suitable for a simulation with DEVS. We illustrate the proposed approach using an example of a navigation and guidance system and we use this example to show the verification of the contention-freedom property of TTEthernet schedule.

Type de document: Compte rendu de conférence
Gherbi, Abdelouahed
Affiliation: Génie logiciel et des technologies de l'information
Date de dépôt: 21 juin 2016 15:02
Dernière modification: 24 févr. 2017 15:20

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