Component Requirements Statistics#

This page gives an overview of the component requirements (comp_req) defined for baselibs: how many are valid, how many are covered by tests, and the current test results. Use the tables below to drill down into individual requirements.

Overview#

../_images/need_pie_f5074.svg ../_images/need_pie_8b5f0.svg

Requirements Without Tests#

Valid requirements that are not yet covered by any test.

REQUIREMENTS WITHOUT TESTS#

ID

Title

Satisfied by

Safety

comp_req__abi_compatible_data_types__abo_api

AbiOption API

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__abo_flg

AbiOption is_some flag

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__abs_fld

AbiString field semantics

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__abs_noa

AbiString API

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__abs_ovf

AbiString overflow check

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__abv_fld

AbiVec field semantics

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__abv_noa

AbiVec API

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__abv_ovf

AbiVec overflow check

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__ari_api

AbiResult API

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__ari_flg

AbiResult is_err flag

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__arr_fix

Fixed-size arrays

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__bool_sz

Restrict boolean size

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__char

Characters

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__compabi

Compiler-agnostic ABI

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__enum_udr

Explicit enum representation

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__flt_sz

Limit floating-point sizes

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__int_fix

Fixed-width integers

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__nop_mt

Disallow pointers and metadata

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__prv_abo

Provide AbiOption<T>

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__prv_abs

Provide AbiString<N>

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__prv_abv

Provide AbiVec<T,N>

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__prv_ari

Provide AbiResult<T,E>

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__abi_compatible_data_types__st_tpl

Struct and tuple ABI layout

comp__baselibs_abi_compatible_data_types

ASIL_B

comp_req__bitmanipulation__bit_operations

Support for Bit Operations

comp__baselibs_bit_manipulation

ASIL_B

comp_req__bitmanipulation__bitmask_operators

Support for Bitmask Operators for Enum Classes

comp__baselibs_bit_manipulation

ASIL_B

comp_req__bitmanipulation__bounds_safety

Bounds and Safety Checks

comp__baselibs_bit_manipulation

ASIL_B

comp_req__bitmanipulation__byte_operations

Support for Byte and Half-Byte Operations

comp__baselibs_bit_manipulation

ASIL_B

comp_req__bitmanipulation__header_only

Header-only API

comp__baselibs_bit_manipulation

ASIL_B

Error logging

ASIL_B

comp_req__concurrency__condition_variable

Interruptible Condition Variable

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__delayed_task

Delayed Task Execution

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__error_handling

Future Error Handling

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__executor_interface

Executor Interface

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__interruptible_wait

Interruptible Wait Utilities

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__long_running_threads

Long-Running Threads Container

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__memory_reservation

Memory Reservation

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__memory_usage_control

Memory Usage Control

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__notification

Notification Mechanism

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__operation_timeout

Operation Timeout Protection

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__periodic_task

Periodic Task Execution

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__simple_task

Simple Task Implementation

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__synchronized_queue

Synchronized Queue

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__task_cancellation

Task Cancellation

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__task_interface

Asynchronous Task Execution

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__task_result

Task Result Management

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__thread_count_reporting

Thread Count Reporting

comp__baselibs_concurrency

ASIL_B

comp_req__concurrency__thread_pool

Thread Pool Implementation

comp__baselibs_concurrency

ASIL_B

comp_req__containers__deterministic_behavior

Deterministic Behavior

comp__baselibs_containers

ASIL_B

comp_req__containers__dynamic_array

Dynamic Array

comp__baselibs_containers

ASIL_B

comp_req__containers__intrusive_list

Intrusive List

comp__baselibs_containers

ASIL_B

comp_req__containers__non_relocatable_vector

Non-Relocatable Vector

comp__baselibs_containers

ASIL_B

comp_req__containers__type_safety

Type Safety

comp__baselibs_containers

ASIL_B

comp_req__containers_rust__det_behavior

Deterministic Behavior

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__fixed_btree

Fixed-Capacity B-Tree

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__fixed_hashmap

Fixed-Capacity Hashmap

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__fixed_hashset

Fixed-Capacity Hashset

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__fixed_no_realloc

No Reallocation

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__fixed_queue

Fixed-Capacity Queue

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__fixed_string

Fixed-Capacity String

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__fixed_vector

Fixed-Capacity Vector

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__inline_btree

Inline-Storage B-Tree

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__inline_hashmap

Inline-Storage Hashmap

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__inline_hashset

Inline-Storage Hashset

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__inline_no_heap

No Heap Allocation

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__inline_queue

Inline-Storage Queue

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__inline_string

Inline-Storage String

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__inline_vector

Inline-Storage Vector

comp__baselibs_containers_rust

ASIL_B

comp_req__containers_rust__type_safety

Type Safety

comp__baselibs_containers_rust

ASIL_B

Activity resource allocation error

ASIL_B

Activity Mapping Configuration

ASIL_B

Activity shutdown error

ASIL_B

Activity startup error

ASIL_B

