Requirements

Baselibs Requirements		status: draft security: YES safety: ASIL_B
tags: baselibs realizes: wp__requirements_feat
doc__baselibs_requirements		Generic Document

Core Software Utilities		status: valid security: NO safety: QM
tags: baselibs reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__memory__shared_memory, comp_req__memory__offset_ptr, comp_req__memory__shared_containers, comp_req__memory__ipc_sync, comp_req__memory__endianness, comp_req__memory__resource_registry, comp_req__memory__string_utils, comp_req__memory__deterministic_alloc, comp_req__result__error_handling, comp_req__result__domain_error_information, comp_req__result__deterministic_behavior, comp_req__result__exception_free_operation, comp_req__static_reflect_serial__reflect, comp_req__static_reflect_serial__visitor, comp_req__static_reflect_serial__container, comp_req__static_reflect_serial__nested, comp_req__static_reflect_serial__header_only, comp_req__static_reflect_serial__compile_eff, comp_req__utils__base64, comp_req__utils__scoped_operation, comp_req__utils__deterministic_behavior, comp_req__bitmanipulation__bit_operations, comp_req__bitmanipulation__byte_operations, comp_req__bitmanipulation__bitmask_operators, comp_req__concurrency__task_interface, comp_req__concurrency__task_cancellation, comp_req__concurrency__simple_task, comp_req__containers__dynamic_array, comp_req__containers__intrusive_list, comp_req__containers__non_relocatable_vector, comp_req__containers__deterministic_behavior fulfilled by: feat_arc_sta__baselibs__static_view_arch
The base libraries shall include core software utilities and common infrastructure components needed by multiple platform modules.
feat_req__baselibs__core_utilities		Feature Requirement

Safety Relevance		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: stkh_req__functional_req__base_libraries, stkh_req__dependability__automotive_safety satisfied by: comp_req__json__asil, comp_req__memory__shared_memory, comp_req__memory__offset_ptr, comp_req__memory__shared_containers, comp_req__memory__ipc_sync, comp_req__memory__bounds_check, comp_req__memory__sealed_shm, comp_req__memory__typed_memory, comp_req__memory__atomic_ops, comp_req__memory__deterministic_alloc, comp_req__memory__address_independence, comp_req__result__error_handling, comp_req__result__domain_error_information, comp_req__result__type_safety, comp_req__result__std_integration, comp_req__result__deterministic_behavior, comp_req__result__exception_free_operation, comp_req__static_reflect_serial__reflect, comp_req__static_reflect_serial__visitor, comp_req__static_reflect_serial__container, comp_req__static_reflect_serial__nested, comp_req__static_reflect_serial__header_only, comp_req__static_reflect_serial__compile_eff, comp_req__utils__base64, comp_req__utils__scoped_operation, comp_req__utils__deterministic_behavior, comp_req__bitmanipulation__bounds_safety, comp_req__concurrency__task_interface, comp_req__concurrency__task_cancellation, comp_req__concurrency__simple_task, comp_req__concurrency__task_result, comp_req__concurrency__periodic_task, comp_req__concurrency__delayed_task, comp_req__concurrency__thread_pool, comp_req__concurrency__condition_variable, comp_req__concurrency__interruptible_wait, comp_req__concurrency__notification, comp_req__concurrency__synchronized_queue, comp_req__concurrency__long_running_threads, comp_req__containers__dynamic_array, comp_req__containers__intrusive_list, comp_req__containers__type_safety, comp_req__containers__non_relocatable_vector, comp_req__containers__deterministic_behavior
The base libraries shall implement functionality necessary to support safety-relevant platform components up to ASIL-B for selected functionalities.
feat_req__baselibs__safety		Feature Requirement

Multi-Language APIs		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: stkh_req__functional_req__base_libraries, stkh_req__dev_experience__prog_languages, stkh_req__dependability__automotive_safety
The base libraries shall provide APIs for C++, Rust, or both, depending on the requirements of consuming platform components.
feat_req__baselibs__multi_language_apis		Feature Requirement

