Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis

TL;DR

This paper systematically analyzes the core activities and patterns defining model-based safety assessment (MBSA) to clarify its identity and foster consensus within the research community.

Contribution

It provides a structured characterization of MBSA's core activities and patterns, and validates this framework through review of recent literature.

Findings

Defined core activities essential for MBSA

Identified patterns that characterize MBSA approaches

Validated characterization with recent MBSA paper

Abstract

Model-based safety assessment has been one of the leading research thrusts of the System Safety Engineering community for over two decades. However, there is still a lack of consensus on what MBSA is. The ambiguity in the identity of MBSA impedes the advancement of MBSA as an active research area. For this reason, this paper aims to investigate the identity of MBSA to help achieve a consensus across the community. Towards this end, we first reason about the core activities that an MBSA approach must conduct. Second, we characterize the core patterns in which the core activities must be conducted for an approach to be considered MBSA. Finally, a recently published MBSA paper is reviewed to test the effectiveness of our characterization of MBSA.