Towards Model Synchronization for Consistency Management of Mechatronic Systems

Abstract

The development of a mechatronic system involves different designers having various viewpoints on the overall system to handle its complexity. Consequently, multiple models are created from a variety of domains such as mechanical, electronic, and software engineering. These models use different formalisms, modeling languages, and tools to address specific concerns. The major challenge of this approach is to identify and solve any potential inconsistency between models in order to minimize costs and development time before the verification and validation phases. This paper proposes a new collaborative methodology to maintain consistency between different engineering disciplines at an early stage of the development cycle of mechatronic systems based on Model-Based Engineering (MBE). We apply a model synchronization approach to actively check for model consistency in a continuous way during the multidisciplinary design process. As a novel contribution of this paper, we demonstrate how model transformation techniques can be employed; firstly, to abstract various engineering models in a common formalism based on graph theory and, secondly, to update models with appropriate changes evaluated by a project manager. We also show how to detect the differences automatically, and we discuss where designer decisions are essential.

Digital Twin for a Multifunctional Technology of Flexible Assembly on a Mechatronics Line with Integrated Robotic Systems and Mobile Visual Sensor—Challenges towards Industry 5.0

“…on the same workstations and increasing productivity. All these have major implications on the quality of the final product, a quality that directly depends on the accuracy and precision of the manufacturing line [ 9 , 10 , 11 ].…”

A Digital Twin-Based Manufacturing System for Advanced Technical Training

“…Digital twins, by their very nature, materialize virtual representations of cyber-physical systems. In order for these representations to be accurate and useful, it is imperative that they not only mirror the physical structure of the system, but also its functionality and behaviour [19].…”

Conflict Resolution in Mechatronic Collaborative Design Using Category Theory

“…This approach aims at building a unique database where data can be stored. However, using this single database may present some security problems and imply the management of a large amount of data [15]. Another solution is presented by Qamar et al [16] where the need to manage consistency through interoperability among different tools is discussed.…”

“…This proposition is applied manually to an industrial case study. Thus, to overcome this drawback, Berriche et al [15] extended the previous work towards an automated method to formalize model synchronization in mechatronic design. The main idea of this approach is the use of query view transformation (QVT) standard in order to specify the abstraction as well as the concretization operations using a set of formal transformation rules.…”