An Extension for AADL to Model Mixed-criticality Avionic Systems Deployed on IMA architectures with TTEthernet
Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, Hamadou Sardadouna, John Mullins · PolyPublie (École Polytechnique de Montréal) · 2014
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 method-ology 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 syn-tax for this extension and we outline the implementation of this extension