Frank Ortmeier, Matthias Güdemann: ProMoSA - Probabilistic Models for Safety Analysis. Proceedings of 6th Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, 2010.

Abstract

Das Ziel des ProMoSA Vorhabens st die Entwicklung eines durchgehend modell-basierten Ansatzes zur Sicherheitsanalyse. Dabei sollen sowohl quantitative als auch qualitative Aspekte aus einem gemeinsamen Modell abgeleitet werden. Zusaetzlich soll es moeglich sein aus einer Menge von Modellen optimale Kandidaten automatisch zu bestimmen. Die Modellerstellung soll weitgehend durch semantisch-fundierte Modelltransformationen unterstuetzt werden.

BibTeX (Download)

@conference{OG+10,
title = {ProMoSA - Probabilistic Models for Safety Analysis},
author = { Frank Ortmeier and Matthias G\"{u}demann},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2017/10/ProMoSa.pdf},
year  = {2010},
date = {2010-01-01},
booktitle = {Proceedings of 6th Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems},
abstract = {Das Ziel des ProMoSA Vorhabens st die Entwicklung eines durchgehend modell-basierten Ansatzes zur Sicherheitsanalyse. Dabei sollen sowohl quantitative als auch qualitative Aspekte aus einem gemeinsamen Modell abgeleitet werden. Zusaetzlich soll es moeglich sein aus einer Menge von Modellen optimale Kandidaten automatisch zu bestimmen. Die Modellerstellung soll weitgehend durch semantisch-fundierte Modelltransformationen unterstuetzt werden.},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}