Requirements

One-way data sharing into a VM		status: valid security: YES safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
The system shall support one-way data sharing into a VM for vehicle state read-only for the VM (snapshot state).
feat_req__nonipc__one_way_sharing		Feature Requirement

Read-only access for VM		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
The consumer (VM) shall have read-only access to the shared data.
feat_req__nonipc__readonly_vm		Feature Requirement

Consistent data-sets		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
The system shall support consistent data-sets, allowing the consumer to obtain a consistent version of related data items.
feat_req__nonipc__consistent_data		Feature Requirement

Lock-free access		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
Consistent access to data must be lock-free.
feat_req__nonipc__lock_free_access		Feature Requirement

Producer time stamps		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
Producer time stamps shall be available for related data-sets.
feat_req__nonipc__producer_timestamps		Feature Requirement

Streamed data based on shared queues		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
The system shall support streamed data based on shared queues (stream of events or data).
feat_req__nonipc__streamed_data		Feature Requirement

Configurable queues		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
Queues shall be configurable by the client (VM), including the number of elements and buffer allocation.
feat_req__nonipc__configurable_queues		Feature Requirement

Lock-free queue access		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
Queues shall support lock-free access to data elements.
feat_req__nonipc__lock_free_queue		Feature Requirement

Bi-directional communication		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
The system shall support bi-directional communication via writable data elements by the client.
feat_req__nonipc__bi_directional_comm		Feature Requirement

Asynchronous support		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
The system shall provide asynchronous bi-directional support via multiple queues.
feat_req__nonipc__async_support		Feature Requirement

Shared memory chunks		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
The system shall support multiple chunks of shared memory to allow required access control.
feat_req__nonipc__shared_memory		Feature Requirement

Data update notifications		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
Notifications for data updates shall be available (virtual IRQs in a VM).
feat_req__nonipc__data_notifications		Feature Requirement

Configurable notifications		status: valid security: NO safety: QM
reqtype: Functional satisfies: stkh_req__communication__vm
Notifications shall be configurable by consumers of data (using flags or watermarks in shared memory from client to producer).
feat_req__nonipc__config_notifications		Feature Requirement