Changes in the procurement environment and developments in technology that will require the adoption of new development certification procedures within the next few years are examined. Characteristics of safety-critical computer systems and the safety problems posed by digital computers are described. The way in which the changes have influenced the preparation of the new draft defence standards offered for public debate in the UK prior to their formal adoption by the Ministry of Defence is discussed. Principle features of the future safety-critical systems policy are outlined. The use of Ada for safety-critical software is considered.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Rationale for the development of the UK defence standards for safety-critical computer software


    Additional title:

    Grundlage zur Entwicklung von UK-Verteidigungs-Standards für sicherheitsrelevante Computer-Software


    Contributors:


    Publication date :

    1990


    Size :

    7 Seiten




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English






    `Harmonisation of defence standards for safety-critical software'

    Marshy, D. W. R. / ERA Technology | British Library Conference Proceedings | 1997


    Computer-Based Safety Critical Systems in Defence: Evolution of the Safety Case

    Eastaughffe, K.A. / Cant, A. / Ozols, M.A. et al. | British Library Conference Proceedings | 2006


    Computer-Based Safety Critical Systems in Defence: Evolution of the Safety Case

    Eastaughffe, K. A. / Cant, A. / Ozols, M. A. | British Library Conference Proceedings | 1997