DEFSTAN 00-55(PT1)/1(1991) : INTERIM
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
THE PROCUREMENT OF SAFETY CRITICAL SOFTWARE IN DEFENCE EQUIPMENT - REQUIREMENTS
01-08-1997
12-01-2013
Preface
Section One General
0 Introduction
1 Scope
2 Warning
3 Related Documents
4 Definitions
5 Requirements Enabling Competition, Use,
Alteration and Support
Section Two Safety Management
6 Responsibility for Safety
7 MOD Safety Assurance Authority
8 Hazard Analysis and Safety Risk Assessment
9 Tenders
10 Support
11 Quality Assurance
12 Risk Analysis
13 Quality of Staff
14 Design Team
15 V & V Team
16 Independent Safety Auditor
17 Subcontracting Arrangements
18 Safety Plan
19 Safety Reviews
20 Code of Design Practice
21 Safety Records Log
22 Documentation
23 Requirements for Deliverable Items
24 Configuration Management
25 Certification and Acceptance into Service
26 Production
27 In-service
28 Disposal
Section Three Software Engineering Practices
29 Specification
30 Design
31 Coding
32 Formal Arguments
33 Dynamic Testing
34 Use of Existing Software
35 Validation
36 Tool Support
Annex A Definitions
Annex B Deliverables
Annex C Requirements for the Configuration System
Annex D Safety Critical Software Certificate
Index
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.