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 条
  • [21] Verification of requirements for safety-critical software
    Carpenter, PB
    ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 23 - 29
  • [22] Toward dependable safety-critical software
    Bastani, F
    Cukic, B
    Hilford, V
    Jamoussi, A
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 86 - 92
  • [23] On the formal development of safety-critical software
    Galloway, Andy
    Iwu, Frantz
    McDermid, John
    Toyn, Ian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
  • [24] An approach for testing safety-critical software
    Li, WW
    Xu, ZW
    Jin, Y
    NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
  • [25] SAFETY-CRITICAL SOFTWARE - A RESEARCH AGENDA
    BERZTISS, AT
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 165 - 181
  • [26] Software testing for safety-critical applications
    Wang, LF
    Tan, KC
    IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
  • [27] Towards the Design of Safety-Critical Software
    Rafeh, R.
    Rabiee, A.
    JOURNAL OF APPLIED RESEARCH AND TECHNOLOGY, 2013, 11 : 683 - 694
  • [28] Timing tolerances in safety-critical software
    Wassyng, A
    Lawford, M
    Hu, XY
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 157 - 172
  • [29] CERTIFICATION OF SAFETY-CRITICAL SOFTWARE BY LICENSED SOFTWARE ENGINEERS
    DAVIS, PI
    COMPUTER, 1992, 25 (12) : 72 - 73
  • [30] Quality assurance for a nuclear power plant simulator by applying standards for safety-critical software
    Ye Cheng
    Ni Chao
    Zheng Tian
    Zhang Zhicheng
    Zhang Ronghua
    PROGRESS IN NUCLEAR ENERGY, 2014, 70 : 128 - 133