KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Asim Minhas, Muhammad ORCID iD icon 1; Burger, Erik ORCID iD icon 1; Reussner, Ralf 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

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. ... mehr


Verlagsausgabe §
DOI: 10.5445/IR/1000199038
Veröffentlicht am 11.11.2026
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 04.10.2026
Sprache Englisch
Identifikator ISBN: 979-8-4007-2903-4
KITopen-ID: 1000199038
Erschienen in Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems
Veranstaltung 29th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2026), Málaga, Spanien, 04.10.2026 – 09.10.2026
Verlag Association for Computing Machinery (ACM)
Seiten 169 - 173
Externe Relationen Siehe auch
Schlagwörter model-based safety engineering, ISO 26262, single underlying model, multi-view modeling, FMEA, failure propagation analysis, EMF, Sirius
Nachgewiesen in Scopus
OpenAlex
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page