An easy-to-read, how-to manual for operating Ferrocene in a qualified environment.
The expected behavior of the Rust language.
Usage and constraints information concerning the use of Ferrocene according to the functional safety standards.
List of changes included in this release of Ferrocene.
Only a subset of libraries distributed with Ferrocene are pre-certified
for safety-critical use. See the "Certification Material" section.
Certification of the additional parts used is currently the obligation
of the user, for which Ferrous Systems provides support. The amount of
pre-certified APIs is expected to increase in future releases.
Evaluation of applicable requirements to determine Ferrocene qualification levels and activities to be performed.
Evaluation of all hazardous events that can happen and setting counter-measures in order to mitigate these hazards.
Phases and activities that describe the qualification of the Ferrocene toolchain with the TCL 3/ASIL D level in accordance with ISO 26262 standard, the class T3 in accordance with the IEC 61508 standard, and in accordance with the IEC 62304 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.
These files contain licensing and copyright information for all files distributed with Ferrocene.
Open source licenses for the Ferrocene toolchain, for the tools used to develop it, and for the accompanying documentation.
Open source licenses used by the runtime libraries (core, alloc, std) the compiler includes in executables it creates. All binaries produced by Ferrocene must comply with these licenses.