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.
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 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.
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.
Technical report of the qualification, written by the assessors.
Phases and activities that describe the certification of a subset of the core library with the ASIL B level in accordance with ISO 26262 standard and the class SIL 2 in accordance with the IEC 61508 standard.
The API documentation of certified subset of the core library.
Technical report of the certification, written by the assessors.
These documents contain sections relevant to both the Ferrocene Qualification Material and the Core library Certification Material.
Evaluation of applicable requirements to determine Ferrocene qualification levels, core library certification levels, and activities to be performed.
Engineering level procedures for installing the develoment environment, using the existing infrastructure, and working with the Ferrocene toolchain.
The reference list of documents used for the qualification and certification dossier.
How Ferrocene is qualified, and how the core library is certified, including which tests can be used to prove functionality and validation goals.
Only a subset of libraries distributed with Ferrocene are pre-certified
for safety-critical use. See Core library Certification Material.
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.
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.