Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Towards making dependability visual - Combining model-based design and virtual realities

 
: Güdemann, M.; Lipaczewski, M.; Ortmeier, F.; Schumann, M.; Eschbach, R.

:

Institute of Electrical and Electronics Engineers -IEEE-:
17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011. Proceedings : 12-14 December 2011, Pasadena, California, USA
Piscataway: IEEE, 2011
ISSN: 1541-0110
ISBN: 978-0-7695-4590-5
S.274-275
Pacific Rim International Symposium on Dependable Computing (PRDC) <17, 2011, Pasadena/Calif.>
Englisch
Konferenzbeitrag
Fraunhofer IFF ()
Fraunhofer IESE ()
software engineering; virtual reality; dependability; safety

Abstract
Dependability is often a very abstract concept. The reason is that dependability implications shall be very rare and are often not even wanted to happen during testing. In particular for software-intensive systems, it is very hard to find correct causal relationships/minimal cut sets. Modern model-based approaches help here by computing for example minimal cut sets automatically. However, these methods always rely on a correct model of the environment. In addition, the results are often not traceable or understandable for humans. Therefore, we suggest combining model-based analysis for deriving safety properties with virtual realities for ensuring model validity and trace-ability of results.

: http://publica.fraunhofer.de/dokumente/N-208810.html