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

Author

Brown, Michael J D

Author_Institution

Minist. of Defence, London, UK

fYear

1990

fDate

25-28 June 1990

Firstpage

144

Lastpage

150

Abstract

Developments leading to the publication of the UK Ministry of Defence (MOD) draft standards, specifically directed toward the development and certification of safety-critical computer applications are discussed. Highlights of the draft UK standards are presented, although they are working documents that are liable to change and do not represent settled MOD policy. The use of ADA for safety-critical software is also discussed. This discussion includes a list of programming design practices that, according to the draft standards, are to be avoided.<>

Keywords

Ada; government policies; military computing; programming; software reliability; standards; ADA; MOD policy; UK defence standards; draft UK standards; programming design practices; safety-critical computer applications; safety-critical computer software; working documents; Application software; Certification; Control systems; Embedded computing; Military computing; Military equipment; Procurement; Software safety; Software standards; Standards development;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on

Conference_Location

Gaithersburg, MD, USA

Type

conf

DOI

10.1109/CMPASS.1990.175411

Filename

175411