Activity stepping error

ASIL_B

Activity timeout

ASIL_B

Stepping of Activities

ASIL_B

Mapping of Activities to threads

ASIL_B

Activity

ASIL_B

Initialization of Activities

ASIL_B

Shutdown of activities

ASIL_B

Agent

ASIL_B

Alive supervision

ASIL_B

Application Processes

ASIL_B

Application Lifecycle Phases

ASIL_B

Component Configuration

ASIL_B

Component Configuration from File

ASIL_B

Support of deadline supervision checkpoints

ASIL_B

Support of logical supervision

ASIL_B

Response to termination request

ASIL_B

Scheduler aka Executor

ASIL_B

Secondary connection timeout

ASIL_B

Service Activity

ASIL_B

Startup timeout

ASIL_B

Task Chain

ASIL_B

Trustable computation

ASIL_B

comp_req__filesystem__api_abstraction

Standard Filesystem Abstraction

comp__baselibs_filesystem

ASIL_B

comp_req__filesystem__directory_iterators

Directory Iterators

comp__baselibs_filesystem

ASIL_B

comp_req__filesystem__file_io

File I/O Operations

comp__baselibs_filesystem

ASIL_B

comp_req__filesystem__file_utils

File Utility Functions

comp__baselibs_filesystem

ASIL_B

comp_req__filesystem__full_testability

Fully testable public API

comp__baselibs_filesystem

ASIL_B

comp_req__filesystem__mock_fake

Mock and Fake Implementations

comp__baselibs_filesystem

ASIL_B

comp_req__filesystem__path_utilities

Path Manipulation Utilities

comp__baselibs_filesystem

ASIL_B

comp_req__hash__calculation_interface

Hash Computation from Byte Data

comp__baselibs_hash

ASIL_B

comp_req__hash__crc32_algorithm

CRC-32 Checksum Algorithm

comp__baselibs_hash

ASIL_B

comp_req__hash__factory_interface

Algorithm Selection via Factory

comp__baselibs_hash

ASIL_B

comp_req__hash__safe_computation

Exception-Free Error Propagation

comp__baselibs_hash

ASIL_B

comp_req__hash__sha_algorithms

Cryptographic Hash Algorithms

comp__baselibs_hash

ASIL_B

comp_req__hash__value_retrieval_bytes

Hash Value Retrieval as Raw Bytes

comp__baselibs_hash

ASIL_B

comp_req__hash__value_retrieval_hex

Hash Value Retrieval as Hexadecimal String

comp__baselibs_hash

ASIL_B

comp_req__json__asil

JSON library ASIL level

comp__baselibs_json

ASIL_B

comp_req__json__deserialization

JSON Deserialization

comp__baselibs_json

ASIL_B

comp_req__json__full_testability

Fully testable public API

comp__baselibs_json

ASIL_B

comp_req__json__lang_idioms

Support for programming language idioms

comp__baselibs_json

ASIL_B

comp_req__json__lang_infra

Use programming language infrastructure

comp__baselibs_json

ASIL_B

comp_req__json__serialization

JSON Serialization

comp__baselibs_json

ASIL_B

comp_req__json__type_compatibility

Enforce strict type compatibility

comp__baselibs_json

ASIL_B

comp_req__json__user_format

Return data in user format

comp__baselibs_json

ASIL_B

comp_req__log__cfg_buffer_size

Logging Configuration Internal Buffer Size

comp__log

ASIL_B

comp_req__log__cfg_custom_types

Custom Log Types

comp__log

ASIL_B

comp_req__log__cfg_defaults

Logging Configuration File Defaults

comp__log

ASIL_B

comp_req__log__cfg_file

Logging Configuration File

comp__log

ASIL_B

comp_req__log__cfg_file_loc

Logging Configuration File Location

comp__log

ASIL_B

comp_req__log__cfg_invalid

Logging Configuration Invalid Settings Handling

comp__log

ASIL_B

comp_req__log__cfg_log_app_id

Logging Configuration Log Application Identifier

comp__log

ASIL_B

comp_req__log__cfg_log_ecu_id

Logging Configuration Log ECU Identifier

comp__log

ASIL_B

comp_req__log__cfg_precedence

Logging Configuration Precedence

comp__log

ASIL_B

comp_req__log__cfg_sink_device

Logging Configuration Log Storage Device

comp__log

ASIL_B

comp_req__log__cfg_syntax_err

Logging Configuration Syntax Errors Handling

comp__log

ASIL_B

comp_req__log__compat_languages

Compatibility Supported Programming Languages

comp__log

ASIL_B

comp_req__log__compat_os

Compatibility Supported Operating Systems

comp__log

ASIL_B

comp_req__log__console_backend

Console Backend Stdout Sink

comp__log

ASIL_B

comp_req__log__global_config

Logging Global Configuration File

comp__log

ASIL_B

comp_req__log__log_loss_detect

Message Loss Detection

comp__log

ASIL_B

comp_req__log__system_logger

