SAFETY CRITICAL SOFTWARE FOR DEFENCE SYSTEMS: REQUIREMENTS OF INTERIM DEFENCE STANDARD 00-55

摘要

The requirements of Interim Defence Standard 00-55, 'The Procurement of Safety Critical Software in Defence Equipment', have caused considerable debate within industry. This paper introduces the background to the Standard and summarizes its key technical requirements. The feasibility of compliance is considered, based on the recent conclusions of a working group that was set up to draft guidance on the Standard. The stance taken by others in related initiatives is also considered.