Requirements

Memory Library Requirements		status: draft security: YES safety: ASIL_B
tags: requirements, memory_library realizes: wp__requirements_comp
doc__memory_lib_requirements		Generic Document

Functional Requirements

Shared Memory Management		status: valid security: YES safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__memory_library, feat_req__baselibs__safety
The Memory library shall provide capabilities for creating, opening and managing shared memory.
comp_req__memory__shared_memory		Component Requirement

Polymorphic OffsetPtr Allocator		status: valid security: YES safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__memory_library, feat_req__baselibs__safety
The Memory library shall provide polymorphic memory resource allocators using offset pointers instead of raw pointers to enable allocation in shared memory regions accessible across multiple processes. The standard library’s std::pmr::polymorphic_allocator is not applicable as it uses raw pointers that are invalid when shared memory is mapped at different virtual addresses in different processes.
comp_req__memory__offset_ptr		Component Requirement

Shared Memory Containers		status: valid security: YES safety: ASIL_B
tags: containers reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__memory_library, feat_req__baselibs__safety
The Memory library shall provide type aliases for STL containers (vector, map, string) that use offset pointers for shared memory storage.
comp_req__memory__shared_containers		Component Requirement

Inter-Process Synchronization		status: valid security: YES safety: ASIL_B
tags: ipc reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__memory_library, feat_req__baselibs__safety
The Memory library shall provide file-based locking mechanisms for inter-process synchronization and mutual exclusion.
comp_req__memory__ipc_sync		Component Requirement

Memory Region Bounds Checking		status: valid security: YES safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__safety, feat_req__baselibs__memory_library
The Memory library shall track and validate memory region boundaries to prevent out-of-bounds access in shared memory.
comp_req__memory__bounds_check		Component Requirement

Endianness Conversion		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__memory_library
The Memory library shall provide byte order conversion between host and network byte order (big/little endian).
comp_req__memory__endianness		Component Requirement

Sealed Shared Memory		status: valid security: YES safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__safety, feat_req__baselibs__memory_library, feat_req__baselibs__security
The Memory library shall provide immutable shared memory segments that become read-only after initialization.
comp_req__memory__sealed_shm		Component Requirement

Type-Safe Shared Memory		status: valid security: YES safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__consistent_apis, feat_req__baselibs__safety, feat_req__baselibs__memory_library
The Memory library shall provide type-safe wrappers for typed shared memory objects with compile-time type checking.
comp_req__memory__typed_shm		Component Requirement

Memory Resource Registry		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__memory_library
The Memory library shall provide a global registry for memory resource lookup and management.
comp_req__memory__resource_registry		Component Requirement

String Utilities		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__memory_library
The Memory library shall provide zero-allocation string utilities including splitting, comparison, and compile-time literals.
comp_req__memory__string_utils		Component Requirement

Atomic Operations in Shared Memory		status: valid security: YES safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__memory_library, feat_req__baselibs__safety
The Memory library shall provide atomic operations on shared memory data for lock-free inter-process communication.
comp_req__memory__atomic_ops		Component Requirement

Non-Functional Requirements

Deterministic Memory Allocation		status: valid security: NO safety: ASIL_B
reqtype: Non-Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__safety
The shared memory allocation shall provide deterministic behavior with predictable execution time suitable for real-time automotive systems.
comp_req__memory__deterministic_alloc		Component Requirement

Process Address Space Independence		status: valid security: YES safety: ASIL_B
reqtype: Non-Functional satisfies: feat_req__baselibs__safety, feat_req__baselibs__memory_library
The Memory library shall ensure shared memory data structures remain valid regardless of process virtual address space mappings.
comp_req__memory__address_independence		Component Requirement