Article | Proceedings of SIGRAD 2012; Interactive Visual Analysis of Data; November 29-30; 2012; Växjö; Sweden | ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems

Title:
ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems
Author:
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:
Full text (pdf)
Year:
2012
Conference:
Proceedings of SIGRAD 2012; Interactive Visual Analysis of Data; November 29-30; 2012; Växjö; Sweden
Issue:
081
Article no.:
008
Pages:
59-66
No. of pages:
8
Publication type:
Abstract and Fulltext
Published:
2012-11-20
ISBN:
978-91-7519-723-4
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

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—

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

Author:
Ragaad AlTarawneh, Jens Bauer, Patric Keller, Achim Ebert, Peter Liggesmeyer
Title:
ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems
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

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

Author:
Ragaad AlTarawneh, Jens Bauer, Patric Keller, Achim Ebert, Peter Liggesmeyer
Title:
ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment