Requirements

Containers Library Requirements		status: draft security: YES safety: ASIL_B
tags: requirements, containers_library, containers realizes: wp__requirements_comp
doc__containers_lib_requirements		Generic Document

Functional Requirements

Dynamic Array		status: valid security: NO safety: ASIL_B
tags: baselibs, containers reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__containers_library, feat_req__baselibs__safety
The Containers library shall provide a fixed-size array container with construction-time size specification.
comp_req__containers__dynamic_array		Component Requirement

Intrusive List		status: valid security: NO safety: ASIL_B
tags: baselibs, containers reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__containers_library, feat_req__baselibs__safety
The Containers library shall provide an intrusive doubly-linked list based on the C++ standardization proposal P0406R1.
comp_req__containers__intrusive_list		Component Requirement

Type Safety		status: valid security: NO safety: ASIL_B
tags: baselibs, containers reqtype: Functional satisfies: feat_req__baselibs__consistent_apis, feat_req__baselibs__safety
The Containers library shall enforce compile-time type safety for all container operations.
comp_req__containers__type_safety		Component Requirement

Non-Relocatable Vector		status: valid security: NO safety: ASIL_B
tags: baselibs, containers reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__containers_library, feat_req__baselibs__safety
The Containers library shall provide a non-relocatable vector container that maintains stable element addresses.
comp_req__containers__non_relocatable_vector		Component Requirement

Non-Functional Requirements

Deterministic Behavior		status: valid security: NO safety: ASIL_B
tags: baselibs, containers reqtype: Non-Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__safety
The Containers library shall provide deterministic behavior with no dynamic memory allocation.
comp_req__containers__deterministic_behavior		Component Requirement

Assumptions of Use (AoU)

Check Capacity		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, containers reqtype: Functional
The user shall verify sufficient capacity or handle allocation failures before insertion operations to prevent exceeding container limits and undefined behavior.
aou_req__containers__capacity_management		Assumption of Use Requirement

Iterator Validity		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, containers reqtype: Functional
The user shall ensure that iterators are not used after operations that invalidate them and refresh iterators after modifying operations.
aou_req__containers__iterator_validity		Assumption of Use Requirement

Element Lifetime and Ownership		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, containers reqtype: Functional
The user shall ensure that elements stored in containers remain valid throughout their lifetime in the container, and for intrusive containers, that element objects are not destroyed or moved while contained within the container.
aou_req__containers__element_lifetime		Assumption of Use Requirement

Thread Safety		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, containers reqtype: Non-Functional
The user shall implement external synchronization mechanisms when accessing or modifying container objects from multiple threads concurrently, as the library provides no internal thread safety guarantees.
aou_req__containers__thread_safety		Assumption of Use Requirement

Index Bounds Checking		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, containers reqtype: Functional
The user shall ensure that all index-based access operations use valid indices within the container’s current size range to prevent out-of-bounds access and undefined behavior.
aou_req__containers__bounds_checking		Assumption of Use Requirement

Container State Verification		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, containers reqtype: Functional
The user shall verify container state before performing operations that depend on specific states, such as checking if a container is non-empty before accessing elements.
aou_req__containers__state_verification		Assumption of Use Requirement

Memory Resource Management		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, containers reqtype: Non-Functional
The user shall provide sufficient memory resources for all container operations.
aou_req__containers__memory_management		Assumption of Use Requirement

Element Type Requirements		status: valid security: NO safety: ASIL_B
tags: inspected, baselibs, containers reqtype: Functional
The user shall ensure that element types are copy constructible, move constructible and destructible, and additionally for intrusive containers that they provide the required intrusive node members.
aou_req__containers__ele_type_requirements		Assumption of Use Requirement