@@ -23,27 +23,17 @@ Requirements
23
23
:satisfies: stkh_req__dev_experience__prog_languages
24
24
:status: valid
25
25
26
- The key-value storage system shall provide concurrent access through both C++ and Rust interfaces.
26
+ The KVS system shall provide access through both C++ and Rust interfaces.
27
27
28
28
.. feat_req :: Maximum Size
29
29
:id: feat_req__kvs__maximum_size
30
30
:reqtype: Functional
31
31
:security: NO
32
32
:safety: ASIL_B
33
33
:satisfies: stkh_req__functiona_req__support_of_store
34
- :status: valid
35
-
36
- The key-value storage system shall support specification of its maximum capacity at compile time.
37
-
38
- .. feat_req :: Thread Safety
39
- :id: feat_req__kvs__thread_safety
40
- :reqtype: Functional
41
- :security: NO
42
- :safety: ASIL_B
43
- :satisfies: stkh_req__functiona_req__support_of_store
44
- :status: valid
34
+ :status: invalid
45
35
46
- The key-value storage system shall provide thread-safe access on a per-key basis .
36
+ The KVS system shall support specification of its maximum capacity at compile time .
47
37
48
38
.. feat_req :: Multiple KVS per Software Architecture Element
49
39
:id: feat_req__kvs__multiple_kvs
@@ -53,7 +43,7 @@ Requirements
53
43
:satisfies: stkh_req__functiona_req__support_of_store
54
44
:status: valid
55
45
56
- The key-value storage system shall allow instantiating multiple independent stores per software architecture element.
46
+ The KVS system shall allow instantiating multiple independent stores per software architecture element.
57
47
58
48
.. feat_req :: Supported Datatypes (Keys)
59
49
:id: feat_req__kvs__supported_datatypes_keys
@@ -63,7 +53,7 @@ Requirements
63
53
:satisfies: stkh_req__functiona_req__support_of_store
64
54
:status: valid
65
55
66
- The key-value storage system shall support UTF-8 encoded strings as valid key types.
56
+ The KVS system shall support UTF-8 encoded strings as valid key types.
67
57
68
58
.. feat_req :: Supported Datatypes (Values)
69
59
:id: feat_req__kvs__supported_datatypes_values
@@ -73,7 +63,7 @@ Requirements
73
63
:satisfies: stkh_req__functiona_req__support_of_store
74
64
:status: valid
75
65
76
- The key-value storage system shall support storing both primitive and non-primitive datatypes as values.
66
+ The KVS system shall support storing both primitive and non-primitive datatypes as values.
77
67
The supported datatypes shall match those used by the IPC feature.
78
68
79
69
.. feat_req :: Default Values
@@ -84,8 +74,7 @@ Requirements
84
74
:satisfies: stkh_req__functiona_req__support_of_store
85
75
:status: valid
86
76
87
- The key-value storage system shall support predefined default values for keys, specified via a configuration file.
88
- Note: Not every key is required to have a default value.
77
+ The KVS system shall support predefined default values for keys.
89
78
90
79
.. feat_req :: Default Value Retrieval
91
80
:id: feat_req__kvs__default_value_retrieval
@@ -95,7 +84,7 @@ Requirements
95
84
:satisfies: stkh_req__functiona_req__support_of_store
96
85
:status: valid
97
86
98
- The key-value storage system shall support retrieving the default value associated with a key.
87
+ The KVS system shall support retrieving the default value associated with a key.
99
88
100
89
.. feat_req :: Default Value Reset
101
90
:id: feat_req__kvs__default_value_reset
@@ -105,7 +94,7 @@ Requirements
105
94
:satisfies: stkh_req__functiona_req__support_of_store
106
95
:status: valid
107
96
108
- The key-value storage system shall support resetting a single key or all keys to their respective default values.
97
+ The KVS system shall support resetting a single key or all keys to their respective default values.
109
98
110
99
.. feat_req :: Persistency
111
100
:id: feat_req__kvs__persistency
@@ -115,7 +104,7 @@ Requirements
115
104
:satisfies: stkh_req__functiona_req__support_of_store
116
105
:status: valid
117
106
118
- The key-value storage system shall persist stored data and provide an API to explicitly trigger persistence.
107
+ The KVS system shall persist stored data and provide an API to explicitly trigger persistence.
119
108
120
109
.. feat_req :: Integrity Check
121
110
:id: feat_req__kvs__integrity_check
@@ -125,7 +114,7 @@ Requirements
125
114
:satisfies: stkh_req__functiona_req__support_of_store
126
115
:status: valid
127
116
128
- The key-value storage system shall detect and report data corruption.
117
+ The KVS system shall detect and report data corruption.
129
118
Note: Implementation depends on AoUs.
130
119
131
120
.. feat_req :: Versioning
@@ -136,7 +125,7 @@ Requirements
136
125
:satisfies: stkh_req__functiona_req__support_of_store
137
126
:status: valid
138
127
139
- The key-value storage system shall support versioning for different layout configurations.
128
+ The KVS system shall support versioning for different layout configurations.
140
129
141
130
.. feat_req :: Update Mechanism
142
131
:id: feat_req__kvs__update_mechanism
@@ -146,7 +135,7 @@ Requirements
146
135
:satisfies: stkh_req__functiona_req__support_of_store
147
136
:status: valid
148
137
149
- The key-value storage system shall implement mechanisms to upgrade from one version to another, including multi-version jumps.
138
+ The KVS system shall implement mechanisms to upgrade from one version to another, including multi-version jumps.
150
139
151
140
.. feat_req :: Snapshots
152
141
:id: feat_req__kvs__snapshots
@@ -156,7 +145,7 @@ Requirements
156
145
:satisfies: stkh_req__functiona_req__support_of_store
157
146
:status: valid
158
147
159
- The key-value storage system shall support explicit creation of snapshots identified by unique IDs and allow rollback to previous snapshots.
148
+ The KVS system shall support explicit creation of snapshots identified by unique IDs and allow rollback to previous snapshots.
160
149
Snapshots shall also be deletable.
161
150
162
151
.. feat_req :: Tooling
@@ -167,7 +156,7 @@ Requirements
167
156
:satisfies: stkh_req__functiona_req__support_of_store
168
157
:status: valid
169
158
170
- The key-value storage system shall provide tooling support for viewing and modifying key-value pairs during development and debugging.
159
+ The KVS system shall provide tooling support for viewing and modifying key-value pairs during development and debugging.
171
160
172
161
.. feat_req :: Stable APIs
173
162
:id: feat_req__kvs__stable_api
@@ -272,7 +261,7 @@ Requirements
272
261
273
262
The KVS shall ensure that key operations are typically completed within 5 milliseconds.
274
263
275
- .. feat_req :: Intra-process communication
264
+ .. feat_req :: Intra-Process Data Access
276
265
:id: feat_req__kvs__intra_process_comm
277
266
:reqtype: Functional
278
267
:security: NO
0 commit comments