Synchronization of System Architecture and Safety Models: a Proof of Concept

Batteux, Michel; Choley, Jean-Yves; Mhenni, Faïda; Prosvirnova, Tatiana; Rauzy, Antoine

doi:10.1109/isse46696.2019.8984515

Cited by 7 publications

(3 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Regarding the SmartSync synchronization framework [20], the authors of the methodology provide a methodology and tools for the synchronization of the MBSE and MBSA models [21]. The comparison is operated on abstracted models written with the S2ML language [22].…”

Section: Synchronisation Methodologiesmentioning

confidence: 99%

Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies

et al. 2022

Self Cite

View full text Add to dashboard Cite

In recent decades, there has been a significant increase in systems’ complexity, leading to a rise in the need for more and more models. Models created with different intents are written using different formalisms and give diverse system representations. This work focuses on the system engineering domain and its models. It is crucial to assert a critical system’s compliance with its requirements. Thus, multiple models dedicated to these assertions are designed, such as safety or multi-physics models. As those models are independent of the architecture model, we need to provide means to assert and maintain consistency between them if we want the analyses to be relevant. The model synchronization methodologies give means to work on the consistency between the models through steps of abstraction to a common formalism, comparison, and concretization of the comparison results in the original models. This paper proposes a mathematical framework that allows for a formal definition of such a consistency relation and a mathematical description of the models. We use the context of category theory, as this is a mathematical theory providing great tools for taking into account different abstraction levels and composition of relations. Finally, we show how this mathematical framework can be applied to a specific synchronization methodology with a realistic study case.

show abstract

Section: Synchronisation Methodologiesmentioning

confidence: 99%

Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies

et al. 2022

Self Cite

View full text Add to dashboard Cite

show abstract

“…Altarica uses a System Modeling Language (S2ML) [29] as a structuring paradigm to provide a sufficient set of constructs to build hierarchical models. We defined the metamodel of an Altarica model based on the S2ML language.…”

Section: Altarica Metamodelmentioning

confidence: 99%

Towards Model Synchronization for Consistency Management of Mechatronic Systems

et al. 2020

View full text Add to dashboard Cite

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.

show abstract

“…In order to offer an adequate tool support and to avoid making the coherence work rely on peoplebased documentary reviews, a work must be done on the design artifacts: the models. As reminded by Batteux et al (2019), the integration of models coming from various engineering disciplines, such as system architecture, multi-physics simulation, automatic code generation as well as safety and performance analyses, is one of today's industrial challenges. Usually, in practice, the different disciplines (i.e., concerns) use their own tools, and therefore define their own models.…”

Section: Introductionmentioning

confidence: 99%

Characterizing Behavioral Modeling in Systems and Safety Model-Based Engineerings and their Overlap for Consistency Checking

Creff

Batteux

2022

Book of Extended Abstracts for the 32nd European Safety and Reliability Conference

View full text Add to dashboard Cite

Due to nowadays systems complexity, the modeling of a system is multi-concerns and multi-viewpoints in its very essence. Systems Engineering and Safety Assessment are two engineering domains that currently follow modelbased approaches to conceive the system at the same level of abstraction. The overall consistency between the different models contributing to the system design is a key element of the realization. Each concern must align with common assumptions. Models are made of two kinds of constructs: structural and behavioral ones. The structural consistency challenge between Model-based Systems Engineering and Safety Assessment has already been specifically addressed in a generic way. What about behavioral consistency now? Before considering any behavioral consistency checking, identifying the behavioral modeling characteristics of the behavioral representations in each domain and potential overlap must be performed. Therefore, in this article we propose to characterize the behavioral modeling in systems and safety model-based engineerings and to provide some keys to identify their overlap for a forthcoming consistency checking.

show abstract

Synchronization of System Architecture and Safety Models: a Proof of Concept

Cited by 7 publications

References 12 publications

Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies

Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies

Towards Model Synchronization for Consistency Management of Mechatronic Systems

Characterizing Behavioral Modeling in Systems and Safety Model-Based Engineerings and their Overlap for Consistency Checking

Contact Info

Product

Resources

About