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

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

Téléchargements

Téléchargements par mois depuis la dernière année

Plus de statistiques...

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.
Compte des citations dans Scopus : 1.

[img]
Prévisualisation
PDF
A-modeling-and-verification-approach-to-the-design-of-distributed-IMA-architectures-using-TTEthernet.pdf
Licence d'utilisation : Creative Commons CC BY-NC-ND.

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

Résumé

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
Professeur:
Professeur
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
URI: http://espace2.etsmtl.ca/id/eprint/12844

Actions (Authentification requise)

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