Platform Verification Report#

Platform Verification Report		status: valid security: YES safety: QM
report_version: v1.0 version: 1 realizes: wp__verification_platform_ver_report

doc__platform_verification_report_latest		Generic Document

Features#

Feature Overview#

Feature	Safety	Security	Status
feat__baselibs	ASIL_B	YES	valid
feat__com_communication	ASIL_B	YES	valid
feat__config_mgmt	ASIL_B	YES	valid
feat__diagnostics	QM	YES	valid
feat__lifecycle	ASIL_B	YES	valid
feat__logging	ASIL_B	YES	valid
feat__persistency	ASIL_B	YES	valid
feat__security_crypto	QM	YES	valid
feat__time	ASIL_B	YES	valid

Baselibs#

Requirements Statistics#

Show requirements table

ID	Title	Safety	Status
feat_req__baselibs__abi_containers	ABI-Compatible Containers	ASIL_B	valid
feat_req__baselibs__bitmanipulation	Bit Manipulation Library	ASIL_B	valid
feat_req__baselibs__concurrency_library	Concurrency Library	ASIL_B	valid
feat_req__baselibs__containers_library	Container Library	ASIL_B	valid
feat_req__baselibs__filesystem_library	Filesystem Library	ASIL_B	valid
feat_req__baselibs__flatbuffers_library	FlatBuffers Library	QM	valid
feat_req__baselibs__hash_library	Hash Library	ASIL_B	valid
feat_req__baselibs__json_library	JSON Library	ASIL_B	valid
feat_req__baselibs__memory_library	Memory Library	ASIL_B	valid
feat_req__baselibs__multi_language_apis	Multi-Language APIs	ASIL_B	valid
feat_req__baselibs__panic_free_development	Panic-Free Development Support	ASIL_B	valid
feat_req__baselibs__result_library	Result Library	ASIL_B	valid
feat_req__baselibs__static_reflection_library	Static Reflection Library	ASIL_B	valid
feat_req__baselibs__utils_library	Utils Library	ASIL_B	valid

Architecture Statistics#

Show architectural elements table

ID	Title	Safety	Status	Tags
feat_arc_dyn__baselibs__dynamic_view_arch	Baselibs Dynamic View	ASIL_B	valid
feat_arc_sta__baselibs__static_view_arch	Baselibs Static View	ASIL_B	valid	inspected

Inspection Statistics#

Presence of the feature-level inspection work products.

Show work products table

Work Product

Kind

Realized by

Status

Requirements Inspection (wp__requirements_inspect)

Requirements Inspection

ID
doc__baselibs_req_inspection

Status
valid

Architecture Verification (wp__sw_arch_verification)

Architecture Inspection

ID
doc__baselibs_arc_inspection

Status
valid

Communication Feature#

Requirements Statistics#

Show requirements table

ID	Title	Safety	Status
feat_req__com__acl_for_consumer	Access Control List for consumer	QM	valid
feat_req__com__acl_for_producer	Access Control List for producer	QM	valid
feat_req__com__acl_per_service_instance	Access Control List per service instance	QM	valid
feat_req__com__acl_placement	Access Control List Placement	QM	valid
feat_req__com__asil	Communication ASIL level	ASIL_B	valid
feat_req__com__async_support	Asynchronous support	QM	valid
feat_req__com__bi_directional_comm	Bi-directional communication	QM	valid
feat_req__com__binding_agnostic_api	Binding-agnostic public API	QM	valid
feat_req__com__config_notifications	Configurable notifications	QM	valid
feat_req__com__configurable_queues	Configurable queues	QM	valid
feat_req__com__consistent_data	Consistent data-sets	QM	valid
feat_req__com__data_corruption	Data Corruption	ASIL_B	valid
feat_req__com__data_driven_arch	Support for Data-driven Architecture	QM	valid
feat_req__com__data_loss	Data Loss	ASIL_B	valid
feat_req__com__data_notifications	Data update notifications	QM	valid
feat_req__com__data_reordering	Data Reordering	ASIL_B	valid
feat_req__com__data_repetition	Data Repetition	ASIL_B	valid
feat_req__com__depl_config_runtime	Deployment configuration at runtime	ASIL_B	valid
feat_req__com__event_type	Event Type	ASIL_B	valid
feat_req__com__interfaces	Communication Interfaces	ASIL_B	valid
feat_req__com__lang_idioms	Support for programming language idioms	QM	valid
feat_req__com__lang_infra	Use programming language infrastructure	QM	valid
feat_req__com__lock_free_access	Lock-free access	QM	valid
feat_req__com__lock_free_queue	Lock-free queue access	QM	valid
feat_req__com__method	Method	ASIL_B	valid
feat_req__com__multi_binding_depl	Multi-binding deployment configuration	ASIL_B	valid
feat_req__com__multi_binding_support	Multi-binding support	QM	valid
feat_req__com__multi_lang	Support for multiple programming languages	QM	valid
feat_req__com__one_way_sharing	One-way data sharing into a VM	QM	valid
feat_req__com__producer_consumer	Producer-Consumer Pattern	ASIL_B	valid
feat_req__com__producer_timestamps	Producer time stamps	QM	valid
feat_req__com__readonly_vm	Read-only access for VM	QM	valid
feat_req__com__request_driven_arch	Support for Request-driven Architecture	QM	valid
feat_req__com__safe_communication	Safe communication over criticality levels	ASIL_B	valid
feat_req__com__service_discovery	Service discovery	ASIL_B	valid
feat_req__com__service_instance	Service Instance	ASIL_B	valid
feat_req__com__service_instance_granularity	Service instance_granularity	ASIL_B	valid
feat_req__com__service_instance_names	Service Instance Names	ASIL_B	valid
feat_req__com__service_location_transparency	Service location transparency	ASIL_B	valid
feat_req__com__shared_memory	Shared memory chunks	QM	valid
feat_req__com__signal	Signal	QM	valid
feat_req__com__stateless_communication	Stateless communication	ASIL_B	valid
feat_req__com__streamed_data	Streamed data based on shared queues	QM	valid
feat_req__com__testability_fake_binding	Fake binding	QM	valid
feat_req__com__testability_mock_api	Fully mockable public API	QM	valid
feat_req__com__time_based_arch	Support for Time-based Architecture	ASIL_B	valid
feat_req__com__tracing	Support for Tracing	ASIL_B	valid
feat_req__com__versioning	Versioning	ASIL_B	valid
feat_req__com__zero_copy	Zero-Copy Approach	QM	valid
feat_req__ipc__availability	IPC Availability	QM	valid
feat_req__ipc__confidentiality	IPC Confidentiality	QM	valid
feat_req__ipc__integrity	IPC Integrity	QM	valid
feat_req__ipc__zero_copy	Zero-Copy Approach	QM	valid
feat_req__some_ip_gateway__e2e_plugin_ifc	Plug-In-IFC for End-to-End protection modules	ASIL_B	valid
feat_req__some_ip_gateway__e2e_specs	Compatibility with some-ip.com E2E Protocol Specification	ASIL_B	valid
feat_req__some_ip_gateway__someip_protocol	Compatibility with Open SOME/IP Protocol Specification	ASIL_B	valid
feat_req__some_ip_gateway__someip_sd_protocol	Compatibility with Open SOME/IP Service Discovery Protocol Specification	ASIL_B	valid
feat_req__some_ip_gateway__stack_plugin_ifc	Plug-In-IFC for SOME/IP protocol stacks	QM	valid

