dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004d-control-time-sources

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004d-control-time-sources [2026/08/18 12:34] – removed - external edit (Unknown date) 127.0.0.1dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004d-control-time-sources [2026/08/18 12:34] (current) – ↷ Links adapted because of a move operation nick_dido
Line 1: Line 1:
 +====== ENV-004d — Control Time Sources ======
  
 +[[dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:start|Go to ENV-004 — Provide Deterministic Test Environment]]
 +
 +===== Statement =====
 +
 +For each [[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 control or measure and record each time source identified by the applicable [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definition]].
 +
 +===== Derived From =====
 +
 +  * [[dido:03-dido-te:99-annexes:annex-c-requirements:03-functional-requirements:03-01-test-environment-requirements:env-004-provide-deterministic-test-environment:start|ENV-004 — Provide Deterministic Test Environment]]
 +  * [[dido:03-dido-te:99-annexes:annex-b-references:dte-005|[DTE5] DIDO-TE Requirements Register]], source requirement identifier and obligation to be assigned
 +  * [[dido:03-dido-te:99-annexes:annex-b-references:dte-006|[DTE6] Structured Information Processing Reference Architecture (SIP-RA)]]
 +  * [[dido:03-dido-te:99-annexes:annex-b-references:dte-007|[DTE7] Federated Data Interpretation Systems Reference Architecture (FDIS-RA)]]
 +
 +===== Rationale =====
 +
 +Time affects event ordering, scheduling, timeout behaviour, expiration, retries, message processing, transaction processing, security controls, and the interpretation of [[dido:99_annexes:annex-b-terms-and-definitions:t:test_result|Test Results]].
 +
 +A distributed [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]] may contain multiple physical, virtual, simulated, monotonic, or externally supplied time sources. Differences among these sources include offset, drift, precision, resolution, synchronisation status, adjustment behaviour, and leap-second handling.
 +
 +Where the Test Definition requires a fixed, simulated, or otherwise controlled time source, the DIDO-TE supplies and maintains that source. Where controlling a time source would distort the behaviour under test, the DIDO-TE measures and records its characteristics and variation.
 +
 +Explicit control or observation of time sources permits investigators to distinguish time-related environmental variation from the behaviour of the [[dido:99_annexes:annex-b-terms-and-definitions:t:test_object|Test Object]].
 +
 +===== Applies To =====
 +
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_environment|Test Environment]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_definition|Test Definition]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_execution|Test Execution]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_object|Test Object]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:n:node|Node]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:t:test_resource|Test Resource]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:c:configuration|Configuration]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:c:constraint|Constraint]]
 +  * [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]]
 +
 +===== Verification =====
 +
 +Verification confirms that:
 +
 +  * The applicable Test Definition identifies each time source capable of influencing the Test Execution or Test Results.
 +  * The controlled descriptive information specifies whether the DIDO-TE controls or measures and records each identified time source.
 +  * Each identified time source has a unique identity and specified provider.
 +  * Each identified time source specifies its clock type, reference, time zone, offset, precision, resolution, synchronisation method, drift tolerance, and adjustment behaviour, where applicable.
 +  * The DIDO-TE supplies each controlled time source with the specified characteristics.
 +  * The DIDO-TE measures each uncontrolled time source and records its applicable characteristics and variation.
 +  * The DIDO-TE detects loss of synchronisation, excessive offset, excessive drift, unexpected adjustment, unavailable time, and substitution of an unauthorised time source.
 +  * The DIDO-TE records time-source identity, configuration, synchronisation status, offset, drift, adjustments, detected deviations, and relevant timestamps as [[dido:99_annexes:annex-b-terms-and-definitions:e:evidence|Evidence]].
 +  * Timestamps used for correlation identify their applicable time source and provide sufficient precision and resolution for the Test Definition.
 +  * The DIDO-TE maintains [[dido:99_annexes:annex-b-terms-and-definitions:t:traceability|Traceability]] among each time source, its controlled descriptive information, affected Test Environment elements, Test Definition, Test Execution, and Test Results.
 +  * An unidentified, unavailable, unsynchronised, incorrectly configured, insufficiently precise, unmeasured, unrecorded, or untraceable time source constitutes nonconformance with this requirement when it falls outside the conditions permitted by the Test Definition.
 +
 +Verification includes:
 +
 +  * Inspection of the time sources identified by the Test Definition
 +  * Inspection of time-source identities, providers, types, references, time zones, offsets, precision, resolution, synchronisation methods, drift tolerances, and adjustment behaviour
 +  * Observation of controlled time-source provisioning
 +  * Observation of time-source measurement and recording
 +  * Comparison of timestamps produced by participating Nodes and Test Resources
 +  * Testing with loss of synchronisation, excessive offset, excessive drift, unexpected adjustment, unavailable time, or an unauthorised time source
 +  * Confirmation that the DIDO-TE detects and records each applicable deviation
 +  * Inspection of time-source status, measurement, adjustment, deviation, and timestamp Evidence
 +  * Inspection of Traceability records connecting each time source to its controlled descriptive information, affected elements, Test Definition, Test Execution, and Test Results
 +  * Confirmation that a time-source condition outside its permitted tolerance produces a nonconformance result
 +
 +===== Referenced By =====
 +
 +{{backlinks>.}}
 +
 +===== Related Architecture Sections =====
 +
 +  * Add links to the architecture sections governing time-source control, clock synchronisation, timestamping, event correlation, environmental monitoring, Evidence, and Traceability.
 +
 +===== Delivery Phase =====
 +
 +Assign the applicable delivery phase.
 +
 +===== Requirement Status =====
 +
 +Draft
 +
 +===== Statement Reference =====
 +
 +Use the following syntax to reference this requirement’s Statement section from another DokuWiki page:
 +
 +<code dokuwiki>
 +{{section>dido:03-dido-te:99-annexes:annex-c-requirements:02-test-environment-requirements:env-004-provide-deterministic-test-environment:env-004d-control-time-sources#Statement&noheader&nofooter&noeditbtn}}
 +</code>
 +
 +----
 +
 +<WRAP centeralign>
 +© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
 +</WRAP>