Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations
  3.1 Terms and definitions
  3.2 Abbreviations
4 Objectives, Conformance and Software Safety Integrity
  Levels
5 Software management and organisation
  5.1 Organisation, Roles and Responsibilities
  5.2 Personnel Competence
  5.3 Lifecycle issues and documentation
6 Software assurance
  6.1 Software testing
  6.2 Software verification
  6.3 Software validation
  6.4 Software assessment
  6.5 Software quality assurance
  6.6 Modification and change control
  6.7 Support tools and languages
7 Generic software development
  7.1 Lifecycle and documentation for generic software
  7.2 Software requirements
  7.3 Architecture and Design
  7.4 Component design
  7.5 Component implementation and testing
  7.6 Integration
  7.7 Final Acceptance/Validation
8 Development of application data or algorithms: systems
  configured by application data or algorithms
  8.1 Objectives
  8.2 Input documents
  8.3 Output documents
  8.4 Requirements
9 Software deployment and maintenance
  9.1 Software deployment
  9.2 Software maintenance
Annex A (normative) - Criteria for the Selection of Techniques
        and Measures
  A.1 Clauses tables
  A.2 Detailed tables
Annex B (normative) - Key software roles and responsibilities
Annex C (informative) - Documents Control Summary and
        Document Flow Diagrams
Annex D (informative) - Bibliography of techniques
  D.1 AI Fault Correction
  D.2 Analysable Programs
  D.3 Avalanche/Stress Testing
  D.4 Boundary Value Analysis
  D.5 Backward Recovery
  D.6 Cause Consequence Diagrams
  D.7 Certified Tools and Certified Translators
  D.8 Checklists
  D.9 Control Flow Analysis
  D.10 Common Cause Failure Analysis
  D.11 Data Flow Analysis
  D.12 Data Flow Diagrams
  D.13 Data Recording and Analysis
  D.14 Decision Tables (Truth Tables)
  D.15 Defensive Programming
  D.16 Coding Standards and Style Guide
  D.17 Diverse Programming
  D.18 Dynamic Reconfiguration
  D.19 Equivalence Classes and Input Partition Testing
  D.20 Error Detecting and Correcting Codes
  D.21 Error Guessing
  D.22 Error Seeding
  D.23 Event Tree Analysis
  D.24 Fagan Inspections
  D.25 Failure Assertion Programming
  D.26 SEEA - Software Error Effect Analysis
  D.27 Fault Detection and Diagnosis
  D.28 Fault Tree Analysis
  D.29 Finite State Machines/State Transition Diagrams
  D.30 Formal Methods
  D.31 Formal Proof
  D.32 Forward Recovery
  D.33 Graceful Degradation
  D.34 Hazard and Operability Study (HAZOP)
  D.35 Impact Analysis
  D.36 Information Hiding/Encapsulation
  D.37 Interface Testing
  D.38 Language Subset
  D.39 Memorising Executed Cases
  D.40 Library of Trusted/Verified Components
  D.41 Markov Models
  D.42 Metrics
  D.43 Modular Approach
  D.44 Monte-Carlo Simulation
  D.45 Performance Modelling
  D.46 Performance Requirements
  D.47 Probabilistic Testing
  D.48 Process Simulation
  D.49 Prototyping/Animation
  D.50 Recovery Block
  D.51 Reliability Block Diagram
  D.52 Response Timing and Memory Constraints
  D.53 Re-Try Fault Recovery Mechanisms
  D.54 Safety Bag
  D.55 Sneak Circuit Analysis
  D.56 Software Configuration Management
  D.57 Strongly Typed Programming Languages
  D.58 Structure Based Testing
  D.59 Structure Diagrams
  D.60 Structured Methodology
  D.61 Structured Programming
  D.62 Suitable Programming languages
  D.63 Symbolic Execution
  D.64 Time Petri Nets
  D.65 Translator Proven In Use
  D.66 Walkthroughs/Design Reviews
  D.67 Object Oriented Programming
  D.68 Traceability
  D.69 Static verification of runtime properties by abstract
       interpretation
  D.70 Dataflow
  D.71 Metaprogramming
  D.72 Procedural programming
  D.73 Sequential Function Charts
  D.74 Ladder Diagram
  D.75 Functional Block Diagram
  D.76 State Chart or State Diagram
  D.77 Data modelling
  D.78 Control Flow Diagram/Control Flow Graph
  D.79 Sequence diagram
Bibliography