ProMoSA - Probabilistic Models for Safety Analysis

13 years 6 months ago

Download wwwiti.cs.uni-magdeburg.de

: 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. Zus

Frank Ortmeier, Matthias Güdemann

Real-time Traffic

Durchgehend Modell-basierten Ansatzes | Embedded Systems | MBEES 2010 | Modellen Optimale Kandidaten | ProMoSA Vorhabens St |

claim paper

» Exploiting Safety Constraints in Fuzzy Selforganising Maps for Safety Critical Application...

» Using Fault Modeling in Safety Cases

» Enhanced CakES representing Safety Analysis results of Embedded Systems

» Model Checking FTA

» Deriving Safety Properties for Home Network System Based on GoalOriented Hazard Analysis M...

» Safety Analysis of Software Product Lines Using StateBased Modeling

» Enforcing security and safety models with an information flow analysis tool

» A Practical Formal Model for Safety Analysis in CapabilityBased Systems

» Modeling and Automatic Failure Analysis of SafetyCritical Systems Using Extended Safechart...

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2010
Where	MBEES
Authors	Frank Ortmeier, Matthias Güdemann

Comments (0)

Sciweavers

ProMoSA - Probabilistic Models for Safety Analysis

Durchgehend Modell-basierten Ansatzes | Embedded Systems | MBEES 2010 | Modellen Optimale Kandidaten | ProMoSA Vorhabens St |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers