Ferrocene Documentation › Core Library Certification Digitally signed Unsigned draft
This is a preview from our development branch. It might be incomplete or inaccurate. Documentation access for customers »
Ferrocene logo

Core Library Certification

Safety Plan

  • 1. Purpose of this document
  • 2. Certification scope
  • 3. Project Setup
  • 4. Deliverables and Documents
  • 5. Requirements Management
  • 6. Testing Plan
  • 7. Uncertified and unused code
  • 8. Tool safety assessments
  • 9. Failure analysis
  • 10. Programming language

Safety Report

  • 11. Code coverage report

Norm Mapping

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

Reference

  • A. Terms, Definitions, and Abbreviations

Core Library Certification¶

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. Version control system
    • 8.6. rustdoc
  • 9. Failure analysis
  • 10. Programming language
    • 10.1. Compiler
    • 10.2. Rust
    • 10.3. Heap allocations

Safety Report

  • 11. Code coverage report

Norm Mapping

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

Reference

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

Indices and tables¶

  • Search Page

Copyright © The Ferrocene Developers.

Document ID: CLC-dcafeb74eafc7813fd1ff406177d9425ce735ab4

Ferrocene is a registered trademark of Critical Section GmbH.