Qualitative and Quantitative Analysis of Safety-Critical Systems with S#

We give an overview of the S# (pronounced “safety sharp”) framework for rigorous, model-based analysis of safety-critical systems. We introduce S#’s expressive modeling language based on the C# programming language, showing how S#’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 to results obtained by using traditional techniques.
published 17.07.2017 09:00 International Journal on Software Tools for Technology Transfer. Springer, 2017

Publisher: Springer




For questions regarding the publication, please contact!