Persistency Module Verification Report#

Persistency Module Verification Report		status: valid security: NO safety: QM
version: 1 realizes: wp__verification_module_ver_report

doc__persistency_verification_report		Generic Document

Persistency#

Name	Id	Safety	Security	Status
Persistency	feat__persistency	ASIL_B	YES	valid

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[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); 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)
feat_req__persistency__default_value_get	Retrieval of default values	ASIL_B	valid	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); 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)
feat_req__persistency__default_values	Default values	ASIL_B	valid	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); 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)
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[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); 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)
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[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); 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)
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[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); 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)
feat_req__persistency__support_datatype_keys	Supported datatypes (Keys)	ASIL_B	valid	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); 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)
feat_req__persistency__support_datatype_value	Supported datatypes (Values)	ASIL_B	valid	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); 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)
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

Components#

Component Overview#

Component	Safety	Security	Status
comp__persistency_kvs	ASIL_B	YES	valid

persistency::kvs#

Component Requirements Statistics#

Component Architecture Statistics#

Requirements Traceability#

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status
comp_req__kvs__async_api	Async API	ASIL_B	valid
comp_req__kvs__callback_support	Callback Support	ASIL_B	valid
comp_req__kvs__concurrency	Concurrency	ASIL_B	valid
comp_req__kvs__constraints	Constraint Configuration	ASIL_B	valid
comp_req__kvs__default_val_chksum	Default Value Checksum	ASIL_B	valid
comp_req__kvs__default_value_cfg	Default Value Config	ASIL_B	valid
comp_req__kvs__default_value_query	Default Value Query	ASIL_B	valid
comp_req__kvs__default_value_types	Default Value Datatypes	ASIL_B	valid
comp_req__kvs__eng_mode	Engineering Mode	ASIL_B	valid
comp_req__kvs__field_mode	Field Mode	ASIL_B	valid
comp_req__kvs__key_encoding	Key Encoding	ASIL_B	valid
comp_req__kvs__key_length	Key Length	ASIL_B	valid
comp_req__kvs__key_naming	Key Naming	ASIL_B	valid
comp_req__kvs__key_uniqueness	Key Uniqueness	ASIL_B	valid
comp_req__kvs__multi_instance	Multi-Instance	ASIL_B	valid
comp_req__kvs__permission_control	Permission Control	ASIL_B	valid
comp_req__kvs__permission_err_hndl	Permission Error Handling	ASIL_B	valid
comp_req__kvs__pers_data_csum	Persistent Data Storage Checksum Write	ASIL_B	valid
comp_req__kvs__pers_data_csum_vrfy	Persistent Data Storage Checksum Verify	ASIL_B	valid
comp_req__kvs__pers_data_schema	Persistent Data Schema	ASIL_B	valid
comp_req__kvs__pers_data_store_bnd	Persistent Data Storage Backend	ASIL_B	valid
comp_req__kvs__pers_data_store_fmt	Persistent Data Storage Format	ASIL_B	valid
comp_req__kvs__pers_data_version	Persistent Data Versioning	ASIL_B	valid
comp_req__kvs__persist_data_com	Persistent Data Storage Components	ASIL_B	valid
comp_req__kvs__snapshot_creation	Snapshot Creation	ASIL_B	valid
comp_req__kvs__snapshot_delete	Snapshot Deletion	ASIL_B	valid
comp_req__kvs__snapshot_id	Snapshot IDs	ASIL_B	valid
comp_req__kvs__snapshot_max_num	Snapshot Maximum Number	ASIL_B	valid
comp_req__kvs__snapshot_restore	Snapshot Restore	ASIL_B	valid
comp_req__kvs__snapshot_rotate	Snapshot Rotation	ASIL_B	valid
comp_req__kvs__value_data_types	Value Data Types	ASIL_B	valid
comp_req__kvs__value_default	Value Default	ASIL_B	valid
comp_req__kvs__value_length	Value Length	ASIL_B	valid
comp_req__kvs__value_reset	Value Reset	ASIL_B	valid
comp_req__kvs__value_serialize	Value Serialization	ASIL_B	valid

Test Coverage#

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Architectural Elements#

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the inspected tag; elements without that tag have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status
comp_arc_dyn__kvs__dynamic_view	Dynamic View	ASIL_B	invalid
comp_arc_sta__kvs__2	Component Name 2	ASIL_B	invalid
comp_arc_sta__kvs__static_view	Component Name (Static View)	ASIL_B	invalid

Verification & Safety Analysis Documents#

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

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
Implementation Inspection (wp__sw_implementation_inspection)	Implementation Inspection	No needs passed the filters	No needs passed the filters
Component DFA (wp__sw_component_dfa)	DFA	No needs passed the filters	No needs passed the filters
Component FMEA (wp__sw_component_fmea)	FMEA	No needs passed the filters	No needs passed the filters

This report is generated from persistency’s own needs data. It uses the module verification report template introduced by docs-as-code. It complements persistency’s own hand-written verification report, Persistency Verification Re... (doc__persistency_manual_verification_report).