Architecture Statistics#

Show architectural elements table

ID	Title	Safety	Status	Tags
feat_arc_dyn__communication__ipc	Dynamic Architecture	ASIL_B	valid
feat_arc_sta__com__communication	Feature Architecture Communication	ASIL_B	valid

Inspection Statistics#

Presence of the feature-level inspection work products.

Show work products table

Work Product	Kind	Realized by	Status
Requirements Inspection (wp__requirements_inspect)	Requirements Inspection	No needs passed the filters	No needs passed the filters
Architecture Verification (wp__sw_arch_verification)	Architecture Inspection	No needs passed the filters	No needs passed the filters

Configuration Management#

Requirements Statistics#

Show requirements table

ID	Title	Safety	Status
feat_req__config_mgmt__central_housekeeping	Central housekeeping for Parameters	QM	valid
feat_req__config_mgmt__parameter_modification	Parameter modification	QM	valid
feat_req__config_mgmt__parameter_set_access	Parameter Set access	QM	valid
feat_req__config_mgmt__parameter_set_relation	Parameter relation to a Set	QM	valid
feat_req__config_mgmt__prm_initial_qualifier	Parameter initial qualifier	ASIL_B	valid
feat_req__config_mgmt__prm_name_unique	Parameter name uniqueness	QM	valid
feat_req__config_mgmt__prm_set_cfg_content	Parameter Set configuration contents	QM	valid
feat_req__config_mgmt__prm_set_cfg_source	Parameter Set configuration source	QM	valid
feat_req__config_mgmt__prm_set_name_unique	Parameter name uniqueness	QM	valid
feat_req__config_mgmt__prm_set_qualifier	Parameter Set qualifier	ASIL_B	valid
feat_req__config_mgmt__provider_interface	Config provider interface	QM	valid
feat_req__config_mgmt__term_parameter	Term definition of Parameter	QM	valid
feat_req__config_mgmt__term_parameter_set	Term definition of Parameter Set	QM	valid

Architecture Statistics#

No needs passed the filters

Inspection Statistics#

Presence of the feature-level inspection work products.

Show work products table

Work Product	Kind	Realized by	Status
Requirements Inspection (wp__requirements_inspect)	Requirements Inspection	No needs passed the filters	No needs passed the filters
Architecture Verification (wp__sw_arch_verification)	Architecture Inspection	No needs passed the filters	No needs passed the filters

Diagnostics#

Requirements Statistics#

Show requirements table

ID	Title	Safety	Status
feat_req__diagnostics__classic_adapter	Classic Diagnostic Adapter	QM	valid
feat_req__diagnostics__classic_adapter_odx	Classic Diagnostic Adapter ODX Configuration	QM	valid
feat_req__diagnostics__db	Diagnostic Database	QM	valid
feat_req__diagnostics__db_persistence	Diagnostic Database Persistence	QM	valid
feat_req__diagnostics__fault_catalog_agg	Fault Catalog Aggregation	QM	valid
feat_req__diagnostics__fault_lib	Diagnostic Fault Library	QM	valid
feat_req__diagnostics__fault_lib_catalog	Fault Library Catalog	QM	valid
feat_req__diagnostics__fault_manager	Diagnostic Fault Manager	QM	valid
feat_req__diagnostics__internal_com	Diagnostic system internal communication	QM	valid
feat_req__diagnostics__service_app	Diagnostic Service Application	QM	valid
feat_req__diagnostics__sovd_client	SOVD Client	QM	valid
feat_req__diagnostics__sovd_client_core	SOVD Client Deployment Core	QM	valid
feat_req__diagnostics__sovd_gateway	SOVD Gateway	QM	valid
feat_req__diagnostics__sovd_server	SOVD Server	QM	valid
feat_req__diagnostics__sovd_std	SOVD Standard	QM	valid

Architecture Statistics#

No needs passed the filters

Inspection Statistics#

Presence of the feature-level inspection work products.

Show work products table

Work Product	Kind	Realized by	Status
Requirements Inspection (wp__requirements_inspect)	Requirements Inspection	No needs passed the filters	No needs passed the filters
Architecture Verification (wp__sw_arch_verification)	Architecture Inspection	No needs passed the filters	No needs passed the filters

