Safety Plan

• 1. Purpose of this document
• 2. Certification scope
  • 2.1. Certified version
  • 2.2. Certified targets
  • 2.3. Certified subset
• 3. Project Setup
  • 3.1. Release cadence
  • 3.2. Release notes
  • 3.3. Roles and responsibilities
  • 3.4. Lifecycle Phases Overview
  • 3.5. Internal procedures
  • 3.6. V-Model
  • 3.7. Responsibility split
  • 3.8. Configuration
  • 3.9. Safety Assessment
• 4. Deliverables and Documents
  • 4.1. Product Documentation
  • 4.2. Functional Safety Documentation
  • 4.3. Binaries in the delivery
• 5. Requirements Management
  • 5.1. Doc-comments
  • 5.2. Requirements
  • 5.3. Architecture and software design
  • 5.4. Quality of the doc-comments
  • 5.5. Tracing requirements to tests
  • 5.6. Requirement identifier
  • 5.7. Requirement status
  • 5.8. Requirement verification
  • 5.9. Private functions
• 6. Testing Plan
  • 6.1. Re-verification scope
  • 6.2. Test workflow
  • 6.3. Test suites
• 7. Uncertified and unused code
  • 7.1. Uncertified code
  • 7.2. Unused code
• 8. Tool safety assessments
  • 8.1. Code coverage
  • 8.2. Compiler
  • 8.3. Linting
  • 8.4. Test runner
  • 8.5. Build orchestrator
  • 8.6. Continuous integration job orchestrator
  • 8.7. Version control system
  • 8.8. rustdoc
• 9. Failure analysis
• 10. Programming language
  • 10.1. Compiler
  • 10.2. Rust
  • 10.3. Heap allocations

Safety Report

• 11. Code coverage report
• 12. Subset

Norm Mapping

• 13. Norm mapping overview
• 14. IEC 61508-1
• 15. IEC 61508-3
• 16. IEC 61508-3 Annex A
• 17. IEC 61508-3 Annex B

Reference

• A. Terms, Definitions, and Abbreviations
  • A.1. Definition of Terms
  • A.2. Abbreviated Terms