Requirements

Baselibs_rust Requirements		status: draft security: NO safety: ASIL_B
realizes: wp__requirements_feat
doc__baselibs_rust_requirements		Generic Document

Core Software Utilities		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__containers_rust__det_behavior
The Rust base libraries shall include core software utilities and common infrastructure components needed by multiple platform modules.
feat_req__baselibs_rust__core_utilities		Feature Requirement

Safety Relevance		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: stkh_req__functional_req__base_libraries, stkh_req__dependability__automotive_safety satisfied by: comp_req__containers_rust__type_safety, comp_req__containers_rust__det_behavior
The Rust base libraries shall implement functionality necessary to support safety-relevant platform components up to ASIL-B for selected functionalities.
feat_req__baselibs_rust__safety		Feature Requirement

Consistent APIs		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__functional_req__base_libraries, stkh_req__dev_experience__prog_languages, stkh_req__overall_goals__reuse_of_app_soft satisfied by: comp_req__containers_rust__type_safety
The Rust base libraries shall provide consistent APIs while respecting language-specific idioms.
feat_req__baselibs_rust__consistent_apis		Feature Requirement

Maintainable Design		status: valid security: NO safety: QM
reqtype: Non-Functional satisfies: stkh_req__functional_req__base_libraries, stkh_req__overall_goals__reuse_of_app_soft
The Rust base libraries shall be designed for maintainability and code reuse.
feat_req__baselibs_rust__maintainable_design		Feature Requirement

Security Robustness		status: valid security: YES safety: QM
reqtype: Non-Functional satisfies: stkh_req__functional_req__base_libraries
The Rust base libraries shall adhere to secure coding standards to prevent vulnerabilities across platform components.
feat_req__baselibs_rust__security		Feature Requirement

Panic-Free Development Support		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__containers_rust__fixed_no_realloc
The Rust base libraries shall provide error handling mechanisms that enable development without relying on Rust panics. Where an idiomatic interface requires panics, an additional non-panicking option shall be provided as well.
feat_req__baselibs_rust__result_library		Feature Requirement

Rust Container Library		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__containers_rust__fixed_vector, comp_req__containers_rust__inline_vector, comp_req__containers_rust__fixed_string, comp_req__containers_rust__inline_string, comp_req__containers_rust__fixed_queue, comp_req__containers_rust__inline_queue, comp_req__containers_rust__fixed_hashmap, comp_req__containers_rust__inline_hashmap, comp_req__containers_rust__fixed_hashset, comp_req__containers_rust__inline_hashset, comp_req__containers_rust__fixed_btree, comp_req__containers_rust__inline_btree
The Rust base libraries shall provide a library of container types that serve the specific needs of SW-platform components.
feat_req__baselibs_rust__containers_rust_lib		Feature Requirement

ABI-Compatible Containers		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__containers_rust__inline_vector, comp_req__containers_rust__inline_string, comp_req__containers_rust__inline_queue, comp_req__containers_rust__inline_hashmap, comp_req__containers_rust__inline_hashset, comp_req__containers_rust__inline_btree, comp_req__containers_rust__inline_no_heap
The Rust base libraries shall provide a library of containers that can serve as the basis for ABI-compatible container data structures.
feat_req__baselibs_rust__abi_containers		Feature Requirement