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 条

[21] Towards a Formal Approach to Analysing Security of Safety-Critical Systems
Vistbakka, Inna
Troubitsyna, Elena
2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189
[22] Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)
Artho, Cyrille
Olveczky, Peter Csaba
SCIENCE OF COMPUTER PROGRAMMING, 2024, 237
[23] On the formal development of safety-critical software
Galloway, Andy
Iwu, Frantz
McDermid, John
Toyn, Ian
VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
[24] FORMAL METHODS AND SAFETY-CRITICAL STANDARDS
BOWEN, J
COMPUTER, 1994, 27 (08) : 68 - 71
[25] Hierarchical safety analysis and formal verification for safety-critical systems using STAMP and Event-B
Chen, Zuxi
Niu, Chuanjun
Mei, Meng
Zhang, Hongyang
SAFETY SCIENCE, 2025, 184
[26] SysML Aided Safety Analysis for Safety-Critical Systems
Li, Guoqi
Wang, Boxuan
ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 270 - 275
[27] SAFETY-CRITICAL SYSTEMS
MCDERMID, JA
THEWLIS, DJ
SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
[28] SAFETY-CRITICAL SYSTEMS
RUDALL, BH
ROBOTICA, 1990, 8 : 184 - 184
[29] Timing Model for Predictive Simulation of Safety-critical Systems
Cioroaica, Emilia
Blanco, Jose Miguel
Rossi, Bruno
PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 331 - 339
[30] Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
Yin, Xiang
Gao, Bingzhao
Yu, Xiao
ANNUAL REVIEWS IN CONTROL, 2024, 57

← 1 2 3 4 5 →