THE PRACTICE OF FORMAL METHODS IN SAFETY-CRITICAL SYSTEMS

被引：9
|
作者：
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 条
  • [1] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    [J]. CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
  • [2] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
    BOWEN, J
    STAVRIDOU, V
    [J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
  • [3] FORMAL METHODS AND SAFETY-CRITICAL STANDARDS
    BOWEN, J
    [J]. COMPUTER, 1994, 27 (08) : 68 - 71
  • [4] FORMAL METHODS - USE AND RELEVANCE FOR THE DEVELOPMENT OF SAFETY-CRITICAL SYSTEMS
    BARROCA, LM
    MCDERMID, JA
    [J]. COMPUTER JOURNAL, 1992, 35 (06): : 579 - 599
  • [5] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
  • [6] Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems
    Dondossola, G
    [J]. VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 113 - 130
  • [7] THE ROLE OF MATHEMATICALLY FORMAL METHODS IN THE DEVELOPMENT AND ASSESSMENT OF SAFETY-CRITICAL SYSTEMS
    FROOME, P
    MONAHAN, B
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (10) : 539 - 546
  • [8] Formal verification of safety-critical hybrid systems
    Livadas, C
    Lynch, NA
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 253 - 272
  • [9] Formal Techniques for Safety-Critical Systems Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 83 - 84
  • [10] Formal Verification of Safety-Critical Aerospace Systems
    Paul, Saswata
    Cruz, Elkin
    Dutta, Airin
    Bhaumik, Ankita
    Blasch, Erik
    Agha, Gul
    Patterson, Stacy
    Kopsaftopoulos, Fotis
    Varela, Carlos
    [J]. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2023, 38 (05) : 72 - 88
12345