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

Abstract

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.