System Logger Backend

comp__log

ASIL_B

comp_req__log__timestamp_local

Local Timestamp

comp__log

ASIL_B

comp_req__memory__address_independence

Process Address Space Independence

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__atomic_ops

Atomic Operations in Shared Memory

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__bounds_check

Memory Region Bounds Checking

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__deterministic_alloc

Deterministic Memory Allocation

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__endianness

Endianness Conversion

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__inter_process_sync

Inter-Process Synchronization

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__offset_ptr

Polymorphic OffsetPtr Allocator

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__resource_registry

Memory Resource Registry

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__sealed_shm

Sealed Shared Memory

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__shared_container

Shared Memory Container

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__shared_memory

Shared Memory Management

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__string_utils

String Utilities

comp__baselibs_memory_shared

ASIL_B

comp_req__memory__typed_memory

Typed Memory

comp__baselibs_memory_shared

ASIL_B

Error logging

ASIL_B

Error logging

ASIL_B

comp_req__result__deterministic_behavior

Deterministic Behavior

comp__baselibs_result

ASIL_B

comp_req__result__domain_error_information

Domain-Specific Error Information

comp__baselibs_result

ASIL_B

comp_req__result__error_handling

Result-Based Error Handling

comp__baselibs_result

ASIL_B

comp_req__result__exception_free_operation

Exception-Free Operation

comp__baselibs_result

ASIL_B

comp_req__result__set_result

Set Result

comp__baselibs_result

ASIL_B

comp_req__result__std_integration

Standard Library Integration

comp__baselibs_result

ASIL_B

comp_req__result__type_safety

Type-Safe Error Handling

comp__baselibs_result

ASIL_B

comp_req__safecpp__aborts_upon_exception

C++ Exception Abort

comp__baselibs_safecpp

ASIL_B

comp_req__safecpp__coverage_termination

Code Coverage Termination

comp__baselibs_safecpp

ASIL_B

comp_req__safecpp__nullstring

Null-Terminated String

comp__baselibs_safecpp

ASIL_B

comp_req__safecpp__safe_atomic

Safe Atomic operations

comp__baselibs_safecpp

ASIL_B

comp_req__safecpp__safe_math

Safe Arithmetic Operations

comp__baselibs_safecpp

ASIL_B

comp_req__safecpp__scoped_guards

Scoped Guards

comp__baselibs_safecpp

ASIL_B

comp_req__static_reflect_serial__compile_eff

Compile-Time Efficiency

comp__baselibs_static_reflection

ASIL_B

comp_req__static_reflect_serial__container

Automatic Container Iteration

comp__baselibs_static_reflection

ASIL_B

comp_req__static_reflect_serial__header_only

Header-Only Implementation

comp__baselibs_static_reflection

ASIL_B

comp_req__static_reflect_serial__nested

Nested Type Support

comp__baselibs_static_reflection

ASIL_B

comp_req__static_reflect_serial__reflect

Static Reflection Support

comp__baselibs_static_reflection

ASIL_B

comp_req__static_reflect_serial__visitor

Generic Visitor Pattern

comp__baselibs_static_reflection

ASIL_B

comp_req__utils__base64_decoding

Base64 Decoding

comp__baselibs_utils

ASIL_B

comp_req__utils__base64_encoding

Base64 Encoding

comp__baselibs_utils

ASIL_B

comp_req__utils__threadsafe_singleton

Thread-Safe Singleton Instance Creation

comp__baselibs_utils

ASIL_B

comp_req__vajson__asil

VaJson library ASIL level

comp__baselibs_vajson

ASIL_B

comp_req__vajson__hex_integers

JSON Deserialization RFC extension hexadecimal integers

comp__baselibs_vajson

ASIL_B

comp_req__vajson__trailing_commas

JSON Deserialization RFC extension trailing commas

comp__baselibs_vajson

ASIL_B

comp_req__vajson__unicode

Unicode Support

comp__baselibs_vajson

ASIL_B

comp_req__vajson__validation

JSON Validation

comp__baselibs_vajson

ASIL_B

Requirements With Tests#

Valid requirements that are covered by at least one test, along with the tests verifying them.

REQUIREMENTS WITH TESTS#

ID

Title

Satisfied by

Safety

Tests

comp_req__flatbuffers__access

FlatBuffers Access

comp__baselibs_flatbuffers

ASIL_B

comp_req__flatbuffers__asil

FlatBuffers library ASIL level

comp__baselibs_flatbuffers

ASIL_B

comp_req__flatbuffers__buffer_identification

Common Buffer Identification

comp__baselibs_flatbuffers

ASIL_B

comp_req__flatbuffers__serialization

FlatBuffers Serialization

comp__baselibs_flatbuffers

ASIL_B

comp_req__flatbuffers__verification

FlatBuffers Verification

comp__baselibs_flatbuffers

ASIL_B

comp_req__flatbuffers__version_check

Common Version Check

comp__baselibs_flatbuffers

ASIL_B