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 条
  • [41] TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE
    CULLYER, WJ
    STOREY, N
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (05): : 239 - 244
  • [42] OPERATIONAL SAFETY-CRITICAL SOFTWARE METHODS IN RAILWAYS
    GUIHO, G
    MEJIA, F
    INFORMATION PROCESSING '94, VOL III: LINKAGE AND DEVELOPING COUNTRIES, 1994, 53 : 262 - 269
  • [43] SAFETY-CRITICAL SOFTWARE AND CURRENT STANDARDS INITIATIVES
    SHAW, R
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1994, 44 (01) : 5 - 22
  • [44] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [45] Risky Module Estimation in Safety-Critical Software
    Kim, Young-Mi
    Jeong, Choong-Heui
    Jeong, A-Rang
    Kim, Hyeon Soo
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 967 - +
  • [46] Software reuse in safety-critical airborne systems
    Wlad, Joe
    2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 1160 - 1167
  • [47] Agile methods for safety-critical software development
    Weyrauch, K
    Poppendieck, M
    Morsicato, R
    Van Schooenderwoert, N
    Pyritz, B
    EXTREME PROGRAMMING AND AGILE METHODS - XP/ AGILE UNIVERSE 2004, PROCEEDINGS, 2004, 3134 : 202 - 202
  • [48] A static analyzer for large safety-critical software
    Blanchet, B
    Cousot, P
    Cousot, R
    Feret, J
    Mauborgne, L
    Miné, A
    Monniaux, D
    Rival, X
    ACM SIGPLAN NOTICES, 2003, 38 (05) : 196 - 207
  • [49] Harmonisation of defence standards for safety-critical software
    Marsh, W
    MICROPROCESSORS AND MICROSYSTEMS, 1997, 21 (01) : 41 - 47
  • [50] Languages for safety-critical software: Issues and assessment
    Brosgol, Benjamin M.
    29th International Conference on Software Engineering: ICSE 2007 Companion Volume, Proceedings, 2007, : 180 - 181
12345