Formal methods for safety-critical embedded software - flight warning computer case study

被引：0
|
作者：
Courty, P
Hodgson, I
机构：
来源：
ELECTRONIC ENGINEERING DESIGN | 2002年 / 74卷 / 904期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：28 / +
页数：4
相关论文
共 50 条
  • [1] THE ROLE OF FORMAL METHODS IN DEVELOPING SAFETY-CRITICAL SOFTWARE
    THOMAS, M
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 1990, 14 (05) : 323 - 324
  • [2] SAFETY-CRITICAL SOFTWARE - ARE FORMAL TEST METHODS SUFFICIENT
    JOHNSTON, I
    [J]. CONTROL AND INSTRUMENTATION, 1995, 27 (05): : 16 - 16
  • [3] On the formal development of safety-critical software
    Galloway, Andy
    Iwu, Frantz
    McDermid, John
    Toyn, Ian
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
  • [4] FORMAL METHODS AND SAFETY-CRITICAL STANDARDS
    BOWEN, J
    [J]. COMPUTER, 1994, 27 (08) : 68 - 71
  • [5] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    [J]. CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
  • [6] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    [J]. IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [7] Integrated formal verification of safety-critical software
    Ning Ge
    Eric Jenn
    Nicolas Breton
    Yoann Fonteneau
    [J]. International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
  • [8] Integrated formal verification of safety-critical software
    Ge, Ning
    Jenn, Eric
    Breton, Nicolas
    Fonteneau, Yoann
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
  • [9] Hardware software codesign of a safety-critical embedded computer system for an automatic endoscope
    Khan, GN
    Jin, M
    [J]. IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 657 - 662
  • [10] LaQuSo: Using Formal Methods for Analysis, Verification and Improvement of Safety-Critical Software
    Smetsers, Sjaak
    van Eekelen, Marko
    [J]. ERCIM NEWS, 2008, (75): : 36 - 37
12345