Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with S#

被引：2
|
作者：
Habermaier, Axel [1 ]
Leupolz, Johannes [1 ]
Reif, Wolfgang [1 ]
机构：
[1] Univ Augsburg, Inst Software & Syst Engn, Augsburg, Germany
来源：
CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION | 2016年 / 9933卷
关键词：
MODEL CHECKER;
D O I：
10.1007/978-3-319-45943-1_11
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：150 / 167
页数：18
相关论文
共 50 条
  • [1] Executable Specifications of Safety-Critical Systems with S#
    Habermaier, Axel
    Leupolz, Johannes
    Reif, Wolfgang
    IFAC PAPERSONLINE, 2015, 48 (07): : 44 - 49
  • [2] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
  • [3] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
  • [4] HAZOP analysis of formal models of safety-critical interactive systems
    Hussey, A
    COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 371 - 381
  • [5] Formal verification of safety-critical hybrid systems
    Livadas, C
    Lynch, NA
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 253 - 272
  • [6] THE PRACTICE OF FORMAL METHODS IN SAFETY-CRITICAL SYSTEMS
    LIU, SY
    STAVRIDOU, V
    DUTERTRE, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 28 (01) : 77 - 87
  • [7] Formal Techniques for Safety-Critical Systems Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 83 - 84
  • [8] Formal Verification of Safety-Critical Aerospace Systems
    Paul, Saswata
    Cruz, Elkin
    Dutta, Airin
    Bhaumik, Ankita
    Blasch, Erik
    Agha, Gul
    Patterson, Stacy
    Kopsaftopoulos, Fotis
    Varela, Carlos
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2023, 38 (05) : 72 - 88
  • [9] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
    BOWEN, J
    STAVRIDOU, V
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
  • [10] Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
    Elmqvist, Jonas
    Nadim-Tehrani, Simin
    11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 154 - 164
12345