Base Libraries

This repository is the Eclipse S-CORE implementation of the Base Libraries feature. It provides foundational libraries for use across the S-CORE platform, offering common functionality that ensures consistent implementations, reduces code duplication, and promotes interoperability between components.

Libraries are developed following the Eclipse S-CORE Process Description at ISO 26262 integrity levels from QM up to ASIL-B, depending on their intended use cases.

Feature Documentation

The Feature documentation covers the feature-level definition of Base Libraries, including architecture and safety planning artifacts.

• Features

Title	ID	Safety	Security	Status
Baselibs Architecture Inspection Checklist	doc__baselibs_arc_inspection	ASIL_B	YES	valid
Baselibs DFA	doc__baselibs_dfa	ASIL_B	YES	valid
Baselibs Feature Architecture	doc__baselibs_feature_architecture	ASIL_B	YES	valid
Baselibs FMEA	doc__baselibs_fmea	ASIL_B	YES	valid
Baselibs Safety WPs	doc__baselibs_safety_wp	ASIL_B	YES	draft

Module Documentation

The Module documentation covers the module-level view, including architecture, safety management documents, and the user manual.

• Module
• Verification Report

Title	ID	Safety	Security	Status
Baselibs Codeowners	doc__baselibs_codeowners	ASIL_B	YES	valid
Baselibs Release Note	doc__baselibs_release_note	ASIL_B	YES	valid
Baselibs Safety Analysis Checklist	doc__baselibs_safety_analysis_fdr	ASIL_B	YES	draft
Baselibs Safety Manual	doc__baselibs_safety_manual	ASIL_B	NO	draft
Baselibs Safety Package Formal Review	doc__baselibs_safety_package_fdr	ASIL_B	NO	draft
Baselibs Safety Plan	doc__baselibs_safety_plan	ASIL_B	NO	valid
Baselibs Safety Plan Formal Review	doc__baselibs_safety_plan_fdr	ASIL_B	NO	draft

Component Documentation

The Components documentation provides detailed documentation for each individual library component, including requirements, architecture, and design decisions:

• Components
• Overview

