Verification and validation of the consistency between multi-domain system models

The modeling of mechatronic systems requires the collaboration of several professions such as systems architect, safety expert, mechanical engineer and electronic engineer. Thus, various complex system models using different modeling languages are provided. This paper presents a verification and val...

Full description

Saved in:
Bibliographic Details
Main Authors: Missaoui, Sarra, Mhenni, Faida, Choley, Jean-Yves, Nguyen, Nga
Format: Conference Proceeding
Language:English
Subjects:
Adaptation models
Analytical models
Mathematical model
Object oriented modeling
Safety
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The modeling of mechatronic systems requires the collaboration of several professions such as systems architect, safety expert, mechanical engineer and electronic engineer. Thus, various complex system models using different modeling languages are provided. This paper presents a verification and validation approach that aims to assure the structural consistency between such models. First, the system representations using SysML, AltaRica and Modelica languages for systems engineering, safety analysis and multi-physics respectively, are transformed into labeled and directed multi-graphs. Then, these graphs will be compared for equivalence by using different graph concepts such as isomorphism, subgraph, number of system inputs and outputs, etc. This method allows to synchronize models into one single representation respecting all specifications inherent to each modeling language. Furthermore, inconsistencies are identified when passing from one model to another and feedbacks will be given to each domain expert for validation. A case study from an aeronautical system is used throughout the paper to illustrate our approach.
ISSN:2472-9647
DOI:10.1109/SYSCON.2018.8369561