Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-02-node-requirements:nod-008-observe-a-node:nod-008c-observe-node-activity [2026/08/17 14:20] – removed - external edit (Unknown date) 127.0.0.1 | dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-02-node-requirements:nod-008-observe-a-node:nod-008c-observe-node-activity [2026/08/17 14:20] (current) – ↷ Links adapted because of a move operation nick_dido | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== NOD-008c — Observe Node Activity ====== | ||
| + | [[dido: | ||
| + | |||
| + | ===== Statement ===== | ||
| + | |||
| + | The [[dido: | ||
| + | |||
| + | ===== Derived From ===== | ||
| + | |||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | |||
| + | ===== Rationale ===== | ||
| + | |||
| + | Observation of Node activity establishes what a Node does while participating in a Test Environment. | ||
| + | |||
| + | Node activity includes lifecycle operations, processes, interactions, | ||
| + | |||
| + | The governing Test Definition identifies the Node activities subject to observation and the expected sequence, timing, sources, destinations, | ||
| + | |||
| + | The DIDO-TE preserves the distinction between expected, authorized, commanded, reported, and observed activity. A Node report does not establish that an activity occurred when other observations contradict the report. | ||
| + | |||
| + | NOD-008c governs lifecycle-wide observation of Node activity. [[dido: | ||
| + | |||
| + | Missing, delayed, incomplete, or incorrectly attributed activity observations may prevent the DIDO-TE from reconstructing Node behavior, detecting unauthorized interaction, | ||
| + | |||
| + | ===== Applies To ===== | ||
| + | |||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | |||
| + | ===== Verification ===== | ||
| + | |||
| + | Verification confirms that: | ||
| + | |||
| + | - The governing Test Definition identifies each Node activity subject to observation. | ||
| + | - The governing Test Definition identifies the expected sequence, timing, sources, destinations, | ||
| + | - The DIDO-TE observes each Node activity identified by the governing Test Definition. | ||
| + | - The DIDO-TE observes the lifecycle operations, processes, interactions, | ||
| + | - The DIDO-TE identifies the source of each activity observation. | ||
| + | - The DIDO-TE associates each observed activity with the identity of the Node. | ||
| + | - The DIDO-TE associates each observed activity with a controlled time, sequence, and operating context. | ||
| + | - The DIDO-TE associates each observed interaction with its source, destination, | ||
| + | - The DIDO-TE associates each observed input and output with the Node activity that consumes or produces it. | ||
| + | - The DIDO-TE distinguishes expected, authorized, commanded, reported, and observed Node activity. | ||
| + | - The DIDO-TE distinguishes activity occurring within a Test Execution from activity occurring outside that Test Execution. | ||
| + | - The DIDO-TE detects Node activity occurring while the Node occupies a state that prohibits the activity. | ||
| + | - The DIDO-TE detects activity using an invalid, unavailable, | ||
| + | - The DIDO-TE detects an unauthorized source, destination, | ||
| + | - The DIDO-TE detects missing, unexpected, duplicate, conflicting, | ||
| + | - The DIDO-TE detects a difference between reported Node activity and observed Node activity. | ||
| + | - The DIDO-TE detects an identified Node activity that does not occur. | ||
| + | - The DIDO-TE detects an interruption or gap in the observation of required Node activity. | ||
| + | - The DIDO-TE prevents observed activity from being attributed to the wrong Node. | ||
| + | - The DIDO-TE determines the effect of unexpected, unauthorized, | ||
| + | - The DIDO-TE preserves the information required to reconstruct the sequence of material Node activity. | ||
| + | - The DIDO-TE maintains Traceability among the Node identity, Node Definition, Node Implementation, | ||
| + | - Missing, delayed, incomplete, inaccurate, unauthorized, | ||
| + | |||
| + | ===== Referenced By ===== | ||
| + | |||
| + | The following pages reference this requirement: | ||
| + | |||
| + | {{backlinks> | ||