ISSE

Search

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

DOI: http://dx.doi.org/10.1007/978-3-319-45943-1_11


BibTex

For questions regarding the publication, please contact publications@isse.de!