Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier: Tool Supported Model-Based Safety Analysis and Optimization. Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011.

Abstract

Although model-based approaches can yield very precises safety analyses, they are rarely used in practice. The reason is, that most techniques are very difficult to apply and almost always require separate models and tools. In this paper we present an outline for the integration of different model-based safety analysis and safety optimization methods into a single tool framework. We present the envisioned workflow and some of the requirements for the tool integration. Because of its wide acceptance, platform independence and its well-documented API, we chose the Eclipse platform as framework foundation.

BibTeX (Download)

@conference{modelBasedAnalysisToolPRDC2011,
title = {Tool Supported Model-Based Safety Analysis and Optimization},
author = { Matthias G\"{u}demann and Michael Lipaczewski and Frank Ortmeier},
url = {http://ieeexplore.ieee.org/abstract/document/6133100/},
year  = {2011},
date = {2011-01-01},
booktitle = {Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011)},
abstract = {Although model-based approaches can yield very precises safety analyses, they are rarely used in practice. The reason is, that most techniques are very difficult to apply and almost always require separate models and tools. In this paper we present an outline for the integration of different model-based safety analysis and safety optimization methods into a single tool framework. We present the envisioned workflow and some of the requirements for the tool integration. Because of its wide acceptance, platform independence and its well-documented API, we chose the Eclipse platform as framework foundation.},
keywords = {model-based, SAML, VECS},
pubstate = {published},
tppubtype = {conference}
}