Consistent APIs		status: valid security: NO safety: QM
tags: baselibs 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__json__lang_idioms, comp_req__result__type_safety, comp_req__result__std_integration, comp_req__static_reflect_serial__visitor, comp_req__concurrency__executor_interface, comp_req__containers__type_safety, comp_req__filesystem__api_abstraction, comp_req__filesystem__path_utilities
The base libraries shall provide consistent APIs while respecting language-specific idioms.
feat_req__baselibs__consistent_apis		Feature Requirement

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

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

JSON-Library		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__json__deserialization, comp_req__json__serialization, comp_req__json__user_format, comp_req__json__lang_idioms, comp_req__json__lang_infra, comp_req__json__type_compatibility, comp_req__json__full_testability, comp_req__json__asil
The base libraries shall provide a JSON-Library with parsing functionality.
feat_req__baselibs__json_library		Feature Requirement

Exception-Free Development Support		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__result__error_handling, comp_req__result__set_result, comp_req__result__domain_error_information
The base libraries shall provide error handling mechanisms that enable development without relying on C++ exceptions.
feat_req__baselibs__result_library		Feature Requirement

Container Library		status: valid security: NO safety: ASIL_B
tags: baselibs, containers reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__containers__dynamic_array, comp_req__containers__intrusive_list, comp_req__containers__non_relocatable_vector
The base libraries shall provide a container library offering additional container types not present in the C++ standard library.
feat_req__baselibs__containers_library		Feature Requirement

Bit Manipulation Library		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__bitmanipulation__bit_operations, comp_req__bitmanipulation__byte_operations, comp_req__bitmanipulation__bitmask_operators, comp_req__bitmanipulation__bounds_safety, comp_req__bitmanipulation__header_only
The base libraries shall provide bit manipulation utilities for low-level operations on integral types.
feat_req__baselibs__bitmanipulation		Feature Requirement

Filesystem-Library		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: stkh_req__functional_req__base_libraries, stkh_req__dependability__automotive_safety satisfied by: comp_req__filesystem__api_abstraction, comp_req__filesystem__path_utilities, comp_req__filesystem__directory_iterators, comp_req__filesystem__file_io, comp_req__filesystem__full_testability, comp_req__filesystem__file_utils, comp_req__filesystem__mock_fake
The base libraries shall provide a filesystem library with file and directory manipulation functionality.
feat_req__baselibs__filesystem_library		Feature Requirement

Memory Library		status: valid security: YES safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__memory__shared_memory, comp_req__memory__offset_ptr, comp_req__memory__shared_containers, comp_req__memory__ipc_sync, comp_req__memory__bounds_check, comp_req__memory__endianness, comp_req__memory__sealed_shm, comp_req__memory__typed_memory, comp_req__memory__resource_registry, comp_req__memory__string_utils, comp_req__memory__atomic_ops, comp_req__memory__address_independence
The baselibs shall provide a memory management library that includes utilities for shared memory operations, polymorphic memory resources, position-independent pointers, endianness conversion, and inter-process synchronization mechanisms.
feat_req__baselibs__memory_library		Feature Requirement

Concurrency Library		status: valid security: NO safety: ASIL_B
tags: baselibs, concurrency reqtype: Functional satisfies: stkh_req__functional_req__base_libraries satisfied by: comp_req__concurrency__task_interface, comp_req__concurrency__task_cancellation, comp_req__concurrency__simple_task, comp_req__concurrency__task_result, comp_req__concurrency__periodic_task, comp_req__concurrency__delayed_task, comp_req__concurrency__thread_pool, comp_req__concurrency__condition_variable, comp_req__concurrency__interruptible_wait, comp_req__concurrency__notification, comp_req__concurrency__synchronized_queue, comp_req__concurrency__long_running_threads, comp_req__concurrency__memory_usage_control, comp_req__concurrency__memory_reservation, comp_req__concurrency__thread_count_reporting, comp_req__concurrency__operation_timeout, comp_req__concurrency__error_handling
The base libraries shall provide a library for parallel execution of C++ callables with thread pool management.
feat_req__baselibs__concurrency_library		Feature Requirement