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.
Rationale for the development of the UK defence standards for safety-critical computer software
Grundlage zur Entwicklung von UK-Verteidigungs-Standards für sicherheitsrelevante Computer-Software
IEEE Aerospace and Electronics Systems Magazine ; 5 , 11 ; 31-37
1990
7 Seiten
Article (Journal)
English
Harmonisation of defence standards for safety-critical software
Tema Archive | 1997
|`Harmonisation of defence standards for safety-critical software'
British Library Conference Proceedings | 1997
|Computer-Based Safety Critical Systems in Defence: Evolution of the Safety Case
British Library Conference Proceedings | 2006
|Computer-Based Safety Critical Systems in Defence: Evolution of the Safety Case
British Library Conference Proceedings | 1997
|