An easy-to-read, how-to manual for operating Ferrocene in a qualified environment.
The expected behavior of the Rust language as implemented by the Ferrocene compiler.
Usage and constraints information concerning the use of Ferrocene according to the functional safety standards.
List of changes included in this release of Ferrocene.
Libraries distributed with Ferrocene are not pre-certified for safety-critical use. Certification of the parts used is currently the obligation of the user, for which Ferrous Systems provides support. This limitation is expected to go away in future releases.
Evaluation of applicable requirements to determine Ferrocene compiler qualification levels and activities to be performed.
Evaluation of all hazardous events that can happen on the compiler and setting counter-measures in order to mitigate these hazards.
Phases and activities that describe the qualification of the Ferrocene compiler with the TCL 3/ASIL D level in accordance with ISO-26262 standard and the T3 TQL level in accordance with the IEC-61508 standard.
How Ferrocene is qualified, including which tests can be used to prove functionality and validation goals.
A matrix that ties the specifics of the Ferrocene Language Specification to the test suite. This was written to ensure that all documented requirements are covered.
The reference list of documents used for the qualification dossier
Engineering level procedures for installing the develoment environment, using the existing infrastructure, and working with the Ferrocene toolchain.
Technical report of the qualification, written by the assessors.
The following documentation is maintained by the Rust Project, and has not been validated by Ferrocene. It is provided here for convenience.
Free book to learn the Rust programming language from first principles.
Learn Rust with practical code examples and exercises.
Documentation about all the editions of Rust, and the changes included in each edition.
Documentation about the Rust compiler itself, and the rustc binary.
Documentation about the Cargo build system, and the cargo binary.
Documentation about Rust's documentation tooling, and the rustdoc binary.
Documentation about the Clippy linter.
Incomplete documentation on unsafe Rust.
Incomplete description of the Rust language maintained by the Rust project.
List of error codes the compiler can emit, with additional details on how to fix them.