S-CORE Crates Documentation

This repository is the Eclipse S-CORE centralized collection of Rust external crates. It provides a single source for all external crates used in the S-CORE Rust codebase, which can be consumed by other modules by adding this module as a dependency. The repository also contains safety-related artifacts for external crates, enabling other modules to meet the safety requirements of the S-CORE platform.

Documentation Structure

Safety and Verification

The Rust Crate Safety Guideline provides safety guidelines for safety qualifying Rust crates.

The Module Safety Plan covers safety management planning for the module.

The Module Verification Report provides verification results and analysis guide.

Crates

pastey

The Component Classification provides the classification result of the pastey component.

The Architecture covers the architectural design and structure of the pastey crate.