Qualitative and quantitative analysis of safety-critical systems with

We give an overview of the (pronounced “safety sharp”) framework for rigorous, model-based analysis of safety-critical systems. We introduce ’s expressive modeling language based on the programming language, showing how ’s fault modeling and flexible model composition capabilities can be used to mod...

Full description

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer 2018-08, Vol.20 (4), p.359-377
Main Authors: Leupolz, Johannes, Knapp, Alexander, Habermaier, Axel, Reif, Wolfgang
Format: Article
Language:English
Subjects:
Computer Science
FMICS-AVoCS
Modelling
Probabilistic models
Programming languages
Qualitative analysis
Qualitative research
Quantitative analysis
Safety critical
Semantics
Software Engineering
Software Engineering/Programming and Operating Systems
Systems analysis
Theory of Computation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We give an overview of the (pronounced “safety sharp”) framework for rigorous, model-based analysis of safety-critical systems. We introduce ’s expressive modeling language based on the programming language, showing how ’s fault modeling and flexible model composition capabilities can be used to model a case study from the transportation sector with multiple design variants. A formal semantics for executable probabilistic models is given. Fully automated qualitative and quantitative safety analyses are conducted for the case study using algorithms of the model checkers LTSmin and MRMC. The results of the quantitative analyses are discussed in comparison with results obtained by using traditional techniques.
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-017-0464-3