An Extension for AADL to Model Mixed-criticality Avionic Systems Deployed on IMA architectures with TTEthernet

Abstract : Integrated modular avionics architectures combined with the emerging SAE TTEthernet standard provides a strong infrastructure for the deployment of mixed-critical avionic applications having stringent safety, reliability and performance requirements. The integration of such systems is a very complex and challenging engineering task. Therefore, a model-based approach, which endows system engineers with a methodology and the supporting tools to cope with this complexity, is of a paramount importance. In this research paper, we present an extension for the standard architecture and analysis modeling language AADL to enable modeling integrated multi-critical avionic applications deployed on TTEthernet-based IMA architectures. In particular, we present a metamodel which extends the core AADL metamodel with concepts and constraints relevant for this domain, we define the concrete textual syntax for this extension and we outline the implementation of this extension using the Open Source AADL Tool Environment (OSATE). Finally, we illustrate our AADL extension using a case study based on the Flight Management System.
Type de document :
Communication dans un congrès
Julien Delange; Peter H. Feiler. 1st Workshop on Architecture Centric Virtual Integration @ the 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Sep 2014, Valencia, Spain. CEUR-WS, 1233, pp.14-27, 2014, 〈http://nbn-resolving.de/urn:nbn:de:0074-1233-7〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01054881
Contributeur : Amine El Kouhen <>
Soumis le : samedi 9 août 2014 - 03:57:03
Dernière modification le : lundi 19 mars 2018 - 22:38:02
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 16:46:10

Fichier

acvi14_submission_2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01054881, version 1

Citation

Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, Hamadou Sardadouna, John Mullins. An Extension for AADL to Model Mixed-criticality Avionic Systems Deployed on IMA architectures with TTEthernet. Julien Delange; Peter H. Feiler. 1st Workshop on Architecture Centric Virtual Integration @ the 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Sep 2014, Valencia, Spain. CEUR-WS, 1233, pp.14-27, 2014, 〈http://nbn-resolving.de/urn:nbn:de:0074-1233-7〉. 〈hal-01054881〉

Partager

Métriques

Consultations de la notice

255

Téléchargements de fichiers

432