Lifecycle#

Requirements Statistics#

Show requirements table

ID	Title	Safety	Status
feat_req__lifecycle__component_group_config	Component grouping configuration	ASIL_B	valid
feat_req__lifecycle__conditional_startup	Conditional launching	ASIL_B	valid
feat_req__lifecycle__config_file_support	Configuration file support	ASIL_B	valid
feat_req__lifecycle__control_commands	Control commands	ASIL_B	valid
feat_req__lifecycle__controlif_status	Report "started/running/degraded"	ASIL_B	valid
feat_req__lifecycle__custom_cond_support	Control interface support	ASIL_B	valid
feat_req__lifecycle__deps_visualization	Configuration Dependency view	QM	valid
feat_req__lifecycle__hm_checkpoint	Health Monitor checkpoint supervision	ASIL_B	valid
feat_req__lifecycle__hm_deadline	Health Monitor deadline supervision	ASIL_B	valid
feat_req__lifecycle__hm_logical	Health Monitor logical supervision	ASIL_B	valid
feat_req__lifecycle__launch_support	Support for launching processes	ASIL_B	valid
feat_req__lifecycle__liveliness_detection	Process liveliness detection	ASIL_B	valid
feat_req__lifecycle__lm_self_health_check	Launch manager self health check	ASIL_B	valid
feat_req__lifecycle__logging_support	Logging support	ASIL_B	valid
feat_req__lifecycle__monitor_abnormal_term	Process crash monitoring	ASIL_B	valid
feat_req__lifecycle__oci_compliant	OCI Compliant	ASIL_B	valid
feat_req__lifecycle__parallel_launch_support	Launching processes in parallel	ASIL_B	valid
feat_req__lifecycle__process_ordering	Process dependency handling	ASIL_B	valid
feat_req__lifecycle__process_termination	Terminating process	ASIL_B	valid
feat_req__lifecycle__prog_lang	Lifecycle programing language support	ASIL_B	valid
feat_req__lifecycle__query_commands	Query commands	ASIL_B	valid
feat_req__lifecycle__recov_run_target_switch	Run target switch as recovery action	ASIL_B	valid
feat_req__lifecycle__recovery_action_support	Recovery action	ASIL_B	valid
feat_req__lifecycle__request_run_target_start	Request run target launch	ASIL_B	valid
feat_req__lifecycle__run_target_support	Run target support	ASIL_B	valid
feat_req__lifecycle__running_processes	Process adoption	ASIL_B	valid
feat_req__lifecycle__session_extension	Updating configuration	ASIL_B	valid
feat_req__lifecycle__smart_watchdog_config	Monitoring and recovery: watchdog support	ASIL_B	valid
feat_req__lifecycle__start_named_run_target	Launching run target	ASIL_B	valid
feat_req__lifecycle__switch_run_targets	Switch between run targets	ASIL_B	valid
feat_req__lifecycle__terminationn_dependency	Handling process dependency in termination	ASIL_B	valid

Architecture Statistics#

Show architectural elements table

ID	Title	Safety	Status
feat_arc_dyn__lifecycle__alive_monitor	Alive Monitoring	ASIL_B	valid
feat_arc_dyn__lifecycle__app_ctrl_flow_mon	Logical control flow monitoring	ASIL_B	valid
feat_arc_dyn__lifecycle__app_health_mon	Application health monitoring	ASIL_B	valid
feat_arc_dyn__lifecycle__control_activate	Control interface dynamic architecture activate run target	ASIL_B	valid
feat_arc_dyn__lifecycle__state_machine_if	Lifecyle Interface	ASIL_B	valid
feat_arc_sta__lifecycle__static_view_arch	Lifecycle Static View	ASIL_B	valid

Inspection Statistics#

Presence of the feature-level inspection work products.

Show work products table

Work Product

Kind

Realized by

Status

Requirements Inspection (wp__requirements_inspect)

Requirements Inspection

No needs passed the filters

Architecture Verification (wp__sw_arch_verification)

Architecture Inspection

ID
doc__lifecycle_arc_inspection

Status
draft

Logging#

Requirements Statistics#

Show requirements table

ID	Title	Safety	Status
feat_req__logging__asil_support	Safety - ASIL Level Support	ASIL_B	valid
feat_req__logging__boot_logging	Previous boot logging	QM	valid
feat_req__logging__compat_dlt	Compatibility - DLT Protocol	QM	valid
feat_req__logging__compat_languages	Compatibility - Supported Programming Languages	QM	valid
feat_req__logging__compat_os	Compatibility - Supported Operating Systems	QM	valid
feat_req__logging__config_buffer_size	Configuration - Buffer Size	QM	valid
feat_req__logging__config_custom_types	Configuration - Custom Types Extension	QM	valid
feat_req__logging__config_entity_id	Configuration - Logging Entity ID	QM	valid
feat_req__logging__config_fallback	Configuration - Fallback Configurations	QM	valid
feat_req__logging__config_log_filter	Configuration - Log Filter	QM	valid
feat_req__logging__config_log_level	Configuration - Log Level	QM	valid
feat_req__logging__config_on_demand	Configuration - On-Demand Functionality	QM	valid
feat_req__logging__context_log_level	Context-Specific Log Level Activation	QM	valid
feat_req__logging__entity_identifier	Log entity Identifier	QM	valid
feat_req__logging__error_handling_isolation	Error Handling - Application Isolation	QM	valid
feat_req__logging__error_handling_recoverable	Error Handling - Recoverable Errors	QM	valid
feat_req__logging__filtering_entity_id	Log Filtering - Logging Entity ID	QM	valid
feat_req__logging__filtering_log_levels	Log Filtering - Log Levels	QM	valid
feat_req__logging__log_sinks_console	Log Sinks - Console	QM	valid
feat_req__logging__log_sinks_local_fs	Log Sinks - Local File System	QM	valid
feat_req__logging__log_sinks_network	Log Sinks - Network	QM	valid
feat_req__logging__log_sinks_stdout	Log Sinks - Stdout for Unit Tests	QM	valid
feat_req__logging__log_sources	Log Sources - Component and Platform	QM	valid
feat_req__logging__log_sources_user_app	Log Sources - User Application	QM	valid
feat_req__logging__message_loss_detection	Message Loss Detection - Detection and Reporting	QM	valid
feat_req__logging__message_loss_handling	Message Loss Detection - Graceful Handling	QM	valid
feat_req__logging__resource_comm_channel	Resource Consumption - Communication Channel	QM	valid
feat_req__logging__resource_performance	Resource Consumption - Performance Impact	QM	valid
feat_req__logging__resource_runtime	Resource Consumption - Runtime Resources	QM	valid
feat_req__logging__resource_storage	Resource Consumption - Storage	QM	valid
feat_req__logging__severity_levels	Log Severity Levels	QM	valid
feat_req__logging__timestamping_local	Timestamping - Local Timestamp	QM	valid
feat_req__logging__timestamping_original	Timestamping - Original Timestamp	QM	valid

