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.<>


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Brown, M.J.D. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.11.1990


    Format / Umfang :

    662051 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    `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