Requirements

KVS Requirements		status: valid security: NO safety: ASIL_B
tags: kvs version: 1 realizes: wp__requirements_comp
doc__kvs_requirements		Generic Document

Component Requirements

Key Naming		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__support_datatype_keys satisfied by: comp__persistency_kvs fulfilled by: comp_arc_dyn__kvs__dynamic_view, comp_arc_sta__kvs__2, comp_arc_sta__kvs__static_view
The component shall accept keys that consist solely of alphanumeric characters, underscores, or dashes.
comp_req__kvs__key_naming		Component Requirement

Key Encoding		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestSupportedDatatypesKeys__test_ok[cpp] (passed); TestSupportedDatatypesValues_I32__test_ok[cpp] (passed); TestSupportedDatatypesValues_U32__test_ok[cpp] (passed); TestSupportedDatatypesValues_I64__test_ok[cpp] (passed); TestSupportedDatatypesValues_U64__test_ok[cpp] (passed); TestSupportedDatatypesValues_F64__test_ok[cpp] (passed); TestSupportedDatatypesValues_Bool__test_ok[cpp] (passed); TestSupportedDatatypesValues_String__test_ok[cpp] (passed); TestSupportedDatatypesValues_Array__test_ok[cpp] (passed); TestSupportedDatatypesValues_Object__test_ok[cpp] (passed); TestSupportedDatatypesKeys__test_ok[rust] (passed); TestSupportedDatatypesValues_I32__test_ok[rust] (passed); TestSupportedDatatypesValues_U32__test_ok[rust] (passed); TestSupportedDatatypesValues_I64__test_ok[rust] (passed); TestSupportedDatatypesValues_U64__test_ok[rust] (passed); TestSupportedDatatypesValues_F64__test_ok[rust] (passed); TestSupportedDatatypesValues_Bool__test_ok[rust] (passed); TestSupportedDatatypesValues_String__test_ok[rust] (passed); TestSupportedDatatypesValues_Array__test_ok[rust] (passed); TestSupportedDatatypesValues_Object__test_ok[rust] (passed) version: 1 derived from: feat_req__persistency__support_datatype_keys satisfied by: comp__persistency_kvs
The component shall encode each key as valid UTF-8.
comp_req__kvs__key_encoding		Component Requirement

Key Uniqueness		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__support_datatype_keys satisfied by: comp__persistency_kvs
The component shall guarantee that each key is unique.
comp_req__kvs__key_uniqueness		Component Requirement

Key Length		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__support_datatype_keys satisfied by: comp__persistency_kvs
The component shall limit the maximum length of a key to 32 bytes.
comp_req__kvs__key_length		Component Requirement

Value Data Types		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestSupportedDatatypesKeys__test_ok[cpp] (passed); TestSupportedDatatypesValues_I32__test_ok[cpp] (passed); TestSupportedDatatypesValues_U32__test_ok[cpp] (passed); TestSupportedDatatypesValues_I64__test_ok[cpp] (passed); TestSupportedDatatypesValues_U64__test_ok[cpp] (passed); TestSupportedDatatypesValues_F64__test_ok[cpp] (passed); TestSupportedDatatypesValues_Bool__test_ok[cpp] (passed); TestSupportedDatatypesValues_String__test_ok[cpp] (passed); TestSupportedDatatypesValues_Array__test_ok[cpp] (passed); TestSupportedDatatypesValues_Object__test_ok[cpp] (passed); TestSupportedDatatypesKeys__test_ok[rust] (passed); TestSupportedDatatypesValues_I32__test_ok[rust] (passed); TestSupportedDatatypesValues_U32__test_ok[rust] (passed); TestSupportedDatatypesValues_I64__test_ok[rust] (passed); TestSupportedDatatypesValues_U64__test_ok[rust] (passed); TestSupportedDatatypesValues_F64__test_ok[rust] (passed); TestSupportedDatatypesValues_Bool__test_ok[rust] (passed); TestSupportedDatatypesValues_String__test_ok[rust] (passed); TestSupportedDatatypesValues_Array__test_ok[rust] (passed); TestSupportedDatatypesValues_Object__test_ok[rust] (passed) version: 1 derived from: feat_req__persistency__support_datatype_value satisfied by: comp__persistency_kvs
The component shall accept only values of the following data types: Number, String, Null, Array[Value], or Dictionary{Key:Value}.
comp_req__kvs__value_data_types		Component Requirement

