An Extension for AADL to Model Mixed-criticality Avionic Systems Deployed on IMA architectures with TTEthernet - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Tiyam Robati
  • Fonction : Auteur
  • PersonId : 959110
Hamadou Sardadouna
  • Fonction : Auteur
  • PersonId : 933516
John Mullins
  • Fonction : Auteur
  • PersonId : 959111

Résumé

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.
Fichier principal
Vignette du fichier
acvi14_submission_2.pdf (595.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054881 , version 1 (09-08-2014)

Identifiants

  • HAL Id : hal-01054881 , version 1

Citer

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. 1st Workshop on Architecture Centric Virtual Integration @ the 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Carnegie Mellon University - Software Engineering Institute, Sep 2014, Valencia, Spain. pp.14-27. ⟨hal-01054881⟩
215 Consultations
334 Téléchargements

Partager

Gmail Facebook X LinkedIn More