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 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.