Architecture Statistics#

Inspection Statistics#

Presence of the feature-level inspection work products.

Show work products table

Work Product

Kind

Realized by

Status

Requirements Inspection (wp__requirements_inspect)

Requirements Inspection

ID
doc__logging_req_inspection

Status
draft

Architecture Verification (wp__sw_arch_verification)

Architecture Inspection

ID
doc__logging_arc_inspection

Status
draft

Persistency#

Requirements Statistics#

Show requirements table

ID	Title	Safety	Status	Testlink
feat_req__persistency__access_control	Separate data stores	ASIL_B	valid
feat_req__persistency__async_api	Asynchronous operation	ASIL_B	valid
feat_req__persistency__async_completion	Signalling completion of asynchronous operation	ASIL_B	valid
feat_req__persistency__atomic_store	Atomic store operation	ASIL_B	valid
feat_req__persistency__cached_access	Cached access	ASIL_B	valid
feat_req__persistency__cfg	Configuration	ASIL_B	valid
feat_req__persistency__concurrency	Intra-Process data access	ASIL_B	valid
feat_req__persistency__confidential_storage	Confidential storage	QM	valid
feat_req__persistency__cpp_rust	C++ and Rust language support	QM	valid
feat_req__persistency__default_value_file	Provisioning of default values via external file	ASIL_B	valid	TestPartialOverrideSnapshot__test_only_overridden_key_in_snapshot[rust] (passed); TestPartialOverrideSnapshot__test_snapshot_hash_matches_content[rust] (passed); TestPartialOverrideSnapshot__test_default_values_accessible[rust] (passed); TestUtf8KeysWithDefaults__test_emoji_override_persisted[rust] (passed); TestUtf8KeysWithDefaults__test_default_only_utf8_keys_absent[rust] (passed); TestUtf8KeysWithDefaults__test_snapshot_hash_matches_content[rust] (passed); TestUtf8KeysWithDefaults__test_utf8_default_values_accessible[rust] (passed); TestDefaultValuesMissingDefaultsFile__test_missing_defaults_file[rust] (passed); TestDefaultValuesMalformedDefaultsFile__test_malformed_defaults_file[required-rust] (passed); TestGetDefaultValue__test_default_value_readable[rust] (passed); TestGetDefaultValue__test_snapshot_hash_matches_content[rust] (passed); TestSelectiveReset__test_selective_reset_state[rust] (passed); TestSelectiveReset__test_snapshot_hash_matches_content[rust] (passed); TestSelectiveReset__test_reset_key_returns_default[rust] (passed); TestFullReset__test_full_reset_clears_initial_keys[rust] (passed); TestFullReset__test_full_reset_new_keys_present[rust] (passed); TestFullReset__test_snapshot_hash_matches_content[rust] (passed); TestFullReset__test_full_reset_key_returns_default[rust] (passed); TestOptionalModeWithoutDefaults__test_optional_mode_succeeds[rust] (passed); TestPartialOverrideSnapshot__test_only_overridden_key_in_snapshot[cpp] (passed); TestPartialOverrideSnapshot__test_snapshot_hash_matches_content[cpp] (passed); TestPartialOverrideSnapshot__test_default_values_accessible[cpp] (passed); TestUtf8KeysWithDefaults__test_emoji_override_persisted[cpp] (passed); TestUtf8KeysWithDefaults__test_default_only_utf8_keys_absent[cpp] (passed); TestUtf8KeysWithDefaults__test_snapshot_hash_matches_content[cpp] (passed); TestUtf8KeysWithDefaults__test_utf8_default_values_accessible[cpp] (passed); TestDefaultValuesMissingDefaultsFile__test_missing_defaults_file[cpp] (passed); TestDefaultValuesMalformedDefaultsFile__test_malformed_defaults_file[required-cpp] (passed); TestGetDefaultValue__test_default_value_readable[cpp] (passed); TestGetDefaultValue__test_snapshot_hash_matches_content[cpp] (passed); TestSelectiveReset__test_selective_reset_state[cpp] (passed); TestSelectiveReset__test_snapshot_hash_matches_content[cpp] (passed); TestSelectiveReset__test_reset_key_returns_default[cpp] (passed); TestFullReset__test_full_reset_clears_initial_keys[cpp] (passed); TestFullReset__test_full_reset_new_keys_present[cpp] (passed); TestFullReset__test_snapshot_hash_matches_content[cpp] (passed); TestFullReset__test_full_reset_key_returns_default[cpp] (passed); TestOptionalModeWithoutDefaults__test_optional_mode_succeeds[cpp] (passed)
feat_req__persistency__default_value_get	Retrieval of default values	ASIL_B	valid	TestUtf8DefaultValueGet__test_utf8_default_value_readable[rust] (passed); TestUtf8DefaultValueGet__test_snapshot_hash_matches_content[rust] (passed); TestDefaultValuesIgnored__test_explicit_set_persisted[rust] (passed); TestDefaultValuesIgnored__test_snapshot_hash_matches_content[rust] (passed); TestGetDefaultValue__test_default_value_readable[rust] (passed); TestGetDefaultValue__test_snapshot_hash_matches_content[rust] (passed); TestUtf8DefaultValueGet__test_utf8_default_value_readable[cpp] (passed); TestUtf8DefaultValueGet__test_snapshot_hash_matches_content[cpp] (passed); TestDefaultValuesIgnored__test_explicit_set_persisted[cpp] (passed); TestDefaultValuesIgnored__test_snapshot_hash_matches_content[cpp] (passed); TestGetDefaultValue__test_default_value_readable[cpp] (passed); TestGetDefaultValue__test_snapshot_hash_matches_content[cpp] (passed)
feat_req__persistency__default_values	Default values	ASIL_B	valid	TestPartialOverrideSnapshot__test_only_overridden_key_in_snapshot[rust] (passed); TestPartialOverrideSnapshot__test_snapshot_hash_matches_content[rust] (passed); TestPartialOverrideSnapshot__test_default_values_accessible[rust] (passed); TestUtf8KeysWithDefaults__test_emoji_override_persisted[rust] (passed); TestUtf8KeysWithDefaults__test_default_only_utf8_keys_absent[rust] (passed); TestUtf8KeysWithDefaults__test_snapshot_hash_matches_content[rust] (passed); TestUtf8KeysWithDefaults__test_utf8_default_values_accessible[rust] (passed); TestDefaultValuesIgnored__test_explicit_set_persisted[rust] (passed); TestDefaultValuesIgnored__test_snapshot_hash_matches_content[rust] (passed); TestDefaultValuesChecksum__test_checksum[optional-rust] (passed); TestDefaultValuesChecksum__test_checksum[required-rust] (passed); TestDefaultValuesMissingDefaultsFile__test_missing_defaults_file[rust] (passed); TestDefaultValuesMalformedDefaultsFile__test_malformed_defaults_file[required-rust] (passed); TestGetDefaultValue__test_default_value_readable[rust] (passed); TestGetDefaultValue__test_snapshot_hash_matches_content[rust] (passed); TestSelectiveReset__test_selective_reset_state[rust] (passed); TestSelectiveReset__test_snapshot_hash_matches_content[rust] (passed); TestSelectiveReset__test_reset_key_returns_default[rust] (passed); TestFullReset__test_full_reset_clears_initial_keys[rust] (passed); TestFullReset__test_full_reset_new_keys_present[rust] (passed); TestFullReset__test_snapshot_hash_matches_content[rust] (passed); TestFullReset__test_full_reset_key_returns_default[rust] (passed); TestOptionalModeWithoutDefaults__test_optional_mode_succeeds[rust] (passed); TestMultiInstanceDefaultIsolation__test_instance_1_snapshot_isolation[rust] (passed); TestMultiInstanceDefaultIsolation__test_instance_2_snapshot_isolation[rust] (passed); TestMultiInstanceDefaultIsolation__test_snapshot_hash_matches_content[rust] (passed); TestMultiInstanceDefaultIsolation__test_default_isolation_via_logs[rust] (passed); TestPartialOverrideSnapshot__test_only_overridden_key_in_snapshot[cpp] (passed); TestPartialOverrideSnapshot__test_snapshot_hash_matches_content[cpp] (passed); TestPartialOverrideSnapshot__test_default_values_accessible[cpp] (passed); TestUtf8KeysWithDefaults__test_emoji_override_persisted[cpp] (passed); TestUtf8KeysWithDefaults__test_default_only_utf8_keys_absent[cpp] (passed); TestUtf8KeysWithDefaults__test_snapshot_hash_matches_content[cpp] (passed); TestUtf8KeysWithDefaults__test_utf8_default_values_accessible[cpp] (passed); TestDefaultValuesIgnored__test_explicit_set_persisted[cpp] (passed); TestDefaultValuesIgnored__test_snapshot_hash_matches_content[cpp] (passed); TestDefaultValuesChecksum__test_checksum[optional-cpp] (passed); TestDefaultValuesChecksum__test_checksum[required-cpp] (passed); TestDefaultValuesMissingDefaultsFile__test_missing_defaults_file[cpp] (passed); TestDefaultValuesMalformedDefaultsFile__test_malformed_defaults_file[required-cpp] (passed); TestGetDefaultValue__test_default_value_readable[cpp] (passed); TestGetDefaultValue__test_snapshot_hash_matches_content[cpp] (passed); TestSelectiveReset__test_selective_reset_state[cpp] (passed); TestSelectiveReset__test_snapshot_hash_matches_content[cpp] (passed); TestSelectiveReset__test_reset_key_returns_default[cpp] (passed); TestFullReset__test_full_reset_clears_initial_keys[cpp] (passed); TestFullReset__test_full_reset_new_keys_present[cpp] (passed); TestFullReset__test_snapshot_hash_matches_content[cpp] (passed); TestFullReset__test_full_reset_key_returns_default[cpp] (passed); TestOptionalModeWithoutDefaults__test_optional_mode_succeeds[cpp] (passed); TestMultiInstanceDefaultIsolation__test_instance_1_snapshot_isolation[cpp] (passed); TestMultiInstanceDefaultIsolation__test_instance_2_snapshot_isolation[cpp] (passed); TestMultiInstanceDefaultIsolation__test_snapshot_hash_matches_content[cpp] (passed); TestMultiInstanceDefaultIsolation__test_default_isolation_via_logs[cpp] (passed)
feat_req__persistency__dev_mode	Support development mode	ASIL_B	valid
feat_req__persistency__direct_access	Direct access	ASIL_B	valid
feat_req__persistency__dynamic_memory_alloc	Dynamic memory allocation during runtime	ASIL_B	valid
feat_req__persistency__fast_access	Random access time	QM	valid
feat_req__persistency__integrity_check	Integrity check	ASIL_B	valid
feat_req__persistency__load_data	Load persistent data	ASIL_B	valid
feat_req__persistency__multiple_app	Access from multiple applications	ASIL_B	valid
feat_req__persistency__multiple_kvs	Multiple KVS per application	QM	valid	TestMultiInstanceDefaultIsolation__test_instance_1_snapshot_isolation[rust] (passed); TestMultiInstanceDefaultIsolation__test_instance_2_snapshot_isolation[rust] (passed); TestMultiInstanceDefaultIsolation__test_snapshot_hash_matches_content[rust] (passed); TestMultiInstanceDefaultIsolation__test_default_isolation_via_logs[rust] (passed); TestMultipleInstanceIds__test_logged_execution[rust] (passed); TestMultipleInstanceIds__test_kvs_write_results[rust] (passed); TestMultiInstanceDefaultIsolation__test_instance_1_snapshot_isolation[cpp] (passed); TestMultiInstanceDefaultIsolation__test_instance_2_snapshot_isolation[cpp] (passed); TestMultiInstanceDefaultIsolation__test_snapshot_hash_matches_content[cpp] (passed); TestMultiInstanceDefaultIsolation__test_default_isolation_via_logs[cpp] (passed); TestMultipleInstanceIds__test_logged_execution[cpp] (passed); TestMultipleInstanceIds__test_kvs_write_results[cpp] (passed)
feat_req__persistency__os_agnostic	Operating system agnostic implementation	QM	valid
feat_req__persistency__prod_mode	Support production mode	ASIL_B	valid
feat_req__persistency__recovery_from_reset	Recovery from reset	ASIL_B	valid
feat_req__persistency__reset_resistant	Reset resistant storage	ASIL_B	valid
feat_req__persistency__reset_to_default	Reset to default values	ASIL_B	valid	TestSelectiveReset__test_selective_reset_state[rust] (passed); TestSelectiveReset__test_snapshot_hash_matches_content[rust] (passed); TestSelectiveReset__test_reset_key_returns_default[rust] (passed); TestFullReset__test_full_reset_clears_initial_keys[rust] (passed); TestFullReset__test_full_reset_new_keys_present[rust] (passed); TestFullReset__test_snapshot_hash_matches_content[rust] (passed); TestFullReset__test_full_reset_key_returns_default[rust] (passed); TestResetToDefault__test_storage_state[rust] (passed); TestResetToDefault__test_default_value_reported_after_reset[rust] (passed); TestResetToDefault__test_snapshot_hash_matches_content[rust] (passed); TestSelectiveReset__test_selective_reset_state[cpp] (passed); TestSelectiveReset__test_snapshot_hash_matches_content[cpp] (passed); TestSelectiveReset__test_reset_key_returns_default[cpp] (passed); TestFullReset__test_full_reset_clears_initial_keys[cpp] (passed); TestFullReset__test_full_reset_new_keys_present[cpp] (passed); TestFullReset__test_snapshot_hash_matches_content[cpp] (passed); TestFullReset__test_full_reset_key_returns_default[cpp] (passed); TestResetToDefault__test_storage_state[cpp] (passed); TestResetToDefault__test_default_value_reported_after_reset[cpp] (passed); TestResetToDefault__test_snapshot_hash_matches_content[cpp] (passed)
feat_req__persistency__snapshot_create	Snapshot create	ASIL_B	valid
feat_req__persistency__snapshot_remove	Snapshot remove	ASIL_B	valid
feat_req__persistency__snapshot_restore	Snapshot restore	ASIL_B	valid
feat_req__persistency__storage_backends	Multiple storage backends	ASIL_B	valid
feat_req__persistency__store_data	Store persistent data	ASIL_B	valid	TestAllTypesWithUtf8Keys__test_value_types_persisted[rust] (passed); TestAllTypesWithUtf8Keys__test_snapshot_hash_matches_content[rust] (passed); TestPartialOverrideSnapshot__test_only_overridden_key_in_snapshot[rust] (passed); TestPartialOverrideSnapshot__test_snapshot_hash_matches_content[rust] (passed); TestPartialOverrideSnapshot__test_default_values_accessible[rust] (passed); TestAllValueTypes__test_all_types_in_snapshot[rust] (passed); TestAllValueTypes__test_snapshot_hash_matches_content[rust] (passed); TestSelectiveReset__test_selective_reset_state[rust] (passed); TestSelectiveReset__test_snapshot_hash_matches_content[rust] (passed); TestSelectiveReset__test_reset_key_returns_default[rust] (passed); TestFullReset__test_full_reset_clears_initial_keys[rust] (passed); TestFullReset__test_full_reset_new_keys_present[rust] (passed); TestFullReset__test_snapshot_hash_matches_content[rust] (passed); TestFullReset__test_full_reset_key_returns_default[rust] (passed); TestOptionalModeWithoutDefaults__test_optional_mode_succeeds[rust] (passed); TestAllTypesWithUtf8Keys__test_value_types_persisted[cpp] (passed); TestAllTypesWithUtf8Keys__test_snapshot_hash_matches_content[cpp] (passed); TestPartialOverrideSnapshot__test_only_overridden_key_in_snapshot[cpp] (passed); TestPartialOverrideSnapshot__test_snapshot_hash_matches_content[cpp] (passed); TestPartialOverrideSnapshot__test_default_values_accessible[cpp] (passed); TestAllValueTypes__test_all_types_in_snapshot[cpp] (passed); TestAllValueTypes__test_snapshot_hash_matches_content[cpp] (passed); TestSelectiveReset__test_selective_reset_state[cpp] (passed); TestSelectiveReset__test_snapshot_hash_matches_content[cpp] (passed); TestSelectiveReset__test_reset_key_returns_default[cpp] (passed); TestFullReset__test_full_reset_clears_initial_keys[cpp] (passed); TestFullReset__test_full_reset_new_keys_present[cpp] (passed); TestFullReset__test_snapshot_hash_matches_content[cpp] (passed); TestFullReset__test_full_reset_key_returns_default[cpp] (passed); TestOptionalModeWithoutDefaults__test_optional_mode_succeeds[cpp] (passed)
feat_req__persistency__support_datatype_keys	Supported datatypes (Keys)	ASIL_B	valid	TestAllTypesWithUtf8Keys__test_value_types_persisted[rust] (passed); TestAllTypesWithUtf8Keys__test_snapshot_hash_matches_content[rust] (passed); TestUtf8KeysWithDefaults__test_emoji_override_persisted[rust] (passed); TestUtf8KeysWithDefaults__test_default_only_utf8_keys_absent[rust] (passed); TestUtf8KeysWithDefaults__test_snapshot_hash_matches_content[rust] (passed); TestUtf8KeysWithDefaults__test_utf8_default_values_accessible[rust] (passed); TestUtf8DefaultValueGet__test_utf8_default_value_readable[rust] (passed); TestUtf8DefaultValueGet__test_snapshot_hash_matches_content[rust] (passed); TestAllValueTypes__test_all_types_in_snapshot[rust] (passed); TestAllValueTypes__test_snapshot_hash_matches_content[rust] (passed); TestAllTypesWithUtf8Keys__test_value_types_persisted[cpp] (passed); TestAllTypesWithUtf8Keys__test_snapshot_hash_matches_content[cpp] (passed); TestUtf8KeysWithDefaults__test_emoji_override_persisted[cpp] (passed); TestUtf8KeysWithDefaults__test_default_only_utf8_keys_absent[cpp] (passed); TestUtf8KeysWithDefaults__test_snapshot_hash_matches_content[cpp] (passed); TestUtf8KeysWithDefaults__test_utf8_default_values_accessible[cpp] (passed); TestUtf8DefaultValueGet__test_utf8_default_value_readable[cpp] (passed); TestUtf8DefaultValueGet__test_snapshot_hash_matches_content[cpp] (passed); TestAllValueTypes__test_all_types_in_snapshot[cpp] (passed); TestAllValueTypes__test_snapshot_hash_matches_content[cpp] (passed)
feat_req__persistency__support_datatype_value	Supported datatypes (Values)	ASIL_B	valid	TestAllTypesWithUtf8Keys__test_value_types_persisted[rust] (passed); TestAllTypesWithUtf8Keys__test_snapshot_hash_matches_content[rust] (passed); TestAllValueTypes__test_all_types_in_snapshot[rust] (passed); TestAllValueTypes__test_snapshot_hash_matches_content[rust] (passed); TestAllTypesWithUtf8Keys__test_value_types_persisted[cpp] (passed); TestAllTypesWithUtf8Keys__test_snapshot_hash_matches_content[cpp] (passed); TestAllValueTypes__test_all_types_in_snapshot[cpp] (passed); TestAllValueTypes__test_snapshot_hash_matches_content[cpp] (passed)
feat_req__persistency__tooling	Tooling	ASIL_B	valid
feat_req__persistency__update_mechanism	Update Mechanism	ASIL_B	valid
feat_req__persistency__variant_management	Variant management support	QM	valid
feat_req__persistency__versioning	Versioning	ASIL_B	valid
feat_req__persistency__write_amplification	Write amplification minimization	ASIL_B	valid

