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 条

[41] Integrated formal verification of safety-critical software
Ning Ge
Eric Jenn
Nicolas Breton
Yoann Fonteneau
International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
[42] Formal development method for safety-critical system
Wang, Hai-Feng
Chen, Jian-Ming
Zheng, Zhong-Yi
Beifang Jiaotong Daxue Xuebao/Journal of Northern Jiaotong University, 2002, 26 (06):
[43] Formal Modeling and Verification of Safety-Critical Software
Yoo, Junbeom
Jee, Eunkyoung
Cha, Sungdeok
IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
[44] Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems
Ge, Ning
Dieumegard, Arnaud
Jenn, Eric
d'Ausbourg, Bruno
Ait-Ameur, Yamine
PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 111 - 118
[45] Dependability of safety-critical systems
Buja, G
Castellan, S
Menis, R
Zuccollo, A
2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
[46] Are your systems safety-critical?
Redmill, F
IEE REVIEW, 1997, 43 (03): : 93 - &
[47] An approach to specifying and verifying safety-critical systems with practical formal method SOFL
Liu, SY
Asuka, M
Komaya, K
Nakamura, Y
FOURTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS - PROCEEDINGS, 1998, : 100 - 114
[48] Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems
Lanier, Benjamin
Petnga, Leonard
2019 14TH ANNUAL CONFERENCE SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2019, : 352 - 357
[49] Certification of Safety-Critical Systems
Leveson, Nancy G.
Thomas, John P.
COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
[50] A Project Manager's View of Safety-Critical Systems
Docker, Thomas
ADVANCES IN SYSTEMS SAFETY, 2011, : 73 - 88

← 1 2 3 4 5 →