Title: A model-based process for the modelling and the analysis of avionic architectures
Authors: Yassine Ouhammou; Anh-Toan Bui Long; Emmanuel Grolleau; Henri Bauer; Frédéric Ridouard; Pascal Richard; Michaël Richard
Addresses: LIAS Laboratory, ISAE-ENSMA and University of Poitiers, Poitiers-Futuroscope, France ' LIAS Laboratory, ISAE-ENSMA and University of Poitiers, Poitiers-Futuroscope, France ' LIAS Laboratory, ISAE-ENSMA and University of Poitiers, Poitiers-Futuroscope, France ' LIAS Laboratory, ISAE-ENSMA and University of Poitiers, Poitiers-Futuroscope, France ' LIAS Laboratory, ISAE-ENSMA and University of Poitiers, Poitiers-Futuroscope, France ' LIAS Laboratory, ISAE-ENSMA and University of Poitiers, Poitiers-Futuroscope, France ' LIAS Laboratory, ISAE-ENSMA and University of Poitiers, Poitiers-Futuroscope, France
Abstract: To design and analyse integrated modular avionics (IMA) architectures, this paper presents a model-based process with separation of concerns going from the business view to the scheduling analysis view. A pivot meta-model dedicated to schedulability analysis has been extended to support recent and new systems architectures as well as new analysis methods. This pivot meta-model represents the front-end of a design framework filling the gap between the system architect and the schedulability analysis expert. This is presented in this paper by showing how the design framework is used to handle IMA architecture, and how simple plugins were developed and connected to the framework. The plugins propose hierarchical schedulability analysis, as well as end-to-end response-time analysis for network architecture. This research is illustrated by discussing a case study.
Keywords: real-time embedded system; model-driven engineering; MDE; integrated modular avionics; IMA; scheduling.
DOI: 10.1504/IJIIDS.2017.086200
International Journal of Intelligent Information and Database Systems, 2017 Vol.10 No.1/2, pp.117 - 144
Received: 03 Feb 2016
Accepted: 05 Dec 2016
Published online: 03 Sep 2017 *