Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Amine El Kouhen Connect in order to contact the contributor
Submitted on : Saturday, August 9, 2014 - 3:57:03 AM
Last modification on : Monday, March 19, 2018 - 10:38:02 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 4:46:10 PM


Files produced by the author(s)


  • HAL Id : hal-01054881, version 1


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⟩



Record views


Files downloads