Skip to Main content Skip to Navigation
Theses

Validation de modèles de simulation

Damien Foures 1
1 LAAS-ISI - Équipe Ingénierie Système et Intégration
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : This work is focused on the validity of simulation models during de- velopment of complex and critical systems. The analysis of the system engineering approach and, especially the modeling and simulation aspect, showed that it was impossible to directly determine simulation models validity. Many aspects can cause this unattainability, such as bad formulation of simulation objectives, implementa- tion inconsistency, limits of the simulation engine, etc. The validity of a simulation model being defined for a specific simulation goal, it seemed important to provide a global M&S approach, combining a set of tools to detect inconsistencies between objectives and models of the system under test. These tools, dedicated to the si- mulation user, allow to improve confidence level of the simulation model and thus in simulation results. Our study is based on the M& S theory as proposed by B.P. Zeigler. Using the concept of experimental frame, we are able to propose a metho- dological framework to express simulation objectives clearly. This allows us to study applicability and accommodation, witch we grouped under compatibility issue. Thus, our first objective was to propose an approach able to measure incon- sistencies between experimental frame and model of the system. Based on formal methods and automata theory, we propose a set of metrics that measure the degree of dynamic compatibility between experimental frame and model system of interest. For this, we firstly study the dynamic compatibility between interface automata using tree decomposition. Showing limits of this approach, we studied compatibility between DEVS models using reachability graphs analysis. This formal study of the compatibility help us to propose a set of good properties of the simulation. Finally, we propose a methodology to guide the simulation user in metrics de- velopment to measure the compatibility level. Based on model-driven engineering approach, we propose a simulation dedicated language, to help users to asses the validity of simulation models
Document type :
Theses
Complete list of metadata

Cited literature [133 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01200720
Contributor : Arlette Evrard <>
Submitted on : Thursday, September 17, 2015 - 9:47:48 AM
Last modification on : Thursday, June 10, 2021 - 3:06:37 AM
Long-term archiving on: : Tuesday, December 29, 2015 - 7:40:45 AM

Identifiers

  • HAL Id : tel-01200720, version 1

Citation

Damien Foures. Validation de modèles de simulation. Automatique. Universite Toulouse III Paul Sabatier, 2015. Français. ⟨tel-01200720⟩

Share

Metrics

Record views

1438

Files downloads

9549