Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Marco Schumann, Robert Eschbach: Towards Making Dependability Visual - Combining Model-Based Đesign and Virtual Realities. Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011.

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 modelbased 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.

BibTeX (Download)

@conference{ModelBasedDesignPRDC2011,
title = {Towards Making Dependability Visual - Combining Model-Based {D}esign and Virtual Realities},
author = { Frank Ortmeier and Matthias G\"{u}demann and Michael Lipaczewski and Marco Schumann and Robert Eschbach},
url = {https://www.researchgate.net/profile/Frank_Ortmeier/publication/220700027_Towards_Making_Dependability_Visual_-_Combining_Model-Based_Design_and_Virtual_Realities/links/0c96052c949dedbb6b000000.pdf},
year  = {2011},
date = {2011-01-01},
booktitle = {Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011)},
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 modelbased 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.},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}