ArchSafe Unified Modeler: Automated ASIL, Change-Impact, and Failure Analysis of Architecture and Safety

Abstract

Safety engineering and design modeling in the development of Cyber-physical Systems (CPS) involves fragmented tools, languages, and representations. Furthermore, both modeling activities are performed at different stages of the CPS development life cycle. This fragmentation necessitates manual synchronization and consistency management of these models. Furthermore, traceability is a very challenging yet vital aspect for such systems that require compliance with relevant safety standards, such as ISO 26262. To address these vital issues, we present ArchSafe, an Eclipse/Sirius modelling workbench developed on a semantically unified SysML  ∪  Risk Analysis & Assessment Modeling Language (RAAML) metamodel in which safety concepts are first-class attributes of architectural elements. Using this single unified EMF model, ArchSafe derives seven views: architecture, safety, requirements, Failure Modes & Effects Analysis (FMEA), a quality metrics dashboard, an interactive failure propagation simulation, and an automatically generated traceability view. The tool offers 35 right-click menu operations across all of these views, with advanced impact analysis, ASIL propagation, model health metrics, and ISO 26262-cited validation reports. ArchSafe provides two case studies, autonomous emergency braking and a medical infusion pump. It has been shipped as open source, a P2 update site, a Docker image, and multi-platform RCP products.