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

Evaluation Report

General

  • 1. HazOp Guide Words

rustc

  • 2. HazOp Selected Nodes
  • 3. Use Cases
  • 4. Tool Analysis
  • 5. Qualification Method
  • 6. Potential Errors and Tests Traceability

Appendices

  • A. Terms, Definitions, and Abbreviations

Ferrocene Evaluation Report¶

This document is the Evaluation Report (ER) of the qualification material developed for automotive [ISO-26262:2018] (ASIL D/TCL 3), industrial [IEC-61508:2010] (class T3) and medical software [IEC 62304:2006 + AMD 1:2015] standards certification.

It describes the evaluation of Ferrocene in accordance to the standards above.

General

  • 1. HazOp Guide Words

rustc

  • 2. HazOp Selected Nodes
  • 3. Use Cases
    • 3.1. Installing Ferrocene
    • 3.2. Building a Library
    • 3.3. Building an Executable
    • 3.4. Building Mixed-Language Programs
  • 4. Tool Analysis
    • 4.1. Potential Errors
      • 4.1.1. Installation
      • 4.1.2. Rust Driver
      • 4.1.3. Rust Front-End
      • 4.1.4. LLVM
      • 4.1.5. Linking
    • 4.2. Detection Measures and Usage Restriction
    • 4.3. Potential Errors by Classes Traceability Matrix
    • 4.4. ISO 26262 Tool Classification
    • 4.5. IEC 61508 Tool Classification
    • 4.6. IEC 62304 Tool Classification
  • 5. Qualification Method
    • 5.1. Test Suites
      • 5.1.1. Compiletest Test Suite
      • 5.1.2. Library Test Suite
      • 5.1.3. Compiler Test Suite
      • 5.1.4. Linkchecker Test Suite
      • 5.1.5. Build System Test Suite
      • 5.1.6. Tidy Test Suite
      • 5.1.7. Self-Test Test Suite
    • 5.2. Compiler arguments affecting the compilation outcome
  • 6. Potential Errors and Tests Traceability

Appendices

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

Copyright © The Ferrocene Developers.

Document ID: ER-2ce686757e82882b00bac31a56bd612c8f984af5

Ferrocene is a registered trademark of Critical Section GmbH.