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

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.We have proposed 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. In relation to a Verification and Validation plan of a system, a simulation must be as close as possible to the system it represents. During the system development cycle, 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. We have treated the problem of validity level as a hierarchy of model abstractions. We therefore propose a model for describing properties of abstractions which 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 domain of use. The problem of mapping is based on the principle that both are components, in the formal sense. We look at component-based engineering techniques to iteratively enrich our two components. We proposed a methodology to integrate our formal concepts in such a System Engineering process. We illustrate this approach on an avionic communication system.TOULOUSE3-BU Sciences (315552104) / SudocSudocFranceF