Toward dependable safety-critical software

被引：5
|
作者：
Bastani, F [1 ]
Cukic, B [1 ]
Hilford, V [1 ]
Jamoussi, A [1 ]
机构：
[1] UNIV HOUSTON,DEPT COMP SCI,HOUSTON,TX 77204
来源：
SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96 | 1996年
关键词：
D O I：
10.1109/WORDS.1996.506265
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：86 / 92
页数：7
相关论文
共 50 条
  • [31] DESIGN OF A PLATFORM FOR SAFETY JUSTIFICATION OF SAFETY-CRITICAL SOFTWARE
    Guo Jia
    Yang Ming
    PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
  • [32] Dependable DNN Accelerator for Safety-Critical Systems: A Review on the Aging Perspective
    Moghaddasi, Iraj
    Gorgin, Saeid
    Lee, Jeong-A
    IEEE ACCESS, 2023, 11 : 89803 - 89834
  • [33] Dependable polygon-processing algorithms for safety-critical embedded systems
    Brandt, J
    Schneider, K
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 405 - 417
  • [34] REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE
    King, Tim
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [35] 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
  • [36] 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
  • [37] SAFETY-CRITICAL SOFTWARE AND CURRENT STANDARDS INITIATIVES
    SHAW, R
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1994, 44 (01) : 5 - 22
  • [38] TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE
    CULLYER, WJ
    STOREY, N
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (05): : 239 - 244
  • [39] OPERATIONAL SAFETY-CRITICAL SOFTWARE METHODS IN RAILWAYS
    GUIHO, G
    MEJIA, F
    INFORMATION PROCESSING '94, VOL III: LINKAGE AND DEVELOPING COUNTRIES, 1994, 53 : 262 - 269
  • [40] Prediction of Undetected Faults in Safety-Critical Software
    Sundell, Johan
    Torkar, Richard
    Lundqvist, Kristina
    Forsberg, Hakan
    2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), 2019, : 296 - 304
12345