Architecture Statistics#

Show architectural elements table

ID	Title	Safety	Status
feat_arc_dyn__persistency__check_key_default	Check if key contains default value	ASIL_B	valid
feat_arc_dyn__persistency__delete_key	Delete key from KVS instance	ASIL_B	valid
feat_arc_dyn__persistency__flush	Flush to permanent storage	ASIL_B	valid
feat_arc_dyn__persistency__read_from_storage	Read data from permanent storage	ASIL_B	valid
feat_arc_dyn__persistency__read_key	Read key value	ASIL_B	valid
feat_arc_dyn__persistency__snapshot_restore	Restore snapshot	ASIL_B	valid
feat_arc_dyn__persistency__write_key	Write value to key	ASIL_B	valid
feat_arc_sta__persistency__static	Static Architecture	ASIL_B	valid

Inspection Statistics#

Presence of the feature-level inspection work products.

Show work products table

Work Product

Kind

Realized by

Status

Requirements Inspection (wp__requirements_inspect)

Requirements Inspection

ID
doc__feature_persistency_requirements_chklst

Status
valid

Architecture Verification (wp__sw_arch_verification)

Architecture Inspection

ID
doc__persistency_arc_inspection

Status
draft

Security & Crypto#

Requirements Statistics#

Show requirements table

