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 条
  • [31] A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
    Grimm, Tomas
    Lettnin, Djones
    Huebner, Michael
    ELECTRONICS, 2018, 7 (06)
  • [32] Integrated formal verification of safety-critical software
    Ge, Ning
    Jenn, Eric
    Breton, Nicolas
    Fonteneau, Yoann
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
  • [33] 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
  • [34] 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):
  • [35] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [36] LaQuSo: Using Formal Methods for Analysis, Verification and Improvement of Safety-Critical Software
    Smetsers, Sjaak
    van Eekelen, Marko
    ERCIM NEWS, 2008, (75): : 36 - 37
  • [37] 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
  • [38] 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
  • [39] Are your systems safety-critical?
    Redmill, F
    IEE REVIEW, 1997, 43 (03): : 93 - &
  • [40] 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
12345