Safety Critical Software Standards for Defence Procurement

Interim Defence Standard 00–31: Development of Safety Critical Software for Aircraft..

MoD policy statement for the procurement and use of software for safety critical applications.

Interim Defence Standard 00–55: The procurement of safety critical software in defence equipment (Status: Being developed.).

Programmable electronic systems in safety-related applications.

An introductory guide (ISBN 0 11 883913 6).

General technical guidelines (ISBN 0 11 883906 3).

IEC: Functional Safety of Programmable Electronic Systems: Generic Aspects. Being developed by IEC/65A/WG10.

IEC: Safety Related Software. Being developed by IEC/65A/WG9.