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-009-control-node-resources:nod-009c-control-node-resource-use [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-009-control-node-resources:nod-009c-control-node-resource-use [2026/08/17 14:20] (current) – ↷ Links adapted because of a move operation nick_dido | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== NOD-009c — Control Node Resource Use ====== | ||
| + | [[dido: | ||
| + | |||
| + | ===== Statement ===== | ||
| + | |||
| + | The [[dido: | ||
| + | |||
| + | ===== Derived From ===== | ||
| + | |||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | |||
| + | ===== Rationale ===== | ||
| + | |||
| + | Control of Node resource use enforces the conditions governing how a Node accesses, consumes, invokes, modifies, occupies, shares, and retains an allocated resource. | ||
| + | |||
| + | The governing Test Definition specifies the authorized quantities, capacities, rates, durations, priorities, access restrictions, | ||
| + | |||
| + | Resource-use control acts on information produced under [[dido: | ||
| + | |||
| + | A resource-control action may alter Node behavior, timing, availability, | ||
| + | |||
| + | Resource-use control prevents unauthorized use, exhaustion, contention, leakage, interference, | ||
| + | |||
| + | ===== Applies To ===== | ||
| + | |||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | |||
| + | ===== Verification ===== | ||
| + | |||
| + | Verification confirms that: | ||
| + | |||
| + | - The governing Test Definition specifies each resource-use condition subject to control. | ||
| + | - Each resource-use condition identifies the governed Node and resource. | ||
| + | - Each resource-use condition specifies the authorized quantity, capacity, rate, duration, priority, access restriction, | ||
| + | - The governing Test Procedure specifies the actions used to restrict, suspend, restore, or terminate resource use. | ||
| + | - The DIDO-TE controls the Node’s access to each governed resource. | ||
| + | - The DIDO-TE controls the quantity, capacity, rate, duration, and priority of resource use specified by the governing Test Definition. | ||
| + | - The DIDO-TE enforces the access restrictions, | ||
| + | - The DIDO-TE prevents the Node from using a resource not allocated to that Node. | ||
| + | - The DIDO-TE prevents the Node from exceeding a specified resource-use limit. | ||
| + | - The DIDO-TE prevents unauthorized sharing, transfer, retention, or modification of a resource. | ||
| + | - The DIDO-TE restricts, suspends, restores, or terminates resource use through the actions specified by the governing Test Procedure. | ||
| + | - The DIDO-TE verifies the identity of the Node and resource before applying a resource-control action. | ||
| + | - The DIDO-TE identifies the intended effect of each resource-control action. | ||
| + | - The DIDO-TE observes the actual effect of each resource-control action. | ||
| + | - The DIDO-TE detects a difference between the intended effect and actual effect of a resource-control action. | ||
| + | - The DIDO-TE detects an incomplete, ineffective, | ||
| + | - The DIDO-TE prevents a resource-control action from unnecessarily affecting an unrelated Node, resource, or Test Execution. | ||
| + | - The DIDO-TE determines the effect of each resource-control action on the Node state, Node activity, Test Environment, | ||
| + | - An unsuccessful resource-control action leaves the Node and resource in known states or identifies their actual states and required corrective action. | ||
| + | - The DIDO-TE maintains Traceability among the Node identity, resource identity, governing Test Definition, governing Test Procedure, resource allocation, observed resource use, resource-control action, intended effect, actual effect, Test Executions, Test Results, and resulting Evidence. | ||
| + | - Missing, delayed, incomplete, ineffective, | ||
| + | |||
| + | ===== Referenced By ===== | ||
| + | |||
| + | The following pages reference this requirement: | ||
| + | |||
| + | {{backlinks> | ||
| + | |||
| + | ===== Delivery Phase ===== | ||
| + | |||
| + | < | ||
| + | |||
| + | ===== Implementation Status ===== | ||
| + | |||
| + | < | ||
| + | |||
| + | ===== Requirement Status ===== | ||
| + | |||
| + | < | ||
| + | |||
| + | ---- | ||
| + | |||
| + | ===== Issues ===== | ||
| + | |||
| + | < | ||
| + | |||
| + | ---- | ||
| + | |||
| + | ===== Notes for Editors ===== | ||
| + | |||
| + | <code dokuwiki> | ||
| + | {{section> | ||
| + | </ | ||
| + | |||
| + | ---- | ||
| + | |||
| + | <WRAP centeralign> | ||
| + | © 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc. | ||
| + | </ | ||