Value Serialization		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__support_datatype_value satisfied by: comp__persistency_kvs
The component shall serialize and deserialize all values to and from JSON.
comp_req__kvs__value_serialize		Component Requirement

Value Length		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__support_datatype_value satisfied by: comp__persistency_kvs
The component shall limit the maximum length of a value to 1024 bytes.
comp_req__kvs__value_length		Component Requirement

Value Default		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestDefaultValues__test_valid[optional-cpp] (passed); TestDefaultValues__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[without-cpp] (passed); TestRemoveKey__test_valid[optional-cpp] (passed); TestRemoveKey__test_valid[required-cpp] (passed); TestRemoveKey__test_valid[without-cpp] (passed); TestMalformedDefaultsFile__test_invalid[optional-cpp] (passed); TestMalformedDefaultsFile__test_invalid[required-cpp] (passed); TestMissingDefaultsFile__test_invalid[required-cpp] (passed); TestResetAllKeys__test_valid[optional-cpp] (passed); TestResetAllKeys__test_valid[required-cpp] (passed); TestResetSingleKey__test_valid[optional-cpp] (passed); TestResetSingleKey__test_valid[required-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[optional-rust] (passed); TestDefaultValues__test_valid[required-rust] (passed); TestDefaultValues__test_valid[without-rust] (passed); TestRemoveKey__test_valid[optional-rust] (passed); TestRemoveKey__test_valid[required-rust] (passed); TestRemoveKey__test_valid[without-rust] (passed); TestMalformedDefaultsFile__test_invalid[optional-rust] (passed); TestMalformedDefaultsFile__test_invalid[required-rust] (passed); TestMissingDefaultsFile__test_invalid[required-rust] (passed); TestResetAllKeys__test_valid[optional-rust] (passed); TestResetAllKeys__test_valid[required-rust] (passed); TestResetSingleKey__test_valid[optional-rust] (passed); TestResetSingleKey__test_valid[required-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[required-rust] (passed) version: 1 derived from: feat_req__persistency__default_values, feat_req__persistency__support_datatype_value satisfied by: comp__persistency_kvs
The component shall support unset values and shall provide a default value when a value is unset.
comp_req__kvs__value_default		Component Requirement

Value Reset		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestResetAllKeys__test_valid[optional-cpp] (passed); TestResetAllKeys__test_valid[required-cpp] (passed); TestResetAllKeys__test_valid[optional-rust] (passed); TestResetAllKeys__test_valid[required-rust] (passed) version: 1 derived from: feat_req__persistency__default_values, feat_req__persistency__support_datatype_value satisfied by: comp__persistency_kvs
The component shall allow resetting a value to its default if a default is defined.
comp_req__kvs__value_reset		Component Requirement

Default Value Datatypes		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestDefaultValues__test_valid[optional-cpp] (passed); TestDefaultValues__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[without-cpp] (passed); TestRemoveKey__test_valid[optional-cpp] (passed); TestRemoveKey__test_valid[required-cpp] (passed); TestRemoveKey__test_valid[without-cpp] (passed); TestMalformedDefaultsFile__test_invalid[optional-cpp] (passed); TestMalformedDefaultsFile__test_invalid[required-cpp] (passed); TestMissingDefaultsFile__test_invalid[required-cpp] (passed); TestResetAllKeys__test_valid[optional-cpp] (passed); TestResetAllKeys__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[optional-rust] (passed); TestDefaultValues__test_valid[required-rust] (passed); TestDefaultValues__test_valid[without-rust] (passed); TestRemoveKey__test_valid[optional-rust] (passed); TestRemoveKey__test_valid[required-rust] (passed); TestRemoveKey__test_valid[without-rust] (passed); TestMalformedDefaultsFile__test_invalid[optional-rust] (passed); TestMalformedDefaultsFile__test_invalid[required-rust] (passed); TestMissingDefaultsFile__test_invalid[required-rust] (passed); TestResetAllKeys__test_valid[optional-rust] (passed); TestResetAllKeys__test_valid[required-rust] (passed) version: 1 derived from: feat_req__persistency__default_value_file, feat_req__persistency__default_value_get, feat_req__persistency__default_values, feat_req__persistency__reset_to_default satisfied by: comp__persistency_kvs
The component shall accept default values of only permitted value data types.
comp_req__kvs__default_value_types		Component Requirement

Default Value Query		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestDefaultValues__test_valid[optional-cpp] (passed); TestDefaultValues__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[without-cpp] (passed); TestDefaultValues__test_valid[optional-rust] (passed); TestDefaultValues__test_valid[required-rust] (passed); TestDefaultValues__test_valid[without-rust] (passed) version: 1 derived from: feat_req__persistency__default_value_file, feat_req__persistency__default_value_get, feat_req__persistency__default_values, feat_req__persistency__reset_to_default satisfied by: comp__persistency_kvs
The component shall provide an API to retrieve default values.
comp_req__kvs__default_value_query		Component Requirement

Default Value Config		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestDefaultValues__test_valid[optional-cpp] (passed); TestDefaultValues__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[without-cpp] (passed); TestRemoveKey__test_valid[optional-cpp] (passed); TestRemoveKey__test_valid[required-cpp] (passed); TestRemoveKey__test_valid[without-cpp] (passed); TestMalformedDefaultsFile__test_invalid[optional-cpp] (passed); TestMalformedDefaultsFile__test_invalid[required-cpp] (passed); TestMissingDefaultsFile__test_invalid[required-cpp] (passed); TestResetAllKeys__test_valid[optional-cpp] (passed); TestResetAllKeys__test_valid[required-cpp] (passed); TestResetSingleKey__test_valid[optional-cpp] (passed); TestResetSingleKey__test_valid[required-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[required-cpp] (passed); TestDefaultValues__test_valid[optional-rust] (passed); TestDefaultValues__test_valid[required-rust] (passed); TestDefaultValues__test_valid[without-rust] (passed); TestRemoveKey__test_valid[optional-rust] (passed); TestRemoveKey__test_valid[required-rust] (passed); TestRemoveKey__test_valid[without-rust] (passed); TestMalformedDefaultsFile__test_invalid[optional-rust] (passed); TestMalformedDefaultsFile__test_invalid[required-rust] (passed); TestMissingDefaultsFile__test_invalid[required-rust] (passed); TestResetAllKeys__test_valid[optional-rust] (passed); TestResetAllKeys__test_valid[required-rust] (passed); TestResetSingleKey__test_valid[optional-rust] (passed); TestResetSingleKey__test_valid[required-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[required-rust] (passed) version: 1 derived from: feat_req__persistency__default_value_file, feat_req__persistency__default_value_get, feat_req__persistency__default_values, feat_req__persistency__reset_to_default satisfied by: comp__persistency_kvs
The component shall allow configuration of default values in code or in a separate configuration file.
comp_req__kvs__default_value_cfg		Component Requirement

Default Value Checksum		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestChecksumOnProvidedDefaults__test_valid[optional-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[required-cpp] (passed); TestChecksumOnProvidedDefaults__test_valid[optional-rust] (passed); TestChecksumOnProvidedDefaults__test_valid[required-rust] (passed) version: 1 derived from: feat_req__persistency__default_value_file, feat_req__persistency__default_value_get, feat_req__persistency__default_values, feat_req__persistency__reset_to_default satisfied by: comp__persistency_kvs
The component shall secure the configuration file for default values with an associated checksum file when default values are stored in a file.
comp_req__kvs__default_val_chksum		Component Requirement

Constraint Configuration		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__cfg satisfied by: comp__persistency_kvs
The component shall allow configuration of KVS constraints at compile-time using source code constants or at runtime using a configuration file.
comp_req__kvs__constraints		Component Requirement

Concurrency		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestMultipleInstanceIds__test_ok[cpp] (passed); TestSameInstanceIdSameValue__test_ok[cpp] (passed); TestSameInstanceIdDifferentValue__test_ok[cpp] (passed); TestMultipleInstanceIds__test_ok[rust] (passed); TestSameInstanceIdSameValue__test_ok[rust] (passed); TestSameInstanceIdDifferentValue__test_ok[rust] (passed) version: 1 derived from: feat_req__persistency__concurrency satisfied by: comp__persistency_kvs
The component shall implement thread-safe mechanisms to enable concurrent access to data without data races.
comp_req__kvs__concurrency		Component Requirement

Multi-Instance		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestMultipleInstanceIds__test_ok[cpp] (passed); TestSameInstanceIdSameValue__test_ok[cpp] (passed); TestSameInstanceIdDifferentValue__test_ok[cpp] (passed); TestMultipleInstanceIds__test_ok[rust] (passed); TestSameInstanceIdSameValue__test_ok[rust] (passed); TestSameInstanceIdDifferentValue__test_ok[rust] (passed) version: 1 derived from: feat_req__persistency__multiple_kvs satisfied by: comp__persistency_kvs
The component shall manage all runtime variables within an instance to enable creation and use of multiple KVS instances concurrently within a single software architecture element.
comp_req__kvs__multi_instance		Component Requirement

Persistent Data Storage Components		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestExplicitFlush__test_data_stored[rust] (passed) version: 1 derived from: feat_req__persistency__integrity_check, feat_req__persistency__store_data satisfied by: comp__persistency_kvs
The component shall use the file API and the JSON data format to persist data.
comp_req__kvs__persist_data_com		Component Requirement

Persistent Data Storage Checksum Write		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__integrity_check, feat_req__persistency__store_data satisfied by: comp__persistency_kvs
The component shall generate a checksum for each data file and shall store it alongside the data.
comp_req__kvs__pers_data_csum		Component Requirement

Persistent Data Storage Checksum Verify		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__integrity_check, feat_req__persistency__load_data satisfied by: comp__persistency_kvs
The component shall verify the checksum when loading data.
comp_req__kvs__pers_data_csum_vrfy		Component Requirement

Persistent Data Storage Backend		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__integrity_check, feat_req__persistency__store_data satisfied by: comp__persistency_kvs
The component shall use the file API to persist data.
comp_req__kvs__pers_data_store_bnd		Component Requirement

Persistent Data Storage Format		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__integrity_check, feat_req__persistency__store_data satisfied by: comp__persistency_kvs
The component shall use the JSON data format to persist data.
comp_req__kvs__pers_data_store_fmt		Component Requirement

Persistent Data Versioning		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__update_mechanism, feat_req__persistency__versioning satisfied by: comp__persistency_kvs
The component shall not provide built-in versioning.
comp_req__kvs__pers_data_version		Component Requirement

Persistent Data Schema		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__update_mechanism, feat_req__persistency__versioning satisfied by: comp__persistency_kvs
The component shall use a JSON file storage format that enables the application to implement versioning, including upgrade and downgrade paths, as needed.
comp_req__kvs__pers_data_schema		Component Requirement

Maximum Number of Snapshots		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__cfg satisfied by: comp__persistency_kvs
The component shall maintain a configurable maximum number of snapshots. The maximum number shall be in the range <0..3>. A value of zero shall disable snapshot operations. A non-zero value shall specify the maximum number of snapshots. Default value shall be: 3.
comp_req__kvs__snapshot_max_num_cfg		Component Requirement

Snapshot Create API		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_create satisfied by: comp__persistency_kvs
The component shall provide an API for creating snapshots. The API shall accept an argument that selects a snapshot slot by index. The API should return an error when provided slot index is out of range. See Snapshot Maximum Number (comp_req__kvs__snapshot_max_num). Note A snapshot is a point-in-time, frozen view of all values in a key-value storage.
comp_req__kvs__snapshot_create_api		Component Requirement

Snapshot Create		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_create satisfied by: comp__persistency_kvs
The component shall create a new snapshot in the selected snapshot slot when the slot is empty.
comp_req__kvs__snapshot_create		Component Requirement

Snapshot Overwrite		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_create satisfied by: comp__persistency_kvs
The component shall overwrite the selected snapshot slot when the slot is occupied.
comp_req__kvs__snapshot_overwrite		Component Requirement

Snapshot Restore API		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_restore satisfied by: comp__persistency_kvs
The component shall provide an API for restoring snapshots. The API shall accept an argument that selects a snapshot slot by index. The function shall return an error when the referenced snapshot slot is free. The API should return an error when provided slot index is out of range. See Snapshot Maximum Number (comp_req__kvs__snapshot_max_num).
comp_req__kvs__snapshot_restore_api		Component Requirement

Snapshot Remove API		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_remove satisfied by: comp__persistency_kvs
The component shall provide an API for removing snapshots. The API shall accept an argument that selects a snapshot slot by index. The function shall return an error when the referenced slot is free. The API should return an error when provided slot index is out of range. See Snapshot Maximum Number (comp_req__kvs__snapshot_max_num).
comp_req__kvs__snapshot_remove_api		Component Requirement

Explicit Snapshot Operations		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_create, feat_req__persistency__snapshot_remove, feat_req__persistency__snapshot_restore satisfied by: comp__persistency_kvs
The component shall perform snapshot creation, restoration, and deletion only when explicitly triggered by the user through the corresponding APIs.
comp_req__kvs__explicit_snapshot_operations		Component Requirement

Snapshot Slot Indexing		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_create satisfied by: comp__persistency_kvs
The component shall identify snapshot slots by a zero-based index, where the first slot has index 0, the second slot has index 1, and so on.
comp_req__kvs__snapshot_id_api		Component Requirement

Snapshot Data Source		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_create satisfied by: comp__persistency_kvs
The component shall use the live values set by the user, regardless of whether the values have been flushed to disk.
comp_req__kvs__snapshot_source		Component Requirement

Snapshot Slot Free Query API		status: valid security: NO safety: ASIL_B
tags: valid, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__cfg, feat_req__persistency__snapshot_create, feat_req__persistency__snapshot_remove satisfied by: comp__persistency_kvs
The component shall provide an API to check whether a slot identified by a snapshot index is free or occupied. The API should return an error when provided slot index is out of range. See Snapshot Maximum Number (comp_req__kvs__snapshot_max_num).
comp_req__kvs__snapshot_slot_free_api		Component Requirement

Snapshot Creation		status: invalid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestSnapshotCountFirstFlush__test_ok[0-cpp] (skipped); TestSnapshotCountFirstFlush__test_ok[1-cpp] (skipped); TestSnapshotCountFirstFlush__test_ok[3-cpp] (skipped); TestSnapshotCountFirstFlush__test_ok[10-cpp] (skipped); TestSnapshotCountFull__test_ok[0-cpp] (skipped); TestSnapshotCountFull__test_ok[1-cpp] (skipped); TestSnapshotCountFull__test_ok[3-cpp] (skipped); TestSnapshotCountFull__test_ok[10-cpp] (skipped); TestSnapshotRestorePrevious__test_ok[3-cpp] (passed); TestSnapshotRestorePrevious__test_ok[10-cpp] (passed); TestSnapshotRestoreCurrent__test_error[cpp] (passed); TestSnapshotRestoreNonexistent__test_error[cpp] (passed); TestSnapshotPathsExist__test_ok[cpp] (passed); TestSnapshotPathsNonexistent__test_error[cpp] (passed); TestSnapshotCountFirstFlush__test_ok[0-rust] (passed); TestSnapshotCountFirstFlush__test_ok[1-rust] (passed); TestSnapshotCountFirstFlush__test_ok[3-rust] (passed); TestSnapshotCountFirstFlush__test_ok[10-rust] (passed); TestSnapshotCountFull__test_ok[0-rust] (passed); TestSnapshotCountFull__test_ok[1-rust] (passed); TestSnapshotCountFull__test_ok[3-rust] (passed); TestSnapshotCountFull__test_ok[10-rust] (passed); TestSnapshotRestorePrevious__test_ok[3-rust] (passed); TestSnapshotRestorePrevious__test_ok[10-rust] (passed); TestSnapshotRestoreCurrent__test_error[rust] (passed); TestSnapshotRestoreNonexistent__test_error[rust] (passed); TestSnapshotPathsExist__test_ok[rust] (passed); TestSnapshotPathsNonexistent__test_error[rust] (passed) version: 1 derived from: feat_req__persistency__snapshot_create satisfied by: comp__persistency_kvs
The component shall create a snapshot each time data is stored. Note This requirement is invalid after change of snapshot handling (see #436)
comp_req__kvs__snapshot_creation		Component Requirement

Snapshot Maximum Number		status: invalid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestSnapshotMaxCount__test_ok[0-cpp] (skipped); TestSnapshotMaxCount__test_ok[1-cpp] (skipped); TestSnapshotMaxCount__test_ok[3-cpp] (skipped); TestSnapshotMaxCount__test_ok[10-cpp] (skipped); TestSnapshotMaxCount__test_ok[0-rust] (passed); TestSnapshotMaxCount__test_ok[1-rust] (passed); TestSnapshotMaxCount__test_ok[3-rust] (passed); TestSnapshotMaxCount__test_ok[10-rust] (passed) version: 1 derived from: feat_req__persistency__cfg satisfied by: comp__persistency_kvs
The component shall maintain a configurable maximum number of snapshots. Note This requirement is invalid after change of snapshot handling (see #436)
comp_req__kvs__snapshot_max_num		Component Requirement

Snapshot IDs		status: invalid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_create satisfied by: comp__persistency_kvs
The component shall assign the ID 1 to the newest snapshot and shall increment the IDs of older snapshots accordingly. Note This requirement is invalid after change of snapshot handling (see #436)
comp_req__kvs__snapshot_id		Component Requirement

Snapshot Rotation		status: invalid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestSnapshotRestorePrevious__test_ok[3-cpp] (passed); TestSnapshotRestorePrevious__test_ok[10-cpp] (passed); TestSnapshotRestorePrevious__test_ok[3-rust] (passed); TestSnapshotRestorePrevious__test_ok[10-rust] (passed) version: 1 derived from: feat_req__persistency__snapshot_remove, feat_req__persistency__snapshot_restore satisfied by: comp__persistency_kvs
The component shall rotate and delete the oldest snapshot when the maximum number is reached. Note This requirement is invalid after change of snapshot handling (see #436)
comp_req__kvs__snapshot_rotate		Component Requirement

Snapshot Restore		status: invalid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional testlink: TestSnapshotRestorePrevious__test_ok[3-cpp] (passed); TestSnapshotRestorePrevious__test_ok[10-cpp] (passed); TestSnapshotRestoreNonexistent__test_error[cpp] (passed); TestSnapshotRestorePrevious__test_ok[3-rust] (passed); TestSnapshotRestorePrevious__test_ok[10-rust] (passed); TestSnapshotRestoreNonexistent__test_error[rust] (passed) version: 1 derived from: feat_req__persistency__snapshot_restore satisfied by: comp__persistency_kvs
The component shall allow restoration of a snapshot by its ID. Note This requirement is invalid after change of snapshot handling (see #436)
comp_req__kvs__snapshot_restore		Component Requirement

Snapshot Deletion		status: invalid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__snapshot_remove satisfied by: comp__persistency_kvs
The component shall allow deletion of individual snapshots. Note This requirement is invalid after change of snapshot handling (see #436)
comp_req__kvs__snapshot_delete		Component Requirement

Engineering Mode		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__dev_mode satisfied by: comp__persistency_kvs
The component shall provide an engineering mode that can be enabled during build time to display debugging and internal information.
comp_req__kvs__eng_mode		Component Requirement

Field Mode		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__prod_mode satisfied by: comp__persistency_kvs
The component shall provide a field mode that can be enabled during build time to restrict access as much as possible.
comp_req__kvs__field_mode		Component Requirement

Async API		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__async_api satisfied by: comp__persistency_kvs
The component shall provide an asynchronous API in addition to the standard API.
comp_req__kvs__async_api		Component Requirement

Permission Control		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__access_control satisfied by: comp__persistency_kvs
The component shall rely on the underlying filesystem for access and permission management and shall not implement its own access or permission controls.
comp_req__kvs__permission_control		Component Requirement

Permission Error Handling		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__access_control satisfied by: comp__persistency_kvs
The component shall report any access or permission errors encountered at the filesystem level to the application.
comp_req__kvs__permission_err_hndl		Component Requirement

Callback Support		status: valid security: NO safety: ASIL_B
tags: inspected, kvs reqtype: Functional version: 1 derived from: feat_req__persistency__async_api, feat_req__persistency__async_completion satisfied by: comp__persistency_kvs
The component shall provide an API for registering callbacks that are triggered by data change events.
comp_req__kvs__callback_support		Component Requirement

Assumption of Use Requirements

none

Environmental Requirements

none