<  Retour au portail Polytechnique Montréal

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

Tiyam Robati, Abdelouahed Gherbi et John Mullins

Communication écrite (2016)

Document en libre accès dans PolyPublie et chez l'éditeur officiel
[img]
Affichage préliminaire
Libre accès au plein texte de ce document
Version officielle de l'éditeur
Conditions d'utilisation: Creative Commons: Attribution-Pas d'utilisation commerciale-Pas de modification (CC BY-NC-ND)
Télécharger (756kB)
Afficher le résumé
Cacher le résumé

Abstract

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.

Mots clés

Integrated Modular Avionics, TTEthernet, Model transformation, Verification, DEVS, Simulation

Sujet(s): 2700 Technologie de l'information > 2700 Technologie de l'information
2700 Technologie de l'information > 2717 Études de modélisation et de simulation
2700 Technologie de l'information > 2719 Architecture d'ordinateur et conception
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/5116/
Nom de la conférence: 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016)
Lieu de la conférence: Madrid, Espagne
Date(s) de la conférence: 2016-05-23 - 2016-05-26
Éditeurs ou éditrices: Elhadi Shakshuki
Titre de la revue: Procedia Computer Science (vol. 83)
Maison d'édition: Elsevier
DOI: 10.1016/j.procs.2016.04.120
URL officielle: https://doi.org/10.1016/j.procs.2016.04.120
Date du dépôt: 22 févr. 2023 11:34
Dernière modification: 20 avr. 2023 05:48
Citer en APA 7: Robati, T., Gherbi, A., & Mullins, J. (mai 2016). A modeling and verification approach to the design of distributed IMA architectures using TTEthernet [Communication écrite]. 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016), Madrid, Espagne. Publié dans Procedia Computer Science, 83. https://doi.org/10.1016/j.procs.2016.04.120

Statistiques

Total des téléchargements à partir de PolyPublie

Téléchargements par année

Provenance des téléchargements

Dimensions

Actions réservées au personnel

Afficher document Afficher document