The research conducted during this thesis fall within the scope of modeling, verification and validation of critical and complex systems. This work aims to bridge the gap between the abstract high-level models, starting point of the MBSE process (Model-Based Systems Engineering), and real-time simulation keystone of In-the-Loop processes. In this context, we propose to unify, within a SysML model, continuous aspects of a system, to automatically generate an executable Modelica model (simulation), and discrete aspects allowing animation and test generation by constraint solvers. The work done during this thesis allowed the study and the realization of an original tooled approach to simulate and test such systems from SysML models within a In...
Nous présentons dans cette thèse une méthodologie pour la modélisation et la simulation de ces systè...
International audienceEnsuring the correction of heterogeneous and complex systems is an essential s...
To master the design of complex systems, such as vehicles, UAVs, satellites, engineers use model-bas...
The research conducted during this thesis fall within the scope of modeling, verification and valida...
Ce travail de thèse s'est intéressé à la validité des modèles de simulation dans le cadre du dévelop...
This work is focused on the validity of simulation models during de- velopment of complex and critic...
The verification and validation of safety-critical real-time system are subject to stringent standar...
This thesis addresses questions related to the modeling and simulation of complex systems whichare b...
Heterogeneous Systems are complex and become very critical. These systems integrate software andhard...
The main objective of this thesis is to propose a general approach for assessing the validity of a M...
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de t...
International audienceThe increasing complexity and heterogeneity of systems require engineers to co...
The increasing complexity of modern technical systems is challenging the system engineering domain e...
L'objectif de cette étude est de proposer une approche générale d'évaluation de la validité d'une Mo...
Nous présentons dans cette thèse une méthodologie pour la modélisation et la simulation de ces systè...
International audienceEnsuring the correction of heterogeneous and complex systems is an essential s...
To master the design of complex systems, such as vehicles, UAVs, satellites, engineers use model-bas...
The research conducted during this thesis fall within the scope of modeling, verification and valida...
Ce travail de thèse s'est intéressé à la validité des modèles de simulation dans le cadre du dévelop...
This work is focused on the validity of simulation models during de- velopment of complex and critic...
The verification and validation of safety-critical real-time system are subject to stringent standar...
This thesis addresses questions related to the modeling and simulation of complex systems whichare b...
Heterogeneous Systems are complex and become very critical. These systems integrate software andhard...
The main objective of this thesis is to propose a general approach for assessing the validity of a M...
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de t...
International audienceThe increasing complexity and heterogeneity of systems require engineers to co...
The increasing complexity of modern technical systems is challenging the system engineering domain e...
L'objectif de cette étude est de proposer une approche générale d'évaluation de la validité d'une Mo...
Nous présentons dans cette thèse une méthodologie pour la modélisation et la simulation de ces systè...
International audienceEnsuring the correction of heterogeneous and complex systems is an essential s...
To master the design of complex systems, such as vehicles, UAVs, satellites, engineers use model-bas...