THE PRACTICE OF FORMAL METHODS IN SAFETY-CRITICAL SYSTEMS

被引：10

作者：

LIU, SY ^{[1
]}

STAVRIDOU, V ^{[1
]}

DUTERTRE, B ^{[1
]}

机构：

[1] UNIV LONDON, ROYAL HOLLOWAY, DEPT COMP SCI, LONDON, ENGLAND

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 1995年 / 28卷 / 01期

关键词：

D O I：

10.1016/0164-1212(94)00082-X

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

By describing several industrial-scale applications of formal methods, we demonstrate that formal methods for software development and safety analysis are being increasingly adopted in the safety-critical systems sector. The benefits and limitations of formal methods are described, and the problems in developing software for safety-critical systems are analyzed.

引用

页码：77 / 87

页数：11

共 50 条

[41] Certification of Safety-Critical Systems
Leveson, Nancy G.
Thomas, John P.
COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
[42] Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with S#
Habermaier, Axel
Leupolz, Johannes
Reif, Wolfgang
CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 150 - 167
[43] Safety-critical systems design
Douglass, BP
ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
[44] From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems
Ponsard, Christophe
Massonet, Philippe
Dallons, Gautier
ERCIM NEWS, 2008, (75): : 22 - 23
[45] Cybersecurity in safety-critical systems
Walker, Alastair
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 30 (05)
[46] Safety-critical systems design
Douglass, Bruce Powel
Electronic Engineering (London), 1998, 70 (862):
[47] The ethics of safety-critical systems
Bowen, J
COMMUNICATIONS OF THE ACM, 2000, 43 (04) : 91 - 97
[48] SAFETY-CRITICAL SYSTEMS - INTRODUCTION
BENNETT, P
COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5
[49] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems
Gebre-Egziabher, Demoz
PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
[50] Formal methods for safety-critical embedded software - Flight warning computer case study
Courty, Patrick
Hodgson, Ian
Electronic Engineering (London), 2002, 74 (904): : 28 - 32

← 1 2 3 4 5 →