Rakshith Amarnath

Dependability Challenges in the Model-Driven Engineering of Automotive Systems

Automotive products increase in complexity as they evolve from driver assistance towards highly automated and autonomous driving. We propose model-driven engineering (MDE) as a basis for developing these complex systems. Our contribution to this topic is twofold: First, we identify and discuss challenges in adopting MDE to the specific needs of the automotive industry with a special focus on dependability. Second, we sketch challenges that still require interdisciplinary research activities.

Semi-automatic safety analysis and optimization

The complexity of safety-critical E/E-systems within the automotive domain are continuously increasing. At the same time, functional safety standards such as the ISO 26262 prescribe analysis methods like the Fault Tree Analysis (FTA) and Failure Mode and Effects Analysis (FMEA). Currently, these analysis methods are mainly performed manually and are often not consistent with an evolving system model. To tackle these challenges, we present our semi-automatic safety analysis and optimization (SASAO) process. The SASAO process extends model-based safety analysis (MBSA) approaches, which require a system model extended with component-internal error propagation information. By extracting necessary artifacts from such an extended system model, we show how safety experts can be supported when performing FTA and design FMEA that are consistent with the model. The resulting FTA and design FMEA represent mandatory arguments in the systems safety case. Furthermore, we propose a method to optimize the cost of the system with respect to the required safety level automatically.