Title	ID	Safety	Security	Status
Bit Manipulation Library	doc__bitmanipulation	ASIL_B	YES	draft
Bit Manipulation Requirements	doc__bitmanipulation_requirements	ASIL_B	YES	valid
bitmanipulation Architecture	doc__bitmanipulation_architecture	ASIL_B	YES	valid
Bitmanipulation Architecture Inspection Checklist	doc__bitmanipulation_arc_inspection	ASIL_B	YES	valid
bitmanipulation DFA	doc__bitmanipulation_dfa	ASIL_B	YES	valid
bitmanipulation FMEA	doc__bitmanipulation_fmea	ASIL_B	NO	valid
Bitmanipulation Implementation Inspection Checklist	doc__bitmanipulation_impl_inspection	ASIL_B	YES	draft
Bitmanipulation Requirements Inspection Checklist	doc__bitmanipulation_req_inspection	ASIL_B	YES	valid
Concurrency Architecture	doc__concurrency_architecture	ASIL_B	YES	valid
Concurrency Architecture Inspection Checklist	doc__concurrency_arc_inspection	ASIL_B	YES	valid
concurrency DFA	doc__concurrency_dfa	ASIL_B	NO	draft
concurrency FMEA	doc__concurrency_fmea	ASIL_B	NO	draft
Concurrency Implementation Inspection Checklist	doc__concurrency_impl_inspection	ASIL_B	YES	draft
Concurrency Library	doc__concurrency	ASIL_B	YES	draft
Concurrency Requirements	doc__concurrency_requirements	ASIL_B	YES	draft
Concurrency Requirements Inspection Checklist	doc__concurrency_req_inspection	ASIL_B	YES	draft
Container Architecture	doc__containers_architecture	ASIL_B	YES	valid
Containers Architecture Inspection Checklist	doc__containers_arc_inspection	ASIL_B	YES	valid
containers DFA	doc__containers_dfa	ASIL_B	NO	draft
containers FMEA	doc__containers_fmea	ASIL_B	NO	draft
Containers Implementation Inspection Checklist	doc__containers_impl_inspection	ASIL_B	YES	draft
Containers Library	doc__containers	ASIL_B	YES	draft
Containers Library Requirements	doc__containers_lib_requirements	ASIL_B	YES	draft
Containers Requirements Inspection Checklist	doc__containers_req_inspection	ASIL_B	YES	draft
Cross-Language Shared-Layout Data Types	doc__shared_layout	ASIL_B	YES	valid
Cross-Language Shared-Layout Data Types Architecture	doc__shared_layout_architecture	ASIL_B	YES	valid
Cross-Language Shared-Layout Data Types Requirements	doc__shared_layout_requirements	ASIL_B	YES	valid
Filesystem Architecture	doc__filesystem_architecture	ASIL_B	YES	valid
Filesystem Architecture Inspection Checklist	doc__filesystem_arc_inspection	ASIL_B	YES	valid
filesystem DFA	doc__filesystem_dfa	ASIL_B	NO	draft
filesystem FMEA	doc__filesystem_fmea	ASIL_B	NO	draft
Filesystem Implementation Inspection Checklist	doc__filesystem_impl_inspection	ASIL_B	YES	draft
Filesystem Library	doc__filesystem	ASIL_B	YES	draft
Filesystem Library Requirements	doc__filesystem_lib_requirements	ASIL_B	YES	draft
Filesystem Requirements Inspection Checklist	doc__filesystem_req_inspection	ASIL_B	YES	draft
FlatBuffers Requirements	doc__flatbuffers_requirements	ASIL_B	YES	valid
FlatBuffers-Library	doc__flatbuffers	ASIL_B	YES	valid
FutureCPP Library	doc__futurecpp	ASIL_B	YES	draft
Hash Library	doc__hash	ASIL_B	NO	draft
Hash Requirements	doc__hash_requirements	ASIL_B	NO	draft
JSON Architecture	doc__json_architecture	ASIL_B	YES	draft
Json Architecture Inspection Checklist	doc__json_arc_inspection	ASIL_B	YES	draft
JSON DFA	doc__json_dfa	ASIL_B	NO	draft
JSON FMEA	doc__json_fmea	ASIL_B	NO	draft
Json Implementation Inspection Checklist	doc__json_impl_inspection	ASIL_B	YES	draft
JSON Requirements	doc__json_requirements	ASIL_B	YES	draft
JSON Requirements Inspection Checklist	doc__json_req_inspection	ASIL_B	YES	draft
JSON Wrapper Requirements	doc__json_wrapper_requirements	ASIL_B	YES	valid
JSON-Library	doc__json	ASIL_B	YES	valid
Log Assumptions of Use	doc__log_assumptions_of_use	ASIL_B	NO	valid
Log Detailed Design	doc__log_detailed_design	ASIL_B	NO	draft
Log Frontend Architecture	doc__log_architecture	ASIL_B	NO	draft
Log Frontend Architecture Inspection Checklist	doc__log_arc_inspection	ASIL_B	YES	draft
Log Requirements	doc__log_requirements	ASIL_B	NO	valid
log_frontend DFA	doc__log_dfa	ASIL_B	NO	draft
log_frontend FMEA	doc__log_fmea	ASIL_B	NO	draft
log_frontend Implementation Inspection Checklist	doc__log_impl_inspection	ASIL_B	YES	draft
log_frontend Requirements Inspection Checklist	doc__log_req_inspection	ASIL_B	YES	draft
Memory Library	doc__memory	ASIL_B	YES	draft
Memory Library Requirements	doc__memory_lib_requirements	ASIL_B	YES	draft
Memory Shared Architecture	doc__memory_shared_architecture	ASIL_B	YES	valid
OS Architecture	doc__os_architecture	ASIL_B	YES	valid
OS Architecture Inspection Checklist	doc__os_arc_inspection	ASIL_B	YES	valid
os DFA	doc__os_dfa	ASIL_B	NO	draft
os FMEA	doc__os_fmea	ASIL_B	NO	draft
OS Implementation Inspection Checklist	doc__os_impl_inspection	ASIL_B	YES	draft
OS Library	doc__os	ASIL_B	YES	draft
OS Library Requirements	doc__os_lib_requirements	ASIL_B	YES	draft
OS Requirements Inspection Checklist	doc__os_req_inspection	ASIL_B	YES	draft
Result Architecture	doc__result_architecture	ASIL_B	YES	valid
result DFA	doc__result_dfa	ASIL_B	NO	valid
result FMEA	doc__result_fmea	ASIL_B	NO	valid
Result Lib Implementation Inspection Checklist	doc__result_lib_impl_inspection	ASIL_B	YES	draft
Result Library	doc__result	ASIL_B	YES	draft
Result Library Architecture Inspection Checklist	doc__result_lib_arc_inspection	ASIL_B	YES	valid
Result Library Requirements	doc__result_lib_requirements	ASIL_B	YES	valid
Result Library Requirements Inspection Checklist	doc__result_library_req_inspection	ASIL_B	YES	valid
Rust Containers Architecture	doc__containers_rust_architecture	ASIL_B	NO	draft
Rust Containers Library	doc__containers_rust	ASIL_B	NO	draft
Rust Containers Library Requirements	doc__containers_rust_lib_requirements	ASIL_B	NO	draft
Safecpp Architecture	doc__safecpp_architecture	ASIL_B	YES	valid
Safecpp Architecture Inspection Checklist	doc__safecpp_arc_inspection	ASIL_B	YES	valid
SafeCpp DFA	doc__safecpp_dfa	ASIL_B	NO	draft
SafeCpp FMEA	doc__safecpp_fmea	ASIL_B	NO	draft
Safecpp Implementation Inspection Checklist	doc__safecpp_impl_inspection	ASIL_B	YES	draft
Safecpp Library	doc__safecpp	ASIL_B	YES	draft
Safecpp Requirements	doc__safecpp_requirements	ASIL_B	NO	draft
Safecpp Requirements Inspection Checklist	doc__safecpp_req_inspection	ASIL_B	YES	draft
Scope Exit	doc__scope_exit	ASIL_B	YES	draft
Scope Exit Architecture	doc__scope_exit_architecture	ASIL_B	YES	draft
Scope Exit Requirements	doc__scope_exit_requirements	ASIL_B	YES	draft
Static Reflection Architecture Inspection Checklist	doc__static_reflection_arc_inspection	ASIL_B	YES	draft
Static Reflection DFA	doc__static_reflection_dfa	ASIL_B	NO	draft
Static Reflection FMEA	doc__static_reflection_fmea	ASIL_B	NO	draft
Static Reflection Implementation Inspection Checklist	doc__static_reflection_impl_inspection	ASIL_B	YES	draft
Static Reflection Requirements Inspection Checklist	doc__static_reflection_req_inspection	ASIL_B	YES	draft
Static Reflection With Serialization Library	doc__static_reflection_with_serialization	ASIL_B	YES	draft
Static Reflection with Serialization Library Requirements	doc__static_reflect_serial_lib_req	ASIL_B	YES	draft
static_reflection_with_serialization Architecture	doc__static_refl_with_serial_arch	ASIL_B	YES	valid
String Manipulation	doc__string_manipulation	ASIL_B	YES	draft
String Manipulation Architecture	doc__string_manipulation_architecture	ASIL_B	YES	draft
String Manipulation Requirements	doc__string_manipulation_requirements	ASIL_B	YES	draft
Utils Architecture	doc__utils_architecture	ASIL_B	YES	valid
Utils Architecture Inspection Checklist	doc__utils_arc_inspection	ASIL_B	YES	valid
utils DFA	doc__utils_dfa	ASIL_B	NO	draft
utils FMEA	doc__utils_fmea	ASIL_B	NO	draft
Utils Implementation Inspection Checklist	doc__utils_impl_inspection	ASIL_B	YES	draft
Utils Library	doc__utils	ASIL_B	YES	draft
Utils Library Requirements	doc__utils_lib_requirements	ASIL_B	YES	valid
Utils Requirements Inspection Checklist	doc__utils_req_inspection	ASIL_B	YES	valid
vajson	doc__vajson	ASIL_B	NO	valid
VaJson Architecture	doc__vajson_architecture	ASIL_B	YES	draft
VaJson Detailed Design	doc__vajson_detailed_design	ASIL_B	YES	draft
VaJson Requirements	doc__vajson_requirements	ASIL_B	YES	draft

Quick Start - Building and Testing

For build instructions, usage examples, and configuration options, refer to the README in the eclipse-score/baselibs repository.