Abstract
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. Fully automated formal safety analyses are conducted for the case study using the explicitstate model checker LTSmin. Analysis efficiency is evaluated in comparison with other safety analysis tools and model checkers.
Cite
CITATION STYLE
Habermaier, A., Leupolz, J., & Reif, W. (2016). Unified simulation, visualization, and formal analysis of safety-critical systems with S#. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9933 LNCS, pp. 150–167). Springer Verlag. https://doi.org/10.1007/978-3-319-45943-1_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
