Title :
Enhanced CakES representing safety analysis results of embedded systems
Author :
Al-Zokari, Yasmin I. ; Schneider, Daniel ; Zeckzer, Dirk ; Guzman, Liliana ; Livnat, Yarden ; Hagen, Hans
Author_Institution :
Comput. Graphics & HCI, Software Eng.: Processes & Meas., Kaiserslautern Univ., Kaiserslautern, Germany
Abstract :
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.
Keywords :
data visualisation; embedded systems; safety-critical software; ESSaRel; data analysis; embedded systems; engineering domain; enhanced CakES; formal empirical evaluation; safety analysis; safety critical parts; safety metrics; system safety development; visualization metaphors; Data visualization; Embedded systems; Fault trees; Image color analysis; Monitoring; Safety; Visualization; Safety analysis; embedded systems; fault tree analysis; minimal cutset; visualization;
Conference_Titel :
Computer Science and Information Systems (FedCSIS), 2011 Federated Conference on
Conference_Location :
Szczecin
Print_ISBN :
978-1-4577-0041-5
Electronic_ISBN :
978-83-60810-35-4