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

https://hal.inria.fr/hal-01054881
Contributor : Amine El Kouhen <>
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

File

acvi14_submission_2.pdf
Files produced by the author(s)

Identifiers

  • 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. 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⟩

Share

Metrics

Record views

318

Files downloads

550