ID	Title	Safety	Status
feat_req__sec_crypt__access_control	Access Control	QM	valid
feat_req__sec_crypt__algo_naming	Standardized Algorithm Naming	QM	valid
feat_req__sec_crypt__algo_updates	Crypto Algorithm Update Strategy	QM	valid
feat_req__sec_crypt__api_lifecycle	API Lifecycle Management	QM	valid
feat_req__sec_crypt__asym_algo_ecdh	ECDH Support	QM	valid
feat_req__sec_crypt__asym_encryption	Asymmetric Encryption and Decryption	QM	valid
feat_req__sec_crypt__cert_management	Certificate Management	QM	valid
feat_req__sec_crypt__dos_mitigation	Denial-of-Service (DoS) Mitigation	QM	valid
feat_req__sec_crypt__error_handling	Structured Error Handling	QM	valid
feat_req__sec_crypt__flexible_api	API to allow selection of different algorithms	QM	valid
feat_req__sec_crypt__hashing	Hashing Functionality	QM	valid
feat_req__sec_crypt__hashing_algo_sha2	SHA-2 Support	QM	valid
feat_req__sec_crypt__hashing_algo_sha3	SHA-3 Support	QM	valid
feat_req__sec_crypt__hw_acceleration	Hardware Acceleration Support	QM	valid
feat_req__sec_crypt__ids_integration	Intrusion Detection System (IDS) Integration	QM	valid
feat_req__sec_crypt__kdf	Key Derivation	QM	valid
feat_req__sec_crypt__key_deletion	Secure Key Deletion	QM	valid
feat_req__sec_crypt__key_generation	Secure Key Generation	QM	valid
feat_req__sec_crypt__key_import	Secure Key Import	QM	valid
feat_req__sec_crypt__key_storage	Secure Key Storage	QM	valid
feat_req__sec_crypt__mac	Message Authentication Code	QM	valid
feat_req__sec_crypt__no_key_exposure	No Key Material Exposure	QM	valid
feat_req__sec_crypt__os_protection	OS-Level Protection	QM	valid
feat_req__sec_crypt__pqc_readiness	Post-Quantum Readiness	QM	valid
feat_req__sec_crypt__production_keys	Initial Production Key Handling	QM	valid
feat_req__sec_crypt__reverse_eng_protection	Reverse Engineering Protection	QM	valid
feat_req__sec_crypt__rng	Entropy Source	QM	valid
feat_req__sec_crypt__rng_algo_chacha20rng	ChaCha20Rng Support	QM	valid
feat_req__sec_crypt__security_concept	Security Concept	QM	valid
feat_req__sec_crypt__side_channel_mitigation	Side-Channel Attack Mitigation	QM	valid
feat_req__sec_crypt__sig_algo_ecdsa	ECDSA Support	QM	valid
feat_req__sec_crypt__sig_creation	Signature Creation	QM	valid
feat_req__sec_crypt__sig_verification	Signature Verification	QM	valid
feat_req__sec_crypt__sw_fallback	Software Fallback	QM	valid
feat_req__sec_crypt__sym_algo_chacha20	ChaCha20-Poly1305 Support	QM	valid
feat_req__sec_crypt__sym_sym_algo_aes_ccm	AES-CCM Support	QM	valid
feat_req__sec_crypt__sym_sym_algo_aes_gcm	AES-GCM Support	QM	valid
feat_req__sec_crypt__sym_symm_algo_aes_cbc	AES-CBC Support	QM	valid
feat_req__sec_crypt__sym_symmetric_encrypt	Symmetric Encryption and Decryption	QM	valid
feat_req__sec_crypt__tls_support	TLS Support	QM	valid
feat_req__sec_crypt__trusted_time	Trusted Time Source	QM	valid

