Skip to content

rust: add libcore to certification doc #2249

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
pawelrutkaq wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

rust: add libcore to certification doc #2249

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
117 changes: 117 additions & 0 deletions docs/contribute/development/rust/certification/toolchain/libcore.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,3 +14,120 @@
Certified libcore
#################

.. tool_req:: Rust libcore
Copy link
Contributor

@masc2023 masc2023 Nov 28, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for starting here. Can you add also something here, https://eclipse-score.github.io/score/main/score_tools/index.html, which is more or less the evaluation result to motivate, that we need the qualification here for the different elements

Copy link
Contributor Author

@pawelrutkaq pawelrutkaq Nov 28, 2025 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would do it in seperate PR once I obtain more info from Feroceen about the compiler itself. The libcore is just the library part. I will also propose to tak eover Feroceen aproach for TCL and all tooling assesment for other tools we need in rust scope

Copy link
Contributor

@masc2023 masc2023 Nov 28, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fine for me, thank you

:id: tool_req__rust_libcore
:safety: ASIL_B
:security: NO
:status: valid

Rust `libcore` shall be certified at `ASIL-B` or higher for below list of modules:

.. list-table::
:header-rows: 1
:widths: 15 10 60

* - Module
- Certification Available (Ferrocene)
- Comment
* - alloc
- WIP
- Memory allocation APIs
* - any
- ✅
- Utilities for dynamic typing or type reflection.
* - array
- ✅
- Utilities for the array primitive type.
* - cell
- ✅
- Shareable mutable containers.
* - clone
- ✅
- The Clone trait for types that cannot be ‘implicitly copied’.
* - cmp
- ✅
- Utilities for comparing and ordering values.
* - convert
- ✅
- Traits for conversions between types.
* - default
- ✅
- The Default trait for types with a default value.
* - f32
- ✅
- Constants for the f32 single-precision floating point type.
* - f64
- ✅
- Constants for the f64 double-precision floating point type.
* - fmt
- WIP
- Utilities for formatting and printing strings.
* - hint
- ✅
- Hints to the compiler that affect how code is emitted or optimized.
* - iter
- ✅
- Composable external iteration.
* - marker
- ✅
- Primitive marker traits and types.
* - mem
- ✅
- Basic functions for managing memory.
* - num
- ✅
- Numeric traits and functions.
* - ops
- ✅
- Overloadable operators.
* - option
- ✅
- Optional values.
* - panic
- ✅
- Panic support in the standard library.
* - prelude
- ✅
- The core prelude.
* - ptr
- ✅
- Raw pointer memory management.
* - result
- ✅
- Error handling with the Result type.
* - slice
- ✅
- Slice management and manipulation.
* - str
- ✅
- String manipulation.
* - sync
- ✅
- Synchronization primitives.
* - time
- ❓
- Temporal quantification. Tracked via https://github.com/eclipse-score/score/issues/2248
* - task
- ❌
- Types and Traits for working with asynchronous tasks. Tracked via https://github.com/eclipse-score/score/issues/2248
* - pin
- ❌
- Types that pin data to a location in memory. Tracked via https://github.com/eclipse-score/score/issues/2248
* - future
- ❌
- Asynchronous basic functionality. Tracked via https://github.com/eclipse-score/score/issues/2248
* - ffi
- ❌
- Platform-specific types, as defined by C. Tracked via https://github.com/eclipse-score/score/issues/2248


.. tool_req:: Automatic checking of libcore usage
:id: tool_req__rust_libcore_automatic_check
:security: NO
:safety: ASIL_B
:status: valid

The compiler or SCA tool shall automatically check that only certified modules from `libcore` are used in safety-critical components.

.. note:: This requirement is satisfied via the Ferrocene toolchain integration in the build system. TO BE CONFIRMED!