Enhanced CakES representing safety analysis results of embedded systems

Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, and to identify these parts in the system. Further, it is very challenging to compare the system's safety development and the different safety metrics to find their most critical combinations. Due to these fundamental problems, a large amount of time and effort is spent for analyzing the data and for searching for important information. Until now, there is a lack of visualization metaphors supporting the efficient analysis of safety issues in embedded systems. Therefore we present “Enhanced CakES”, a system that combines and links the existing knowledge of the safety analysis and the engineering domain and improves the communication between engineers of these domains. The engineers can directly explore the most safety critical parts, retaining an overview of all critical aspects in the actual model. A formal empirical evaluation was performed and showed the increase of accuracy from ESSaRel 28.7% to 83% for CakES.