Abstract
The goal of this paper is to present our experience in utilizing the power of the information visualization (InfoVis) field to accelerate the safety analysis process of Component Fault Trees (CFT) in embedded systems. For this, we designed and implemented an interactive visual tool called ESSAVis, which takes the CFT model as input and then calculates the required safety information (e.g., the information on minimal cut sets and their probabilities) that is needed to measure the safety criticality of the underlying system. ESSAVis uses this information to visualize the CFT model and allows users to interact with the produced visualization in order to extract the relevant information in a visual form. We compared ESSAVis with ESSaRel, a tool that models the CFT and represents the analysis results in textual form. We conducted a controlled user evaluation study where we invited 25 participants from different backgrounds, including 6 safety experts, to perform a set of tasks to analyze the safety aspects of a given system in both tools. We compared the results in terms of accuracy, efficiency, and level of user acceptance. The results of our study show a high acceptance ratio and higher accuracy with better performance for ESSAVis compared to the text-based tool ESSaRel. Based on the study results, we conclude that visual-based tools really help in analyzing the CFT model more accurately and efficiently. Moreover, the study opens the door to thoughts about how the power of visualization can be utilized in such domains to accelerate the safety assurance process in embedded systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems - A Cyber-Physical Systems Approach, 1 edn. Lee and Seshia (2010)
Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. Reproduction 33, 37–46 (2003)
Bozzano, M., Villafiorita, A.: Design and Safety Assessment of Critical Systems. CRC Press (Taylor and Francis), an Auerbach Book (2010)
Kaiser, B., Gramlich, C., Förster, M.: State/event fault trees - a safety analysis model for software-controlled systems. Reliability Engineering System Safety 92, 1521–1537 (2007)
Weber, M.: A survey of semantic annotations for knowledge management. DFKI GmbH, p. 1 (2008)
AlTarawneh, R., Bauer, J., Keller, P., Ebert, A.: Essavis: A 2Dplus3D visual platform for speeding up the maintenance process of embedded systems. In: BCS HCI 2013 (2013)
AlTarawneh, R., Bauer, J., Humayoun, S.R., Ebert, A., Liggesmeyer, P.: Enhancing understanding of safety aspects in embedded systems through an interactive visual tool. In: IUI Companion 2014, pp. 9–12. ACM (2013)
Software Engineering Research Group: Dependability Kaiserslautern University, Essarel Tool: Embedded systems safety and reliability analyser (2014), http://essarel.de
CESAR Project: cesar project report (2010), http://www.cesarproject.eu
Bieber, P., Bougnol, C., Castel, C., Heckmann, J.-L., Kehren, C., Seguin, C.: Safety assessment with altarica - lessons learnt based on two aircraft system studies. In: 18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification, p. 26 (2004)
Gelfand, N., Tamassia, R.: Algorithmic patterns for orthogonal graph drawing. In: Whitesides, S.H. (ed.) GD 1998. LNCS, vol. 1547, pp. 138–152. Springer, Heidelberg (1999)
AlTarawneh, R., Johannes, S., Humayoun, S.R.: Clue: An algorithm for expanding clustered graphs. In: 7th IEEE Pacific Visualization Symposium (PacificVis 2014), Yokohama, Japan (2014)
Basili, V.R., Caldiera, G., Rombach, H.D.: The goal question metric approach. In: Encyclopedia of Software Engineering. Wiley (1994)
Venkatesh, V., Morris, M.G., Davis, G.B., Davis, F.D.: User acceptance of information technology: Toward a unified view. MIS Q. 27, 425–478 (2003)
Dix, A., Finlay, J.E., Abowd, G.D., Beale, R.: Human-Computer Interaction, 3rd edn. Prentice-Hall, Inc., Upper Saddle River (2003)
Proetzsch, M.: Development Process for Complex Behavior-Based Robot Control Systems. RRLab Dissertations. Verlag Dr. Hut (2010) ISBN: 978-3-86853-626-3
Vesely, W.: Fault Tree Handbook with Aerospace Applications. NASA (2002)
Shapiro, S.S., Wilk, M.B.: An analysis of variance test for normality (complete samples). Biometrika 52, 591–611 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
AlTarawneh, R., Steiner, M., Taibi, D., Humayoun, S.R., Liggesmeyer, P. (2014). Does Visualization Speed Up the Safety Analysis Process?. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol 8696. Springer, Cham. https://doi.org/10.1007/978-3-319-10557-4_47
Download citation
DOI: https://doi.org/10.1007/978-3-319-10557-4_47
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10556-7
Online ISBN: 978-3-319-10557-4
eBook Packages: Computer ScienceComputer Science (R0)