A Modeling Paradigm for Integrated Modular Avionics Design

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. \\ Le paradigme de modélisation pour la conception de l'avionique modulaire intégrée (MIMAD) offre un cadre extensible orienté composant, permettant des descriptions de haut niveau de systèmes conçus sur des architectures avioniques modulaires intégrées. Il est basé sur l'environnement générique de modélisation (GME) qui est orienté objet. GME fournit un ensemble configurable d'outils permettant la création d'environnements aussi bien de modélisation pour des domaines spécifiques que de synthèse de programmes. MIMAD est construit au-dessus de modèles de composants dédiés à la conception d'applications avioniques, définis dans la plate-forme POLYCHRONY. Ainsi, ses descriptions peuvent être transformées en modèles polychrones dans le but d'accéder aux outils et techniques formels disponibles pour la validation. Les utilisateurs n'ont pas besoin d'être experts en méthodes formelles (en particulier, en approche synchrone) pour être capable de manipuler les concepts proposés. Cela contribue à la satisfaction de la demande industrielle présente par rapport à l'utilisation de formalismes généraux de modélisation pour la conception de systèmes. Ce rapport présente d'abord les principales caractéristiques de MIMAD V0. Ensuite, il illustre l'utilisation de ce dernier pour concevoir un exemple simple d'application dans GME.