A Unified Model-driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems
Designing safety-critical Cyber-Physical Systems (CPS), such as self-driving cars, is inherently complex. A fundamental challenge arises from the separation between architecture modeling and safety analysis, which typically rely on different languages, tools, and modeling perspectives. As a result, engineering teams must maintain multiple, partially overlapping models of the same system. Keeping these models synchronized and consistent is labor-intensive, repetitive, and error-prone, leading to increased development cost and a higher risk of inconsistencies. We propose a unified modeling framework built on a deeply integrated metamodel foundation. Unlike Systems Modeling Language (SysML) profiles, which provide syntactic integration, our approach semantically unifies two EMF-based metamodels: a custom SysML implementation for system structure and a manually transformed Risk Analysis and Assessment Modeling Language (RAAML) metamodel for safety analysis. This integration enables a cohesive modeling environment in which architectural models and safety analyses are developed as synchronized views over a single, shared underlying system representation. As a result, consistency between system architecture and safety analysis is maintained implicitly by construction. We demonstrate that this approach provides a more robust, analyzable, and less error-prone foundation for model-based safety engineering than approaches based on dynamically applied profiles.
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 12:30 | |||
11:00 30mTalk | A Unified Model-driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems ECMFA 2026 Muhammad Asim Minhas Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131 Karlsruhe, Germany, Erik Burger Karlsruhe Institute of Technology (KIT), Ralf Reussner KIT, Tianhai Liu Karlsruhe Institute of Technology (KIT), and aicas GmbH | ||
11:30 30mTalk | Hybrid Collaborative Modeling: Problem Analysis, Requirements, and Architectural Principles ECMFA 2026 Léo Olivier CEA-List, Université Paris-Saclay, Marcos Didonet Del Fabro CEA-List, Sebastien Gerard IRT Jules Verne | ||
12:00 30mTalk | Policy-Driven Change Management in Model Based Systems Engineering ECMFA 2026 Anish Bhobe Telecom Paris, Dominique Blouin LTCI Lab, Telecom Paris, Institute Polytechnique de Paris, Laurent Pautet Télécom Paris, Institut Polytechnique de Paris | ||