4.1. Product Documentation¶

• Ferrocene User Manual

• The Certified core library API docs, which include

  • Requirements (the function doc-comments)

  • Software Design (the module doc-comments)

4.2. Functional Safety Documentation¶

• Safety Plan (this document)

• Norm mapping overview for all safety standards

• Ferrocene Safety Manual

• Testing Plan

• Test cases (coretests test suite), and

• Test results overview

4.3. Binaries in the delivery¶

The rust-std-<TARGET>.tar.xz archives contain the precompiled core library for each certified target.