Unified Simulation, Visualization, and Formal 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. Fully automated formal safety analyses are conducted for the case study using the explicit-state model checker LTSmin. Analysis efficiency is evaluated in comparison with other safety analysis tools and model checkers.
published 27.09.2016 09:00 Critical Systems: Formal Methods and Automated Verification

Publisher: Springer



For questions regarding the publication, please contact!