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 条
  • [31] EXTENDING SYSTEMS ENGINEERING FOR SAFETY-CRITICAL DEFENCE APPLICATIONS
    Katia, P.O.T.I.R.O.N.
    James, I.N.G.E.
    INCOSE International Symposium, 2024, 34 (01) : 199 - 209
  • [32] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
    BOWEN, J
    STAVRIDOU, V
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
  • [33] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
    SAEED, A
    DELEMOS, R
    ANDERSON, T
    ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
  • [34] 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,
  • [35] REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE
    King, Tim
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [36] 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
  • [37] 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
  • [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