Title :
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
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;
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
DOI :
10.1109/CMPASS.1990.175411
