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 条
  • [21] HAZOP analysis of formal models of safety-critical interactive systems
    Hussey, A
    COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 371 - 381
  • [22] 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
  • [23] Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2024, 237
  • [24] Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems
    Bestavros, Azer
    Kfoury, Assaf
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2013, 23 (04) : 675 - 675
  • [25] 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
  • [26] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [27] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [28] Formal specification as a tool for objective assessment of safety-critical interactive systems
    Palanque, P
    Bastide, R
    Paterno, F
    HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 323 - 330
  • [29] Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
    Yin, Xiang
    Gao, Bingzhao
    Yu, Xiao
    ANNUAL REVIEWS IN CONTROL, 2024, 57
  • [30] 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