Conference article

ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems

Ragaad AlTarawneh
Computer Graphics and HCI Group, University of Kaiserslautern, Germany

Jens Bauer
Computer Graphics and HCI Group, University of Kaiserslautern, Germany

Patric Keller
Software Engineering:Dependability Group, University of Kaiserslautern, Germany

Achim Ebert
Computer Graphics and HCI Group, University of Kaiserslautern, Germany

Peter Liggesmeyer
Software Engineering:Dependability Group, University of Kaiserslautern, Germany

Download article

Published in: Proceedings of SIGRAD 2012; Interactive Visual Analysis of Data; November 29-30; 2012; Växjö; Sweden

Linköping Electronic Conference Proceedings 81:8, p. 59-66

Show more +

Published: 2012-11-20

ISBN: 978-91-7519-723-4

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

In this paper; we present a framework; called Embedded-System Safety Aspects Visualization (ESSAVis); that is a system prototype designed to analyze the safety aspects of embedded systems. The ESSAVis prototype provides a 3D environment that aids in detecting infected components in the hardware of the target embedded system. The prototype also provides an abstract representation for the failure mechanisms of the target embedded system; including the software structure and failure path information for the underlying safety scenarios at a certain moment in the system’s life. The results indicate clearness of our proposed method over existing techniques and promise acceleration in performance of the failure detection process in embedded systems for critical applications.

Keywords

I.3.3 [Computer Graphics]: Picture/Image Generation—B.7.2 [Design Aids]: Graphics—Simulation D.2.6 [Programming Environments]: Graphical environments—

References

[BBC04] BIEBER P.; BOUGNOL C.; CASTEL C.; P. HECKMANN J.; 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 (2004); p. 26. 60

[BDS03] BRANDES U.; DWYER T.; SCHREIBER F.: Visualizing related metabolic pathways in two and a half dimensions. In mGraph Drawing (2003); pp. 111–122. 61

[BV10] BOZZANO M.; VILLAFIORITA A.: Design and Safety Assessment of Critical Systems. CRC Press (Taylor and Francis); an Auerbach Book; 2010. 61

[CC07] COLLINS C.; CARPENDALE S.: Carpendale s: Vislink: revealing relationships amongst visualizations. IEEE Trans Vis Comput Graph 2007 (2007). 61

[CM00] COCKBURN A.; MCKENZIE B.: An evaluation of cone trees. In University of Sunderland (2000); Springer-Verlag; pp. 425–436. 61

[DL06] DEHLINGER J.; LUTZ R. R.: Plfaultcat: A product-line software fault tree analysis tool. Automated Software Engineering 13; 1 (2006); 169–193. 60

[Ead92] EADES P.: Drawing free trees. Bulletin of the Institute for Combinatorics and its Applications; pp. 10 -36 (1992). 60; 62

[EF96] EADES P.; FENG Q.-W.: Multilevel Visualization of Clustered Graphs. In Proc. Graph Drawing; GD (Berlin; Germany; 1996); no. 1190; Springer-Verlag; pp. 101–112. 61

[FPF88] FAIRCHILD K. M.; POUTROCK S. E.; FURNAS G. W.: SemNet: Three-dimensional graphic representation of large knowledge bases. In Cognitive Science and its Applications for Human-Computer Interaction; R. Guinon; Editor. 1988; Lawrence Erlbaum: Hillsdale NJ (1988); pp. 201–233. 61

[HMM00] HERMAN I.; MELANCON G.; MARSHALL M. S.: Graph visualization and navigation in information visualization: A survey. IEEE Trans on Visualization and Computer Graphics 6; 1 (2000); 24–43. 61

[KGF07] KAISER B.; GRAMLICH C.; FORSTER M.: State/event fault trees: A safety analysis model for software-controlled systems. Reliability Engineering System Safety 92; 11 (2007); 1521– 1537. 59; 61; 62

[KLM03] KAISER B.; LIGGESMEYER P.; MÄCKEL O.: A new mcomponent concept for fault trees. Reproduction 33 (2003); 37– 46. 59; 60; 61

[Kre12] KREYLOS O.: Vrui virtual reality toolkit; July 2012. "http://idav.ucdavis.edu/okreylos/ResDev Vrui/index.html". 62; 63

[KSZ09] KUMAR P.; SUBRAMANIAN N.; ZHANG K.: Savit: Technique for visualization of digital home safety. ACIS International Conference on Computer and Information Science (2009); 1120–1125. 60

[Lam96] LAMPING J.: The hyperbolic browser: A focus+context technique for visualizing large hierarchies. Journal of Visual Languages Computing 7; 1 (1996); 33–55. 60

[LRP95] LAMPING J.; RAO R.; PIROLLI P.: A focus+context technique based on hyperbolic geometry for visualizing large hierarchies. In Proc. of CHI ’95 (1995); ACM; pp. 401–408. 60

[LS10] LEE E. A.; SESHIA S. A.: Introduction to Embedded Systems - A Cyber-Physical Systems Approach; 1 ed. Lee and Seshia; 2010. 59

[MB95] MUNZNER T.; BURCHARD P.: Visualizing the structure of the world wide web in 3d hyperbolic space. Proc. of the first symposium on Virtual reality modeling language VRML 95 (1995); 33–38. 60

[Mun97] MUNZNER T.: H3: laying out large directed graphs in 3d hyperbolic space. In Proc. of InfoVis ’97 (Washington; DC; USA; 1997); IEEE Computer Society; pp. 2–. 60

[Mun98] MUNZNER T.: Drawing large graphs with h3viewer and site manager (system demonstration). In Proc. of Graph Drawing’98; number 1547 in Lecture Notes in Computer Science (1998); Springer-Verlag; pp. 384–393. 60

[Pro10] PROETZSCH M.: Development Process for Complex Behavior-Based Robot Control Systems. RRLab Dissertations. Verlag Dr. Hut; 2010. ISBN: 978-3-86853-626-3. 62

[Sof12] SOFTWARE ENGINEERING RESEARCH GROUP: DEPENDABILITY KAISERSLAUTERN UNIVERSITY; ESSAREL TOOL: Embedded systems sadety and reliability analyer; July 2012. "http://essarel.de/index.php ?site=backgroundtext". 60; 62

[YKL12] YANG Y.; KELLER P.; LIVNAT Y.; LIGGESMEYER P.; HAGEN H.: Improving safety-critical systems by visual analysis. Dagstuhl Follow-Up series (2012). 60

Citations in Crossref