Ferrocene Documentation › Core Library Certification Digitally signed Unsigned draft

This is a preview from our development branch. It might be incomplete or inaccurate. Documentation access for customers »

Core Library Certification

Toggle navigation

Safety Plan

1. Purpose of this document
2. Certification scope
3. Project Setup
4. Deliverables and Documents
5. Requirements Management
6. Testing Plan
7. Uncertified and unused code
8. Tool safety assessments
9. Failure analysis
10. Programming language

Safety Report

11. Code coverage report

Norm Mapping

12. Norm mapping overview
13. IEC 61508-1
14. IEC 61508-3
15. IEC 61508-3 Annex A
16. IEC 61508-3 Annex B

Reference

A. Terms, Definitions, and Abbreviations

11. Code coverage report¶

Code coverage report of the certified core library, showing the statement coverage.

Copyright © The Ferrocene Developers.

Document ID: CLC-dcafeb74eafc7813fd1ff406177d9425ce735ab4

Ferrocene is a registered trademark of Critical Section GmbH.