Harmonisation of defence standards for safety-critical software

被引:0
|
作者
Marsh, W
机构
[1] Software and Syst. Integrity Dept., ERA Technology Ltd., Leatherhead, Surrey, K722 7SA, Cleeve Road
关键词
defence procurement; international standards; safety-critical software; military avionics;
D O I
10.1016/S0141-9331(97)00018-5
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Increasingly, UK defence procurement is being carried out as part of internationally collaborative programmes. Purchases may be of off-the-shelf design or of equipment meeting the requirements of more than one country. This paper addresses the issue of differing national standards for safety-critical software and the need for harmonisation. Differing standards give rise to a number of issues peculiar to software. One such issue is that all standards for software make requirements on the process used to develop the software. When an existing design is purchased the software development process has been completed and therefore cannot be modified. The requirements of differing standards for physical properties such as structural strength can be compared either by reference to an appropriate scientific theory or by experiment. Unfortunately, neither of these approaches can he used to compare objectively the requirements of software standards, especially when the software is safety-critical. The paper compares some of the existing standards to safety-critical software in military avionics and, describes developments taking place in different countries. (C) 1997 Elsevier Science B.V.
引用
收藏
页码:41 / 47
页数:7
相关论文
共 50 条
  • [41] Fault mitigation in safety-critical software systems
    Subramanian, S
    Elliott, L
    Vishnuvajjala, RV
    Tsai, WT
    Mojdehbakhsh, R
    NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
  • [42] Testing. Testing safety-critical software
    Redmill, Felix
    Professional Engineering, 1993, 6 (07) : 20 - 21
  • [43] Analysing Human Aspects of Safety-Critical Software
    Harrison, Michael D.
    Campos, Jose Creissac
    ERCIM NEWS, 2008, (75): : 18 - 18
  • [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] Novel testing approach for safety-critical software
    Xu, Zhongwei
    Wu, Fangmei
    Proceedings of the Asian Test Symposium, 1999, : 251 - 255
  • [50] Reusing Certified, Safety-Critical Avionics Software
    King, Tim
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,