Skip to Main content Skip to Navigation
Reports

A Modeling Paradigm for Integrated Modular Avionics Design

Abstract : The Modeling paradigm for Integrated Modular Avionics Design (MIMAD) is an extensible component-oriented framework that enables high level models of systems designed on integrated modular avionics architectures. It relies on the generic modeling environment (GME), a configurable object-oriented toolkit that supports the creation of domain-specific modeling and program synthesis environments. MIMAD is built upon component models dedicated to avionic applications design, which are defined within the POLYCHRONY platform. Hence, its descriptions can be transformed into POLYCHRONY's models in order to access the available formal tools and techniques for validation. Users do not need to be experts of formal methods (in particular, of the synchronous approach) to be able to manipulate the proposed concepts. This contributes to satisfying the present industrial demand on the use of general-purpose modeling formalisms for system design. This paper first presents the main features of MIMAD V0. Then, it illustrates the use of the paradigm to design a simple application example within GME.
Document type :
Reports
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/inria-00070302
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 7:58:27 PM
Last modification on : Friday, January 8, 2021 - 3:40:39 AM
Long-term archiving on: : Tuesday, February 22, 2011 - 11:41:51 AM

Identifiers

  • HAL Id : inria-00070302, version 1

Citation

Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionics Design. [Research Report] RR-5715, INRIA. 2005, pp.38. ⟨inria-00070302⟩

Share

Metrics

Record views

477

Files downloads

708