Perspectives on safety-critical software

被引：0
|
作者：
Bhansali, PV
机构：
来源：
AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ASWEC.1997.623760
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：108 / 109
页数：2
相关论文
共 50 条
  • [41] Software reuse in safety-critical airborne systems
    Wlad, Joe
    2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 1160 - 1167
  • [42] 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
  • [43] 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
  • [44] Novel testing approach for safety-critical software
    Xu, Zhongwei
    Wu, Fangmei
    Proceedings of the Asian Test Symposium, 1999, : 251 - 255
  • [45] Reusing Certified, Safety-Critical Avionics Software
    King, Tim
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [46] 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
  • [47] Harmonisation of defence standards for safety-critical software
    Marsh, W
    MICROPROCESSORS AND MICROSYSTEMS, 1997, 21 (01) : 41 - 47
  • [48] FAA (RSC) acceptance for safety-critical software
    不详
    AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2006, 78 (04): : 358 - 359
  • [49] Software Qualification Approach for Safety-Critical Software of the Embedded System
    Kim, Jangyeol
    Kim, Soongohn
    COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
  • [50] Certification of software tools used in safety-critical software development
    Schuster, Gyorgy
    2022 IEEE 5TH INTERNATIONAL CONFERENCE AND WORKSHOP OBUDA ON ELECTRICAL AND POWER ENGINEERING, CANDO-EPE, 2022, : 211 - 215
12345