Architecture Statistics#

No needs passed the filters

Inspection Statistics#

Presence of the feature-level inspection work products.

Show work products table

Work Product	Kind	Realized by	Status
Requirements Inspection (wp__requirements_inspect)	Requirements Inspection	No needs passed the filters	No needs passed the filters
Architecture Verification (wp__sw_arch_verification)	Architecture Inspection	No needs passed the filters	No needs passed the filters

Time#

Requirements Statistics#

Show requirements table

ID	Title	Safety	Status
feat_req__time__abs_acc_qual	Absolute Time base accuracy qualifier	QM	valid
feat_req__time__abs_base_api	Absolute Time base API	QM	valid
feat_req__time__abs_sec_qual	Absolute Time base security qualifier	QM	valid
feat_req__time__abs_sync	score::time external synchronization	QM	valid
feat_req__time__abs_sync_log	Absolute Time synchronization status log	QM	valid
feat_req__time__high_prec_clock_api	High precision clock API	QM	valid
feat_req__time__mocking_apis	score::time mocking APIs implementation	QM	valid
feat_req__time__monotonic_clock_api	Monotonic clock API	QM	valid
feat_req__time__vehicle_time_acc_qual_api	Vehicle Time base accuracy qualifier	QM	valid
feat_req__time__vehicle_time_ctrl_flow	Vehicle Time control flow	QM	valid
feat_req__time__vehicle_time_sync	Vehicle Time synchronization	QM	valid
feat_req__time__vehicle_time_sync_log	Vehicle Time synchronization logging	QM	valid
feat_req__time__vehicle_time_sync_prec	Vehicle Time synchronization precision	QM	valid
feat_req__time__vehicle_time_time_api	Vehicle Time base API	QM	valid
feat_req__time__vehicle_time_time_pt_qual	Vehicle Time base time point qualifier	ASIL_B	valid

Architecture Statistics#

No needs passed the filters

Inspection Statistics#

Presence of the feature-level inspection work products.

Show work products table

Work Product

Kind

Realized by

Status

Requirements Inspection (wp__requirements_inspect)

Requirements Inspection

ID
doc__time_daemon_req_inspection
doc__time_req_inspection
doc__time_slave_req_inspection

Status
draft
draft
draft

Architecture Verification (wp__sw_arch_verification)

Architecture Inspection

No needs passed the filters

This report is generated from the platform’s own needs data. It uses the platform verification report template introduced by docs-as-code, which gathers every Feature in the current build and renders its Requirements, Architecture and Inspection statistics.