Evaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués

The main objective of this thesis is to propose a general approach for assessing the validity of a Modelling and a Simulation (M&S) used during the development of embedded systems. This approach is an effort to improve confidence in the use of a simulation whose results are often questioned without consistent justification. A contribution of this thesis is to define a framework to establish this justification. The context of the study is the set of Airbussimulation products. In relation to a Verification and Validation plan of a system, a simulation must be as close as possible to the system it represents while respecting the constraints of cost and timely availability. The simulations must be available before the systems themselves. If the level of validity is too low, the results required for the experiment can not be reached. If the level of validity is too high, time of modelling and calculation is unnecessarily spent. Considering that the validity of a simulation is never assessed in isolation but always in relation to a target user, we have defined the problem of validity as the applicability of a simulation objective of use. We have treated the problem of validity level as a hierarchy of model abstractions. We therefore propose a model for describing properties of abstractions, called the conceptual model, which is the unifying language between user and developer of the simulation. It allows, first, to speak strictly the same thing when the term "validity" is mentioned, and secondly, to assess the compatibility between an expected validity level for the experience and a validity level provided by the simulation. Then, we have established formal matching rules for mapping between an objective of use and a simulation described respectively as the conceptual model proposed. The problem of mapping is based on the principle that both are components, in the formal sense, i.e., they interact through their interfaces and only through their interfaces. We look at com ponentbased engineering techniques to iteratively enrich the concept of "context validity" of a model by "symbolic concepts" and cover each property of the taxonomy of abstractions. Since M&S is one process of systems engineering, we proposed a methodology to integrate our formal concepts in such a process to achieve the desired conceptual model. We illustrate this approach on an avionic communication system.L'objectif de cette étude est de proposer une approche générale d'évaluation de la validité d'une Modélisation et Simulation (M&S) utilisée dans le cadre du développement des systèmes embarqués. Cette approche s'inscrit dans une démarche visant à améliorer la confiance en l'utilisation d'une simulation dont les résultats sont souvent remis en cause sans justification cohérente. Le cadre d'application de l'étude est l'ensemble des produits de simulation d'Airbus. Au regard d'un objectif de validation d'un système, une simulation doit être la plus proche possible du système qu'elle représente. Dans le cycle de développement d'un avion, les simulations doivent être disponibles avant les systèmes eux-mêmes. Si le niveau de validité est trop faible les résultats nécessaires à l'expérience ne peuvent être atteints. Si le niveau de validité est trop élevé, du temps de travail de modélisation et de calcul est inutilement dépensé. Nous avons assimilé le problème de niveau de validité à une hiérarchie d'abstraction de modèles. Nous proposons un modèle de description des propriétés d'abstractions qui permet de parler strictement des mêmes choses lorsque le terme de "validité" est évoqué et d'évaluer la compatibilité entre un niveau de validité attendu par l'expérience et un niveau de validité fourni par le produit de simulation. Puis, nous avons établi des règles formelles de mise en correspondance d'un objectif d'utilisation et du domaine d'usage d'un modèle. Le problème de la mise en correspondance est fondé sur le principe qu'un objectif d'utilisation et un domaine d'usage d'une simulation sont deux composants, au sens formel du terme. Nous avons adapté les techniques de l'ingénierie basée composants, pour enrichir, par des techniques itératives, nos deux composants. Enfin nous avons proposé une méthodologie permettant d'intégrer nos concepts formels au processus d'Ingénierie Systèmes. Nous illustrons cette démarche sur un système de communication avionique