| |
| dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-03-twin-node-requirements:twin-005-acquire-twin-state:twin-005a-establish-the-initial-twin-state [2026/08/20 17:00] – created nick_dido | dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-03-twin-node-requirements:twin-005-acquire-twin-state:twin-005a-establish-the-initial-twin-state [2026/08/20 17:04] (current) – nick_dido |
|---|
| ====== TWIN-005a — Establish the Initial Twin State ====== | ====== TWIN-005a — Establish the Initial State of a Twin Realization ====== |
| |
| [[dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-03-twin-node-requirements:twin-005-acquire-twin-state:start|Go to TWIN-005 — Access Twin State]] | [[dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-03-twin-node-requirements:twin-005-acquire-twin-state:start|Go to TWIN-005 — Access Twin Realization State]] |
| |
| ===== Statement ===== | ===== Statement ===== |
| |
| The [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] SHALL establish the initial [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_state|Twin State]] of each [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_realization|Twin Realization]] before that Twin Realization participates in [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]]. | The [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] SHALL establish the initial state of each [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_realization|Twin Realization]] before that Twin Realization participates in [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]]. |
| |
| ===== Source ===== | ===== Source ===== |
| ===== Rationale ===== | ===== Rationale ===== |
| |
| A controlled initial [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_state|Twin State]] establishes the starting condition from which changes in the represented characteristics of a [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_realization|Twin Realization]] are observed and interpreted. | A controlled initial state establishes the starting condition from which changes in the represented characteristics of a [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_realization|Twin Realization]] are observed and interpreted. |
| |
| Without an established initial Twin State, subsequent synchronization, simulation, comparison, [[dido:99_annexes:annex-b-terms-and-definitions:v:validation|Validation]], or Test Execution results may lack a reproducible starting condition. | Without an established initial state, subsequent synchronization, simulation, comparison, [[dido:99_annexes:annex-b-terms-and-definitions:v:validation|Validation]], or [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]] results may lack a reproducible starting condition. |
| |
| The initial Twin State derives from the characteristics represented by the [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_relationship|Twin Relationship]], the associated [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_data_mapping|Twin Data Mappings]], and the governing [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configuration]]. | The initial state derives from the characteristics represented by the [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_relationship|Twin Relationship]], the associated [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_data_mapping|Twin Data Mappings]], and the governing [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configuration]]. |
| |
| Establishing the initial Twin State does not require a Twin Realization to reproduce every characteristic of the corresponding Node or referent. It establishes the condition of the characteristics represented within the Twin Relationship. | Establishing the initial state does not require a Twin Realization to reproduce every characteristic of its referent. It establishes the condition of the characteristics represented within the Twin Relationship. |
| |
| ===== Applies To ===== | ===== Applies To ===== |
| |
| * [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] | * [[dido:99_annexes:annex-b-terms-and-definitions:d:dido-te|DIDO-TE]] |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_state|Twin State]] | |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_identity|Twin Identity]] | * [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_identity|Twin Identity]] |
| * [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_relationship|Twin Relationship]] | * [[dido:99_annexes:annex-b-terms-and-definitions:t:twin_relationship|Twin Relationship]] |
| Verification confirms that: | Verification confirms that: |
| |
| - Each Twin Realization participating in Test Execution has an established initial Twin State. | - Each Twin Realization participating in Test Execution has an established initial state. |
| - The initial Twin State is established before the Twin Realization participates in Test Execution. | - The initial state is established before the Twin Realization participates in Test Execution. |
| - The initial Twin State includes the represented characteristics required by the governing Twin Relationship. | - The initial state includes the represented characteristics required by the governing Twin Relationship. |
| - The initial Twin State conforms to the governing Configuration and Twin Data Mappings. | - The initial state conforms to the governing Configuration and Twin Data Mappings. |
| - Characteristics outside the scope of the Twin Relationship are not required to establish the initial Twin State. | - Characteristics outside the scope of the Twin Relationship are not required to establish the initial state. |
| - The established initial Twin State is determinable before Test Execution begins. | - The initial state is determinable before Test Execution begins. |
| - The established initial Twin State is traceable to the Twin Realization and the governing Test Definition or Configuration. | - The initial state is traceable to the Twin Realization and the governing Test Definition or Configuration. |
| |
| Verification includes a Test Execution using a Twin Realization and confirms that its initial Twin State is established and recorded before execution begins. | Verification includes a Test Execution using a Twin Realization and confirms that its initial state is established and recorded before execution begins. |
| |
| ===== Traceability ===== | ===== Traceability ===== |
| This requirement establishes the controlled starting condition of a Twin Realization before Test Execution. | This requirement establishes the controlled starting condition of a Twin Realization before Test Execution. |
| |
| The initial Twin State provides the reference condition for subsequent determination of the current Twin State, synchronization, simulation, comparison, Validation, monitoring, and evidence generation. | The initial state provides the reference condition for subsequent determination of the current state of the Twin Realization, synchronization, simulation, comparison, Validation, monitoring, and evidence generation. |
| |
| ===== Delivery Phase ===== | ===== Delivery Phase ===== |