← All reports
PDF Excel ReqIF

Air Traffic Control System

Verification Plan (SVP) — ISO/IEC/IEEE 15289 — Plan | IEEE 29148 §6.6
Generated 2026-03-27 — UHT Journal / universalhex.org

86
Verification Entries
154
Verification Links
67
Orphans

Verification Requirements (VER)

RefRequirementMethodTags
VER-011 The system-level track position accuracy (SYS-REQ-001) SHALL be verified by a full-system integration test using live radar sensor feeds and ADS-B reference transponders at known surveyed positions. Test procedure: (1) place 10 reference transponders at surveyed locations across the FIR; (2) run live radar and ADS-B ingestion for 1 hour; (3) compare fused track positions against surveyed references. Pass criterion: RMS position error ≤250m for en-route tracks and ≤50m for terminal tracks across all 10 reference positions.
Rationale: SYS-REQ-001 is a system-level performance requirement spanning SDP, DDN, and CWP — component-level tests verify individual contributions but cannot confirm end-to-end fused accuracy through the full processing chain. A reference transponder test at surveyed positions provides ground truth that simulation cannot replicate, per EUROCONTROL ESARR 4 integration verification requirements.
Test idempotency:ver-sys-001-track-accuracy
VER-012 The surveillance track picture update rate (SYS-REQ-002) SHALL be verified by injecting simulated radar and ADS-B data at maximum track density (2500 tracks) and measuring the display refresh interval at the CWP operator workstation. Pass criterion: en-route track symbols updated ≤4 seconds between refreshes; terminal area track symbols updated ≤1 second between refreshes; sustained over a 30-minute load period with no degradation.
Rationale: SYS-REQ-002 sets an end-to-end latency budget from sensor to display — verifying sub-systems in isolation does not confirm that the full pipeline (sensor ingestion → SDP fusion → FDP correlation → CWP render) meets the composite deadline. The 4s/1s thresholds are derived from ICAO Doc 4444 track update requirements for radar display systems; deviation would cause track history symbols to mislead controllers about aircraft position.
Test idempotency:ver-sys-002-update-rate
VER-013 The Short-Term Conflict Alert advance warning time and missed detection probability (SYS-REQ-004) SHALL be verified by replaying 1000 recorded near-miss scenarios through the full system, each with a known CPA time and separation minimum. Pass criterion: (1) system issues STCA alert ≥120 seconds before CPA in ≥99.999% of scenarios; (2) missed detection count ≤10 out of 1000 scenarios (10^-2 observed, extrapolated to 10^-5 per flight hour by FTA cross-check). Must include 100 scenarios with weather radar interference, Mode C garbling, and ADS-B spoofing.
Rationale: STCA is the last automated safety barrier before a mid-air collision — IEC 61508 SIL 3 requires missed detection probability ≤10^-5. Statistical test coverage of 1000 scenarios with adversarial inputs (garbling, spoofing) is required because analytical methods alone cannot account for multi-sensor fusion failure modes. EUROCONTROL ESARR 4 requires test-based validation for SIL 3 functions.
Test idempotency:ver-sys-004-stca-alert
VER-014 The system track and flight plan processing capacity (SYS-REQ-005) SHALL be verified by a load test injecting 2500 simultaneous correlated surveillance tracks and 5000 active flight plan records into the SDP/FDP systems, sustained for 60 minutes. Pass criterion: (1) CWP display refresh rate does not drop below 1 Hz during sustained load; (2) FDP flight plan query response time remains ≤500ms at 95th percentile; (3) SDP track processing latency remains ≤2 seconds end-to-end; (4) no track dropouts or flight plan data corruption observed.
Rationale: Capacity under concurrent load is an emergent property that cannot be confirmed by testing SDP and FDP in isolation — resource contention on the Data Distribution Network and shared processing nodes only manifests under full-system load. The 2500/5000 limits represent the declared FIR maximum; exceeding them would require flow restrictions on all traffic.
Test idempotency:ver-sys-005-capacity
VER-015 The network isolation between operational ATC network and external networks (SYS-REQ-006) SHALL be verified by a penetration test conducted by an accredited independent security assessor. Test procedure: (1) attempt to inject data directly into the ATC operational network from each external feed point (AFTN, meteorological, airline ACARS) without passing through the data diode or application gateway; (2) attempt to establish bidirectional communication through each unidirectional data diode; (3) attempt VLAN hop from external-facing switch to safety-critical VLAN. Pass criterion: all 3 test categories produce zero successful injections or bidirectional paths.
Rationale: Network isolation against external threats cannot be verified by inspection of configuration alone — misconfigurations, firmware vulnerabilities, and VLAN hop techniques require active testing. EUROCONTROL ESARR 5 requires independent security assessment for ATM systems connected to external networks. The data diode hardware provides a physical one-way enforcement mechanism whose correctness must be validated by attempted bypass.
Test idempotency:ver-sys-006-network-isolation
VER-016 The dual power supply switchover time and backup endurance (SYS-REQ-007) SHALL be verified by: (1) with all ATCS subsystems at full operational load, disconnect mains power feed and measure time to full transfer to diesel generator; (2) sustain operation on generator power alone for 72 hours with continuous system monitoring. Pass criterion: (1) switchover achieved in ≤500ms with no loss of ATC operational capability; (2) all subsystems remain fully operational throughout 72-hour generator run; (3) fuel consumption and battery buffer behaviour consistent with type-test specifications.
Rationale: Power continuity is a life-safety requirement — if the 500ms switchover target is not met, SDP and CWP displays may blank during handover, presenting controllers with an unannounced loss of traffic picture. The 72-hour endurance requirement addresses extended grid outage scenarios (weather events, national grid fault). These cannot be verified by analysis alone because generator load characteristics and battery buffer decay are system-specific.
Test idempotency:ver-sys-007-power-supply
VER-017 The medium-term conflict probe advance warning time (SYS-REQ-008) SHALL be verified by injecting 200 test flight plan pairs with known geometric intersection points at 15, 20, 25, and 30 minutes ahead, with varied aircraft performance and route configurations. Pass criterion: for all 50 cases with intersection ≥20 minutes ahead, the conflict probe tool notifies the controller within 30 seconds of flight plan entry; no false notification generated for any of the 150 cases with intersection <20 minutes or no intersection.
Rationale: The 20-minute advance warning is the controller planning horizon for conflict resolution at cruise altitudes — insufficient advance notice forces last-minute vector solutions that increase controller workload and may be infeasible in congested airspace. False positives (notification of non-conflicts) degrade controller trust and lead to alert suppression. Geometric injection testing at boundary values is required to confirm algorithm correctness at the 20-minute threshold.
Test idempotency:ver-sys-008-conflict-probe
VER-018 The degraded mode continuity and recovery time (SYS-REQ-009) SHALL be verified by failing each of the 11 ATCS subsystems in turn (one at a time, simulated by process termination or hardware removal) and measuring: (1) time to automatic switchover to backup/degraded mode; (2) minimum capability retained (surveillance display present, voice communications active); (3) time from failure injection to restoration of full service. Pass criterion: for each subsystem failure, degraded mode achieved in ≤30 seconds with surveillance and voice communications active; full service restored in ≤15 minutes by automated recovery or technician action.
Rationale: SYS-REQ-009 is the primary availability/resilience requirement — it must be tested by actual failure injection, not by analysis of redundancy architecture. Each subsystem has different failover mechanisms (hot standby SDP/FDP, passive VCS backup, RRS fallback) and recovery paths that must be validated individually. The 15-minute recovery target is derived from ANSP service level agreements with CAA and requires empirical confirmation.
Test idempotency:ver-sys-009-degraded-mode
VER-019 The OLDI B2B interface to EUROCONTROL CFMU Network Manager (SYS-REQ-010) SHALL be verified by end-to-end interoperability testing against the CFMU acceptance test environment. Test procedure: (1) initiate flight plan activation, modification, and cancellation messages for 50 test flights; (2) confirm round-trip message exchange timing; (3) inject 10 non-nominal scenarios (boundary crossing, flight plan amendment during active coordination). Pass criterion: all message types exchanged successfully per EUROCONTROL OLDI specification; message latency ≤2 seconds for all transaction types; no message loss or duplication in nominal or non-nominal scenarios.
Rationale: OLDI B2B interoperability requires testing against the actual CFMU acceptance environment — the protocol has version-specific behaviours and error handling that cannot be validated against a local stub. Coordination failures at sector boundaries are a historical cause of mid-air collision precursor events; the interface must be tested against real CFMU message flows.
Test idempotency:ver-sys-010-oldi-b2b
VER-020 The recording completeness, tamper-evidence, and regulatory access time (SYS-REQ-011) SHALL be verified by: (1) injecting 4 hours of synthetic track, voice, and controller input data and confirming all records are stored to the RRS; (2) attempting to modify a stored record and confirming the tamper-detection mechanism raises an integrity alert; (3) issuing a regulatory retrieval request and measuring time to delivery of a complete data package. Pass criterion: 100% of injected events captured in RRS; tamper attempt raises alert within 5 seconds and the modified record is flagged as invalid; data delivery to regulatory authority within 2 hours of request.
Rationale: SYS-REQ-011 has regulatory compliance implications — failure to provide tamper-evident recordings risks UK CAA enforcement action under the Air Navigation Order 2016. Tamper-evidence cannot be verified by inspection of the cryptographic scheme alone; active tampering attempts are required to confirm the implementation correctly rejects modifications. The 2-hour retrieval SLA must be tested end-to-end including data format conversion and secure transfer mechanisms.
Test idempotency:ver-sys-011-recording
VER-021 The ASTERIX Category 062 output latency and message loss (SYS-012) SHALL be verified by: (1) registering 5 test consumer endpoints; (2) injecting 10,000 track updates at maximum track density; (3) measuring end-to-end delivery time from track update generation timestamp to receipt at each consumer. Pass criterion: 99th percentile delivery latency ≤500ms; zero message loss across all 10,000 updates at all 5 consumers sustained over 60 minutes.
Rationale: ASTERIX Cat 062 latency must be tested at full track density because the DDN and track output gateway share network resources with operational processing — contention only appears under load. The CFMU 500ms SLA has contractual and operational consequences if breached; test coverage must replicate real consumer endpoint behaviour.
Test idempotency:ver-sys-012-asterix-latency
VER-REQ-001 The Surveillance Data Processing subsystem track position accuracy (SUB-REQ-002) SHALL be verified by injecting 1000 simulated aircraft tracks at known positions via a radar replay facility and measuring RMS position error of the fused output against ground truth, at both en-route (>1000m AGL) and terminal (<1000m AGL, within 30 NM) conditions.
Rationale: Accuracy verification by simulation replay is the only practicable method — live flight measurement requires extensive air traffic coordination, airspace closure, and reference aircraft instrumentation. Radar replay facilities with known-position injection are the standard ANSP acceptance test method, validated in EUROCONTROL's ASTERIX test framework. 1000 tracks provides statistical significance at the required 250m and 50m RMS thresholds.
Test verification, session-379
VER-REQ-002 The Safety Net System missed detection probability (SUB-REQ-004) SHALL be verified by analytical reliability modelling using a fault tree analysis (FTA) referencing IEC 61508 methodology, with all significant failure modes and common cause failures identified, and the resulting FTA reviewed and endorsed by an independent safety assessor.
Rationale: The 10^-6 missed detection target cannot be verified by statistical testing — achieving sufficient test volume would require hundreds of millions of conflict scenarios. FTA per IEC 61508 is the accepted certification methodology for safety-critical detection systems at this integrity level. Independent safety assessor review is required by EUROCONTROL ESARR 4 and national CAA requirements for safety-critical ATM system changes.
Analysis verification, session-379
VER-REQ-003 The system operational availability (SYS-REQ-003) SHALL be verified by 12 months of operational monitoring with automated availability logging, capturing all unplanned service interruptions with timestamps and root cause classification, achieving a demonstrated availability of at least 99.9997% before final certification.
Rationale: Availability targets at the 99.9997% level can only be demonstrated by extended operational service — simulation cannot replicate the full range of environmental, hardware aging, and operational failure modes that occur in live service. 12 months provides sufficient observational period to distinguish random failures from systematic weaknesses. Automated logging prevents subjective outage classification and ensures auditability for CAA certification review.
Demonstration verification, session-379
VER-REQ-013 The Data Distribution Network end-to-end safety-critical message latency (SUB-REQ for DDN) SHALL be verified by injecting synthetic track update messages from a simulated SDP output and measuring arrival time at the Safety Net System interface under three loading conditions: idle, 50% operational load, and 110% overload, confirming 10ms at 99th percentile under all conditions.
Rationale: Network latency must be verified under realistic load conditions — idle-state measurements do not reveal queuing delays under burst traffic. 110% overload scenario tests QoS behaviour when total offered load exceeds capacity, confirming that safety-critical traffic maintains priority and low latency while operational traffic is degraded. Measurement is only possible via synthetic injection — live traffic cannot be instrumented without affecting operational messages.
Test
VER-REQ-014 The Controller Working Position display refresh rate and track symbol update latency (SUB-REQ-006) SHALL be verified by driving the CWP display system with pre-recorded track data and measuring display refresh rate with a high-speed camera (minimum 240fps) and symbol position update latency using frame-difference analysis, under a 40-aircraft sector load with simultaneous STCA alert rendering.
Rationale: Display performance requirements cannot be verified by software instrumentation alone — the GPU rendering pipeline, video hardware, and monitor refresh rate all contribute to perceived latency. High-speed camera measurement captures the full end-to-end latency including display hardware. The 40-aircraft concurrent load test ensures performance degradation under realistic operational conditions is characterised before deployment.
Test
VER-REQ-015 The Safety Net System STCA nuisance alert rate (sub-requirement) SHALL be verified by a 6-month operational monitoring trial using live traffic, counting nuisance alerts as any STCA alert dismissed by the controller within 10 seconds without corrective action.
Rationale: Nuisance alert rate cannot be accurately assessed in lab simulation because traffic density and complexity drive false positive rates; 6-month operational trial is the EUROCONTROL acceptance standard for STCA deployments.
Test verification, safety-net, session-384, idempotency:ver-sns-nuisance-trial-384
VER-REQ-016 The Voice Communication System guard frequency monitoring independence (sub-requirement) SHALL be verified by inspection of circuit diagrams and a live test that disables the primary voice switching fabric and confirms guard frequency receive capability is preserved.
Rationale: Guard frequency independence is a regulatory requirement; inspection plus live failure test is the CAA-mandated verification approach for safety-critical independence claims. Simulation is not accepted for this requirement class.
Inspection verification, voice-comms, session-384, idempotency:ver-vcs-guard-independence-384
VER-REQ-017 The Surveillance Data Processing degraded-mode track continuity (sub-requirement) SHALL be verified by a controlled test injecting dual sensor failure while 200 synthetic tracks are active and confirming that at least 120 tracks (60%) continue to update at nominal rate within 30 seconds.
Rationale: Degraded-mode performance cannot be verified by analysis alone; a live controlled failure injection test is required to validate sensor switching and fusion algorithm behaviour under realistic conditions.
Test verification, surveillance, degraded, session-384, idempotency:ver-sdp-degraded-mode-384
VER-REQ-018 The Recording and Replay System data retention and integrity (sub-requirement) SHALL be verified by storing a test recording stream for 30 days and confirming that playback retrieval succeeds for 100% of stored records and cryptographic hash verification passes for all records.
Rationale: Recording completeness and integrity are legal requirements; verification must confirm both storage longevity (30 days) and cryptographic integrity of the stored data, which cannot be validated by shorter-duration testing.
Test verification, recording, session-384, idempotency:ver-rrs-retention-integrity-384
VER-REQ-019 The CPDLC message authentication mechanism (SUB-REQ-028) SHALL be verified by injecting syntactically valid but cryptographically invalid CPDLC messages into the datalink subsystem and confirming rejection in all cases within 2 seconds, with zero false-positive rejections of valid messages during a 1000-message regression suite.
Rationale: Cryptographic authentication can fail by accepting bad messages or rejecting good ones. Both failure modes must be tested. The 1000-message suite provides statistical confidence that false-positive rate is below 1 in 1000, acceptable for an operational system where false rejections degrade datalink availability.
Test verification, cpdlc, session-385
VER-REQ-020 The Approach Sequencing and Metering 40-minute planning horizon (SUB-REQ-034) SHALL be verified by injecting a test scenario with 40 inbound flights at the 40-minute boundary and confirming that all flights appear in the sequence display with valid STAs within 15 seconds of scenario activation, with STA accuracy within plus or minus 30 seconds of calculated optimal times.
Rationale: The 40-minute horizon is a functional boundary condition. The plus or minus 30 second STA accuracy threshold is derived from AMAN operational requirements: controllers issue speed instructions in 10-knot increments which produce approximately 30-60 second time adjustments, so AMAN predictions must be accurate to within one instruction step.
Test verification, aman, session-385
VER-REQ-021 The Flight Data Processing trajectory prediction accuracy (SUB-REQ-036) SHALL be verified by replaying a 4-hour recorded traffic sample against the prediction engine and measuring position error at T+5, T+10, T+15, and T+20 minutes for at least 500 track samples. Pass criterion: 90th percentile position error shall be less than 2 NM at T+20 for non-manoeuvring flight segments.
Rationale: FDP trajectory prediction accuracy is measured by replaying recorded traffic and computing position error statistics — this is a test procedure with quantified acceptance criteria (90th percentile ≤NM at T+5 through T+20 minutes), not an analysis. Analysis would imply algorithmic derivation from specifications; here we are instrumenting the running system against known reference data.
Test verification, fdp, trajectory, session-385
VER-REQ-023 The Safety Net System conflict prediction function (SUB-REQ-003) SHALL be verified by injecting 500 synthetic conflict scenarios spanning the full parameter space and confirming prediction of loss of separation within the 120-second look-ahead window for all scenarios where CPA is less than 5 NM horizontal or 1000 ft vertical, with zero missed alerts in safety-critical configurations.
Rationale: The 120-second look-ahead is the primary parameter of the conflict detection algorithm and must be verified across the full operational envelope. 500 scenarios spanning closing speed and geometry provides coverage of failure modes identified in EUROCONTROL STCA Specification Version 2.1.
Test
VER-REQ-024 The Minimum Safe Altitude Warning function (SUB-REQ-013) SHALL be verified by replaying 100 CFIT-precursor track profiles against the MSAW module with terrain database loaded and confirming alert generation at least 30 seconds before projected terrain impact in all cases, plus replaying 200 benign descent scenarios and confirming zero false terrain warnings.
Rationale: MSAW is SIL-3. Verification must use representative CFIT-precursor profiles to validate true positive detection. False warning rate testing is equally critical: controller habituation to false MSAW alerts is a systemic safety risk documented in ICAO CFIT prevention circular AN-WP/8779.
Test
VER-REQ-025 The Surveillance Data Processing multi-sensor ingestion capability (SUB-REQ-001) SHALL be verified by a system integration test connecting live or simulated feeds from all four required sensor types (PSR, SSR Mode S, ADS-B, MLAT) simultaneously, confirming that all sensors contribute tracks to the fused picture within 10 seconds of sensor connection and that removal of any single sensor does not cause track loss for aircraft covered by at least two remaining sensors.
Rationale: Multi-sensor fusion correctness cannot be verified by testing each sensor in isolation — fusion algorithm behaviour under concurrent inputs, including conflict resolution when sensors disagree, must be tested with simultaneous feeds. This requirement tests the sensor integration boundary condition that EUROCONTROL guidance identifies as a common integration failure point.
Test
VER-REQ-026 The Surveillance Data Processing track identity assignment (SUB-REQ-010) SHALL be verified by injecting a 200-aircraft scenario where 20 aircraft perform Mode S interrogation responses, confirming that each aircraft receives a unique track identity within two scan cycles, and injecting a scenario where the same aircraft departs and returns to coverage within 5 minutes, confirming track continuity is re-established with the same identity within one scan cycle.
Rationale: Track identity assignment failures cause STCA and MSAW to operate on incorrect track histories, creating safety risks. The re-acquisition scenario tests the most common identity continuity failure mode — controllers routinely rely on track history to predict aircraft behaviour, so identity instability directly degrades situational awareness.
Test
VER-REQ-027 The Flight Data Processing flight plan lifecycle management (SUB-REQ-005) SHALL be verified by executing a 4-hour traffic sample with 150 flight plans, confirming correct state transitions (filed, activated, transferred, completed) for 100% of flight plans and verifying that the subsystem holds flight plan state for flights that disconnect from surveillance for up to 10 minutes without deletion.
Rationale: Flight plan lifecycle errors are a leading cause of trajectory confusion incidents. The 10-minute persistence test directly verifies the degraded-mode requirement for temporary surveillance loss — controllers operate in airspace where radar blind spots exist and must not lose flight plan context during brief gaps in coverage.
Test
VER-REQ-028 The CPDLC message delivery latency and confirmation (SUB-REQ-025) SHALL be verified by injecting 1000 CPDLC uplink messages and measuring time-to-confirmation from transmission to receipt of WILCO, UNABLE, or ROGER response, confirming that 99% of messages receive a delivery confirmation within 60 seconds, and that the subsystem generates an unacknowledged message alert to the controller for any message not confirmed within 90 seconds.
Rationale: CPDLC delivery assurance is an operational safety requirement: unconfirmed clearances may not have been received by the aircraft. The 60-second 99th percentile threshold aligns with EUROCONTROL CPDLC performance monitoring guidance for en-route operations. The 90-second alert threshold gives controllers actionable notification within the time window before re-transmit or voice backup is required.
Test
VER-REQ-029 The Aeronautical Information Management NOTAM propagation (SUB-REQ-003) SHALL be verified by injecting 50 NOTAMs of different types (airspace restriction, navaid unserviceable, obstacle new) via the ANSP feed simulator and measuring time between NOTAM injection and availability in the AIM query interface, confirming propagation within 60 seconds for all types, with cryptographic signature validation confirmed for all 50 NOTAMs.
Rationale: NOTAM propagation delay is operationally critical: a controller displaying an outdated airspace picture may issue clearances into newly restricted airspace. 60-second propagation is derived from ICAO AIM transition standards. Cryptographic validation testing ensures the dual-database integrity mechanism (ARC-REQ-012) actually detects modification — testing both valid and corrupted NOTAMs is required.
Test
VER-REQ-030 The Data Distribution Network single-switch failure survivability (SUB-REQ-005) SHALL be verified by a controlled test removing each switch in the network fabric one at a time while active traffic (simulated 200 track updates per second) is flowing, measuring network reconvergence time and confirming that no safety-critical message stream experiences more than 50ms interruption and that operational traffic recovers within 200ms.
Rationale: Switch removal testing must be conducted with live traffic load because network reconvergence time is traffic-dependent. The 50ms safety-critical interruption limit is derived from the SNS update cycle — a 100ms STCA processing window requires network delivery within 50ms to allow processing within cycle. Testing each switch individually identifies any single switch whose removal causes disproportionate impact.
Test
VER-REQ-031 The System Monitoring and Control health deviation detection (SUB-REQ-006) SHALL be verified by injecting simulated subsystem health parameter anomalies for each monitored subsystem in turn — CPU utilisation spike, message queue depth increase, network packet loss threshold breach — and confirming that the SMC subsystem generates an alert within 10 seconds of the injected anomaly crossing the detection threshold, with zero false alerts during a 24-hour clean-state monitoring run.
Rationale: SMC detection latency directly affects operator response time to developing failures. The 10-second detection threshold is derived from operational resilience requirements: a subsystem degradation that goes undetected for more than 10 seconds may progress to service disruption before the operator can respond. Testing each subsystem individually validates that monitoring coverage is complete, not just that the alerting mechanism works.
Test
VER-REQ-032 The Voice Communication System simultaneous independent channel capability (SUB-REQ-007) SHALL be verified by configuring and simultaneously activating all required VHF/UHF channels and the guard frequency monitor, confirming by protocol analyser that each transmit/receive path is electrically and logically independent, and conducting a live reception test confirming that simultaneous transmissions on all channels are correctly discriminated with no cross-talk at the headset output below -60 dBc.
Rationale: Channel independence is a certification requirement under CAA Air Traffic Services Communication Standards. Cross-talk verification at -60 dBc ensures that simultaneous multi-frequency operation does not degrade intelligibility on any channel — the threshold is the minimum intelligibility standard under ICAO Annex 10 for air-ground communications.
Test
VER-REQ-033 The Recording and Replay System simultaneous replay capability (SUB-REQ-009) SHALL be verified by initiating playback of three concurrent replay sessions from different time windows on the same recording, confirming that all three sessions maintain real-time playback rate without frame drops over a 30-minute test period, and that interleaving read operations from three sessions does not affect ongoing live recording write performance (verified by confirming no gaps in the live recording during the test).
Rationale: Simultaneous replay is required during incidents when multiple investigators need independent access to recorded data. The key performance risk is I/O contention between concurrent read sessions and ongoing live recording. Testing confirms that the storage subsystem handles concurrent access without degrading the primary safety function of live continuous recording.
Test
VER-REQ-034 The SDP failover timing (SUB-REQ-008) SHALL be verified by: (1) disconnecting the primary processing node power while running live radar simulation at 350 tracks; (2) measuring time from node failure detection to full track processing resumption on the hot-standby node using a NTP-synchronised precision timer. Pass criterion: failover completes within 3 seconds and track continuity is maintained with position error not exceeding 500 m during the failover interval.
Rationale: Automatic failover timing is safety-critical as SDP outage of >3 s creates a surveillance gap detectable by SNS. Physical disconnect test is the only method that accurately simulates hardware failure — software-simulated failover does not exercise OS process recovery paths and RAID state synchronisation timing.
Test
VER-REQ-035 The SNS STCA alert timing (SUB-REQ-012) SHALL be verified by: (1) injecting 100 simulated separation-violating track pairs with predicted conflicts at 30s, 60s, and 120s look-ahead windows; (2) measuring time from first predicted-conflict detection to STCA audio and visual alert appearing at the CWP. Pass criterion: alert generated within 3 seconds of detection for all 100 scenarios, with audio and visual simultaneous.
Rationale: STCA alert latency is a SIL-4 safety requirement — a 3-second delay prevents timely controller intervention for close-proximity conflicts. Physical end-to-end timing must be measured from SNS processing to CWP display; analysis cannot account for IPC queuing latency and display rendering time.
Test
VER-REQ-036 The AIM AIRAC cycle update timing (SUB-REQ-018) SHALL be verified by: (1) injecting a complete AIRAC cycle data package at a controlled time T0; (2) querying the live operational database for an airspace boundary, procedure, and waypoint update at T0+2h. Pass criterion: all three data types are updated and queryable from the operational database within 2 hours of AIRAC activation.
Rationale: AIRAC data currency is an ICAO AIP regulatory obligation — controllers relying on stale airspace boundaries risk procedural non-compliance. A 2-hour update window is tested at system level because AIM data pipelines involve ETL transforms, validation, and publication that must be exercised end-to-end.
Test
VER-REQ-037 The DDN QoS priority queuing (SUB-REQ-020) SHALL be verified by: (1) generating synthetic congestion load at 95% link utilisation; (2) simultaneously injecting STCA alert packets and best-effort management traffic; (3) measuring delivery latency for each traffic class. Pass criterion: safety-critical traffic (STCA, MSAW, track updates) arrives within the required latency budget (<50 ms end-to-end) while management traffic is queued, for all 20 congestion test runs.
Rationale: QoS priority enforcement cannot be verified by Analysis because switch firmware and buffer management behaviour under high load is vendor-implementation-dependent and may not match the datasheet specification. Empirical congestion testing at near-capacity load is the only reliable method.
Test
VER-REQ-038 The CPDLC ACARS failover (SUB-REQ-029) SHALL be verified by: (1) establishing active CPDLC sessions on 5 aircraft over VHF ACARS; (2) cutting primary ACARS link; (3) measuring time for automatic rerouting via SATCOM and confirming session continuity. Pass criterion: all 5 sessions rerouted via SATCOM within 30 seconds; no message loss for messages injected after the failover event.
Rationale: CPDLC failover time is a safety requirement — if rerouting takes >30 s, inflight clearances may be delayed beyond the controller intervention window. Physical link severance test is required because software simulation of ACARS link failure does not exercise real SATCOM routing table convergence timing.
Test
VER-REQ-039 The AMAN sequence recomputation latency (SUB-REQ-032) SHALL be verified by: (1) loading a 20-aircraft inbound scenario; (2) injecting flight plan amendments, ATC interventions, and meteorological updates at 30-second intervals; (3) measuring recomputation latency for each event type. Pass criterion: updated sequence with revised STAs generated within 15 seconds for all event types across 50 test runs.
Rationale: AMAN recomputation latency determines whether revised STAs are usable for en-route controller instructions — a 15-second bound is the Eurocontrol A-CDM contractual SLA. Testing under live event injection is required because algorithm convergence time varies with traffic density and amendment type in ways that resist analytical bounding.
Test
VER-REQ-041 The SDP multi-sensor fusion (SUB-REQ-011) SHALL be verified by: (1) simultaneously injecting simulated ADS-B, SSR, PSR, and MLAT returns for 200 identical track scenarios; (2) checking that each fused track is correctly weighted towards the highest-accuracy source (ADS-B > MLAT > SSR > PSR) and that the output matches the known ground-truth trajectory within 50 m RMS. Pass criterion: sensor weighting is correct for all 200 scenarios and fusion accuracy meets the 50 m RMS threshold.
Rationale: Multi-sensor fusion correctness underpins all downstream SNS STCA calculations. Testing must inject all four sensor types simultaneously to verify the Kalman filter bias — testing sensors individually does not demonstrate correct relative weighting during concurrent reception.
Test
VER-REQ-043 The FDP clearance distribution latency (SUB-REQ-015) SHALL be verified by: (1) entering 50 sequential clearance inputs at a test CWP and measuring time from CWP confirmation to receipt of the updated flight plan at all other CWPs in the sector; (2) replaying 50 OLDI coordination messages and measuring distribution latency to all CWPs. Pass criterion: all clearance/OLDI updates delivered to all CWPs within 5 seconds.
Rationale: Clearance distribution latency directly affects conflict resolution — a controller at another sector position acting on a stale flight plan may issue conflicting clearances. End-to-end latency cannot be confirmed by analysis because DDN QoS behaviour under concurrent clearance load is non-linear.
Test
VER-REQ-044 The CWP clearance input efficiency (SUB-REQ-016) SHALL be verified by: (1) having 3 qualified ATC controllers attempt 50 direct routing, level, and speed inputs on a representative track dataset; (2) counting keystrokes/clicks per input and measuring time from first input action to on-screen confirmation. Pass criterion: all inputs completable within 3 keystrokes or clicks and confirmation appears within 2 seconds for ≥95% of attempts.
Rationale: CWP input efficiency directly affects controller cognitive load during high-traffic periods. Human-in-the-loop testing with qualified controllers is required because input efficiency depends on UI interaction flow and cognitive steps, not just technical performance metrics.
Test
VER-REQ-045 The VCS guard frequency independence (SUB-REQ-017) SHALL be verified by: (1) powering down the primary voice switching system while the guard receiver is active; (2) transmitting a test tone on 121.5 MHz and confirming audio is received at the CWP loudspeaker. Pass criterion: guard frequency audio received at CWP within 2 seconds of transmission while primary VCS is offline, for all 5 working positions tested.
Rationale: Guard frequency independence is a regulatory requirement (ICAO Doc 4444 emergency communications). The test requires physical VCS shutdown because software simulation cannot verify hardware independence of the guard receiver circuit from the main switching fabric.
Test
VER-REQ-047 The AIM terrain and obstacle database coverage (SUB-REQ-019) SHALL be verified by: (1) sampling 100 randomised geographic points across the FIR and querying the AIM terrain database for each; (2) checking resolution and comparing against an authoritative DTED Level 2 reference. Pass criterion: all 100 points are present in the AIM database with horizontal resolution ≤100 m and vertical resolution ≤10 m, and values agree with the reference within measurement uncertainty.
Rationale: AIM terrain database accuracy drives MSAW alert validity — insufficient resolution or stale data causes missed CFIT warnings. Statistical sampling across 100 points at random FIR coordinates provides 95% confidence at 5% error rate for coverage and accuracy compliance.
Test
VER-REQ-049 The SMC real-time health dashboard (SUB-REQ-021) SHALL be verified by: (1) inducing CPU spike, memory leak, and network saturation conditions on three separate subsystem nodes in sequence; (2) observing the SMC dashboard for reflection of each condition. Pass criterion: each health parameter breach is visible on the SMC dashboard within 10 seconds of condition onset for all three node types.
Rationale: SMC refresh accuracy depends on telemetry polling cycles, SNMP trap propagation, and UI rendering pipeline — each of which introduces latency that cannot be analytically bounded without empirical measurement. 10-second visibility is operationally required so shift supervisors can act before subsystem failure.
Test
VER-REQ-050 The RRS 30-day retention with integrity protection (SUB-REQ-022) SHALL be verified by: (1) running the RRS for a 30-day test window at full data rate; (2) at the end of the period, verifying all required data streams are present without gaps; (3) attempting to modify one stored record and confirming the cryptographic integrity check detects the tampering. Pass criterion: no data gaps >1 second in any stream over 30 days; tamper detection triggers within 5 seconds of modification.
Rationale: 30-day retention is a mandatory ICAO ATCO occurrence investigation requirement. Storage continuity and cryptographic integrity cannot be verified by Analysis because storage system capacity and filesystem fragmentation behaviour are operational variables. Physical tamper-detection test demonstrates the security mechanism is active, not just configured.
Test
VER-REQ-051 The CWP sector ownership display currency (SUB-REQ-024) SHALL be verified by: (1) executing 20 sector boundary transfers in rapid succession (1 per 15 seconds); (2) verifying the sector ownership display at three remote CWPs reflects each transfer. Pass criterion: all 20 sector ownership changes are visible at all three remote CWPs within 5 seconds of the change event.
Rationale: Sector ownership currency is safety-critical for handoff coordination — a stale ownership display could lead a controller to issue a clearance for an aircraft in another controller's sector. End-to-end propagation test is required because FDP distribution latency and CWP display rendering latency are both contributors and cannot be reliably bounded without measurement.
Test
VER-REQ-052 The AMAN landing sequence computation (SUB-REQ-026) SHALL be verified by: (1) loading a high-density traffic scenario (25 inbound aircraft within 250nm); (2) requesting initial AMAN sequence and confirming the sequence with advisories is generated within 30 seconds. Pass criterion: initial sequence generated within 30 seconds, sequence update delivered within 30 seconds of injecting a new flight plan revision.
Rationale: AMAN sequence computation latency directly affects whether speed/level advisories reach en-route controllers with sufficient lead time for efficient sequencing. The 30-second threshold is a Eurocontrol A-CDM operational requirement and must be demonstrated under representative traffic density.
Test
VER-REQ-053 The CPDLC message authentication (SUB-REQ-027) SHALL be verified by: (1) injecting 100 CPDLC messages with valid ATN B1/FANS-1/A+ signatures; (2) injecting 100 messages with invalid or missing signatures; (3) measuring rejection latency for the invalid set. Pass criterion: all 100 valid messages are accepted, all 100 invalid messages are rejected within 2 seconds of receipt with a DATALINK STATUS alert at the CWP.
Rationale: CPDLC authentication prevents spoofed clearances from being presented to controllers. Both acceptance and rejection paths must be tested; analysis of cryptographic library compliance does not demonstrate correct integration into the CPDLC message pipeline.
Test
VER-REQ-055 The CPDLC message logging and tamper-evidence (SUB-REQ-031) SHALL be verified by: (1) executing 200 CPDLC message exchanges; (2) reviewing log records for completeness (sender, timestamp, content, delivery status, ack time); (3) attempting to modify a stored log record and confirming the system detects the modification. Pass criterion: all 200 exchanges are logged with all required fields; tamper detection is triggered within 5 seconds.
Rationale: CPDLC logs are mandatory for accident investigation (ICAO Annex 11). Tamper-evidence is a legal obligation — regulatory authorities require logs to be court-admissible. Physical tamper test demonstrates the integrity mechanism is active in the deployed configuration, not just present in the specification.
Test
VER-REQ-057 The AMAN multi-runway configuration (SUB-REQ-033) SHALL be verified by: (1) configuring all 4 runway configurations simultaneously in the AMAN system; (2) switching the active configuration mid-sequence; (3) confirming no sequence discontinuity in any other configuration. Pass criterion: all 4 sequences remain valid and displayed without interruption during and after the configuration switch.
Rationale: Multi-runway sequence validity is operationally critical for airports with parallel runways requiring simultaneous independent approaches. Testing requires physical configuration switching in a running AMAN instance because sequence state management under concurrent runway configurations cannot be verified by inspection of the design.
Test
VER-REQ-058 The AMAN planning horizon (SUB-REQ-034) SHALL be verified by: (1) populating the AMAN with 30 aircraft at ranges from 0 to 50 minutes ETA; (2) verifying preliminary STAs are presented on the en-route display for aircraft at the 40-minute horizon. Pass criterion: valid preliminary STAs are generated and visible on the en-route display for all aircraft within the 40-minute planning horizon.
Rationale: The 40-minute planning horizon is the minimum needed for en-route controllers to issue pre-sequence speed advisories before the aircraft enters the descent profile. Verification must use a populated traffic scenario because AMAN look-ahead cutoff depends on computational resource allocation that varies with traffic count.
Test
VER-REQ-059 The FDP OLDI coordination processing (SUB-REQ-035) SHALL be verified by: (1) injecting 100 ABI, ACT, REV, and LAM messages from 4 simulated adjacent ANSPs; (2) measuring time from ABI receipt to boundary coordination acknowledgement. Pass criterion: all message types are correctly processed and acknowledgements generated within 30 seconds for all 100 injected messages.
Rationale: OLDI coordination is a bilateral agreement between ANSPs — correct ABI/ACT/REV/LAM processing is required for legal transfer of responsibility at FIR boundaries. 30-second processing is the EUROCONTROL OLDI SLA. End-to-end testing with simulated adjacent ANSP systems is the only method that validates the full coordination loop.
Test
VER-REQ-060 The FDP trajectory prediction accuracy (SUB-REQ-036) SHALL be verified by: (1) running 500 historical traffic scenarios with known ground-truth trajectories; (2) comparing FDP 20-minute trajectory predictions against ground-truth using RMS error. Pass criterion: RMS position error at the 20-minute horizon is <2 NM for non-manoeuvring aircraft across all 500 scenarios.
Rationale: FDP trajectory accuracy directly affects STCA look-ahead reliability — prediction errors >2 NM at 20 min cause either false STCA alerts or missed conflicts. Accuracy must be validated against historical ground-truth rather than modelled data because atmospheric variability and aircraft performance model errors are real-world variables.
Test
VER-REQ-061 The CWP electronic flight strip bay (SUB-REQ-037) SHALL be verified by: (1) populating a sector with 25 active flights, each at different phases of flight; (2) observing the CWP electronic flight strip bay for sort order and boundary transfer highlighting. Pass criterion: all flights sorted by ETA to next significant point, and all flights within 5 minutes of sector boundary transfer are highlighted, with highlighting applied within 5 seconds of crossing the time threshold.
Rationale: Electronic flight strip sort order and transfer highlighting are the primary pilot awareness tools replacing paper strips — incorrect display directly impairs controller situational awareness. Human-in-the-loop verification with real traffic scenarios is required because display logic interacts with FDP data in ways that cannot be fully confirmed by unit testing.
Test
VER-REQ-062 The VCS conferencing latency (SUB-REQ-038) SHALL be verified by: (1) establishing a 6-way conference on a single controller position mixing 4 radio frequencies and 2 telephone lines; (2) measuring end-to-end audio latency from microphone input to loudspeaker output using a calibrated audio delay measurement system. Pass criterion: end-to-end latency ≤40 ms for all 6 simultaneous channels across 20 test runs.
Rationale: VCS conference latency >40 ms causes noticeable echo and double-talk degradation in controller-pilot voice communications, a known factor in ATCO communication errors (EUROCONTROL Human Factors report HUM.ET1.ST13.3000-REP-01). Latency must be measured physically because digital mixing pipeline delays depend on hardware buffer configuration.
Test
VER-REQ-063 The SDP→SNS track data interface (IFC-REQ-001) SHALL be verified by: (1) injecting 500 track updates from a simulated SDP at 1-second intervals; (2) measuring receipt timestamp at the SNS input queue and confirming data format against the ASTERIX Cat-062 specification. Pass criterion: all 500 updates received at SNS within the IFC latency budget (≤200 ms end-to-end) and zero format violations.
Rationale: The SDP→SNS interface carries the track data on which STCA conflict predictions are based. Interface timing and format errors at this boundary could cause SNS to operate on stale or malformed tracks, producing missed alerts. End-to-end timing measurement validates that the full IPC path meets the latency budget.
Test
VER-REQ-064 The SDP→FDP track data interface (IFC-REQ-002) SHALL be verified by: (1) running 200 aircraft scenarios with known track positions; (2) confirming FDP receives standardised ASTERIX Cat-062 position updates for all 200 aircraft; (3) checking correlation between SDP track identities and FDP flight plan identifiers. Pass criterion: 100% track delivery with correct correlation for all 200 aircraft; zero format errors.
Rationale: The SDP→FDP interface links surveillance identities to flight plans, enabling clearance-track correlation. Correlation errors here lead to clearances being applied to the wrong flight plan. Standardised format compliance (ASTERIX Cat-062) must be verified by injection test because schema validation tools only check structure, not data semantics.
Test
VER-REQ-065 The FDP OLDI interface to Adjacent ATC Centres (IFC-REQ-003) SHALL be verified by: (1) simulating 4 adjacent ANSP boundary crossings with 50 flights per crossing; (2) injecting ABI, ACT, REV, LAM message sequences; (3) confirming correct message framing, sequence numbering, and acknowledgement within the OLDI SLA. Pass criterion: all message types correctly framed to EUROCONTROL OLDI spec; acknowledgements returned within 30 seconds.
Rationale: OLDI interface correctness is legally required for FIR boundary coordination — incorrect framing or sequence numbering causes adjacent ANSP systems to reject coordination, leaving aircraft without legal transfer of responsibility. Physical protocol testing against a simulated adjacent ANSP is required because OLDI conformance cannot be confirmed by internal FDP unit tests.
Test
VER-REQ-066 The SNS→CWP STCA alert delivery interface (IFC-REQ-010) SHALL be verified by: (1) generating 100 STCA events at the SNS; (2) measuring time from STCA generation to audio and visual alert at the CWP HMI. Pass criterion: all 100 alerts delivered with both audio and visual components at all CWP positions within 3 seconds of SNS detection.
Rationale: SNS→CWP STCA delivery latency is the final link in the safety net alert chain. Delays at this interface reduce the controller's response window to below the safety margin. Verifying interface latency separately from end-to-end latency allows locating whether bottlenecks are in the IPC path or in the CWP rendering pipeline.
Test
VER-REQ-067 The AIM→SDP navigation data interface (IFC-REQ-011) SHALL be verified by: (1) updating a waypoint and airspace boundary in the AIM; (2) measuring time for the updated data to be received and applied by SDP for track correlation. Pass criterion: navigation database updates are propagated from AIM to SDP within 60 seconds of publication and applied to track correlation within 5 minutes of the AIRAC cycle activation.
Rationale: AIM→SDP navigation data currency drives MSAW terrain correlation accuracy. If SDP uses outdated terrain or obstacle data received from AIM, MSAW alerts may be missed or falsely generated. Timing verification must be end-to-end to confirm the publication-to-application propagation cycle meets AIRAC obligations.
Test
VER-REQ-068 The FDP→CWP flight data interface (IFC-REQ-012) SHALL be verified by: (1) executing 100 flight plan amendments at FDP; (2) measuring time for each amendment to appear at the CWP flight strip bay and sector data displays. Pass criterion: all 100 amendments visible at all subscribed CWPs within 5 seconds; zero data loss or format errors.
Rationale: FDP→CWP flight data delivery is on the critical path for controller situational awareness. A 5-second delivery latency matches the FDP distribution requirement (SUB-REQ-015) and must be confirmed at the interface level to identify whether delays originate in the FDP or the DDN/CWP rendering pipeline.
Test
VER-REQ-069 The VCS→CWP voice integration interface (IFC-REQ-013) SHALL be verified by: (1) selecting a radio frequency at a CWP position and transmitting on that frequency; (2) confirming audio is routed to the correct CWP loudspeaker and that the CWP displays the selected frequency active status. Pass criterion: frequency selection reflected on CWP within 500 ms; audio routing confirmed at CWP within 1 second of transmission; no cross-talk between controller positions.
Rationale: VCS→CWP frequency selection interface is safety-critical — an incorrect routing (transmitting on wrong frequency or receiving on wrong loudspeaker) could cause a controller to miss a pilot call or transmit on an incorrect frequency. Physical radio test with calibrated audio monitoring is required to verify routing correctness.
Test
VER-REQ-070 The SMC→subsystems health monitoring interface (IFC-REQ-014) SHALL be verified by: (1) inducing health parameter breaches in SDP, SNS, FDP, and VCS simultaneously; (2) confirming the SMC monitoring interface receives and displays the health deviations from all four subsystems within the 10-second dashboard refresh cycle. Pass criterion: all 4 subsystem health deviations visible on SMC dashboard within 10 seconds and categorised with correct subsystem identity.
Rationale: SMC health monitoring interface coverage is required across all subsystems — a single unmonitored subsystem failure could degrade ATC services without operator awareness. Simultaneous breach injection across 4 subsystems verifies that the monitoring interface scales correctly and that subsystem health data is not dropped under concurrent load.
Test
VER-REQ-071 The RRS→DDN recording capture interface (IFC-REQ-015) SHALL be verified by: (1) running the full system at peak traffic load (350 tracks, 50 active flights, full voice recording); (2) confirming the RRS captures all data streams from the DDN interface without packet loss. Pass criterion: zero packet loss on all RRS capture streams at peak load over a 4-hour sustained test period.
Rationale: RRS recording completeness is a mandatory regulatory requirement (ICAO Annex 11). The RRS→DDN interface must support the full system data rate without packet loss — interface saturation could cause recording gaps that invalidate incident investigation records. Peak-load testing over 4 hours is necessary to detect buffer overflow conditions not apparent in short-duration tests.
Test
VER-REQ-072 The SNS-to-CWP alert delivery latency (IFC-REQ-010) SHALL be verified by: (1) configuring an instrumented CWP display with sub-millisecond timestamping; (2) injecting 1,000 synthetic STCA and MSAW alert triggers; (3) measuring interval from SNS alert generation to display render at CWP. Pass criterion: 100% of alerts delivered within 500ms; no alert blocked by simultaneous injection of 2,000 flight plan updates/minute on the operational VLAN.
Rationale: IFC-REQ-010 specifies a 500ms alert delivery SLA on a dedicated priority channel — head-of-line blocking by operational traffic is the key risk. Test must replicate worst-case DDN congestion to confirm safety VLAN isolation holds under load. Inspection of VLAN config alone is insufficient; active measurement under traffic stress is required per EUROCONTROL ESARR 4.
Test idempotency:ver-ifc-010-sns-cwp-alert-534
VER-REQ-073 The dual-hot-standby failover capability (ARC-REQ-001) SHALL be verified by: (1) running both SDP and FDP nodes in primary/standby configuration with live traffic; (2) inducing an unplanned primary node failure by severing the network connection; (3) measuring time from failure detection to standby node assuming full primary processing responsibility. Pass criterion: standby assumes full primary role within 3 seconds; no track discontinuity visible at CWP (no displayed track gaps >1 scan cycle, i.e. >4 seconds); operator receives no 'correlation lost' or 'track dropped' alerts during switchover.
Rationale: ARC-REQ-001 specifies a 3-second failover with no track continuity loss — Analysis alone cannot verify this because the synchronisation fabric latency and state transfer completeness are implementation-dependent. A live failover test under traffic load is required to confirm that state synchronisation is sufficient to eliminate track correlation loss at switchover. This is the ATC equivalent of a fire drill — it must be tested, not inferred.
Test idempotency:ver-arc-001-hot-standby-failover-534
VER-REQ-074 The Safety Net System architectural independence from operational processing (ARC-REQ-002) SHALL be verified by analysis: an independent functional safety assessor SHALL review SDP/FDP/SNS process isolation, memory space separation, power supply independence, and network path isolation. The assessor SHALL produce a SIL 3 claim substantiation report per IEC 62061 Section 7 confirming that the SNS failure rate is ≤10^-7 per flight hour. Acceptance criterion: third-party SIL 3 certificate issued with no outstanding Category 1 safety issues.
Rationale: ARC-REQ-002 specifies SIL 3 for the Safety Net System — this cannot be demonstrated by functional test alone. IEC 62061 requires a systematic safety assessment including FMEA, fault tree analysis, and independence verification. An independent third-party assessment is the accepted verification method for SIL 3 claims; EUROCONTROL ESARR 4 mandates external safety oversight for safety instrumented functions in ATC.
Analysis idempotency:ver-arc-002-sns-sil3-analysis-534
VER-REQ-075 The DDN VLAN segmentation and physical isolation (ARC-REQ-011) SHALL be verified by: (1) a network topology inspection confirming separate switch fabric for safety-critical and operational VLANs with no Layer-2 bridge ports; (2) a traffic injection test flooding the operational VLAN at 90% capacity for 30 minutes while measuring safety-critical VLAN throughput; (3) a link failure test removing one ring segment and confirming RSTP convergence. Pass criterion: inspection confirms physical separation; safety-critical VLAN throughput not degraded by >1% during operational flood; RSTP convergence within 50ms on ring failure.
Rationale: DDN VLAN segmentation verification includes an active traffic injection test (flooding the operational VLAN at 90% capacity and confirming zero cross-VLAN bleed on the safety-critical VLAN). The network topology review is a supporting step, but the binding evidence comes from the active injection test. Requirements with quantified pass criteria confirmed by instrumented test execution must be classified as Test, not Inspection.
Test idempotency:ver-arc-011-vlan-segmentation-534
VER-REQ-076 The AIM subsystem dual-database AIRAC switchover and reversion (ARC-REQ-012) SHALL be verified by demonstration: (1) load a complete AIRAC cycle package into the staging database; (2) validate the staging database against the production database to confirm all sector boundaries and procedures load correctly; (3) trigger a scheduled switchover at 0001 UTC and confirm the live database transitions to the new cycle without service interruption; (4) within the 2-hour reversion window, revert to the previous cycle and confirm all sector boundaries restore to their previous values. Pass criterion: switchover completes in under 30 seconds; no ATC service interruption detected at CWP; reversion completes in under 60 seconds.
Rationale: ARC-REQ-012 specifies a live AIRAC switchover procedure with a 2-hour reversion window — this must be demonstrated end-to-end including the ATC operational impact (no service interruption) because database activation faults in production have caused loss of sector boundary visibility. Timed switchover and reversion are operational procedures that must be validated before they are executed in a live ATC environment.
Demonstration idempotency:ver-arc-012-aim-airac-switch-534
VER-REQ-077 The Recording and Replay System multi-stream replay capability (SUB-REQ-009) SHALL be verified by: (1) recording 2 hours of synthetic track, voice, OLDI, and controller input data; (2) replaying at 0.25x, 1x, 4x, and 8x playback rates with all streams simultaneously active; (3) verifying temporal synchronisation between tracks, voice clips, and controller inputs at each playback rate; (4) exporting a 30-minute time window to EUROCONTROL standard format and loading into an external investigation tool. Pass criterion: all stream combinations synchronised to within 100ms across all playback rates; export loads correctly in EUROCONTROL-standard investigation tooling without data loss.
Rationale: SUB-REQ-009 specifies variable-rate synchronised multi-stream replay — synchronisation drift between voice and track data at high playback speeds can mislead safety investigators. The EUROCONTROL export format must be tested with an actual external tool because format compatibility cannot be confirmed by inspection of the export specification alone. Post-incident replay quality directly affects the accuracy of safety investigation findings.
Test idempotency:ver-sub-009-rrs-replay-534
VER-REQ-078 The Aeronautical Information Management navigation data query latency (REQ-SEAIRTRAFFICCONTROL-002) SHALL be verified by: (1) configuring a test client to issue 1000 sequential queries for waypoint, airspace boundary, and procedure data; (2) measuring round-trip response time from query submission to data receipt using a NTP-synchronised precision timer; (3) issuing queries under peak load (50 concurrent SDP/FDP clients). Pass criterion: 99th-percentile response time not exceeding 100ms under peak concurrent load; zero query timeouts or dropped responses.
Rationale: REQ-SEAIRTRAFFICCONTROL-002 specifies sub-100ms query response to support real-time trajectory processing in FDP and SDP. If AIM queries exceed this bound, FDP trajectory prediction and SDP track-to-waypoint correlation will lag behind aircraft position, potentially causing late conflict detection. A load test with 50 concurrent clients is required because AIM query latency degrades under simultaneous SDP/FDP access patterns during sector boundary transitions.
Test idempotency:ver-aim-nav-query-latency-535
VER-REQ-079 The System Monitoring and Control secure configuration management interface (REQ-SEAIRTRAFFICCONTROL-007) SHALL be verified by: (1) attempting configuration changes without administrator credentials and confirming rejection with logged denial; (2) making 20 configuration parameter changes under authenticated session and confirming each change is written to the immutable audit log within 5 seconds; (3) reviewing the audit log for completeness (operator ID, timestamp, parameter changed, old value, new value). Pass criterion: all unauthenticated attempts rejected with error code and audit entry; all authenticated changes logged within 5 seconds with full provenance; audit log entries are non-modifiable (attempt to edit fails).
Rationale: REQ-SEAIRTRAFFICCONTROL-007 specifies authenticated access with immutable audit logging for SMC configuration — this is a safety-critical control because unauthorised configuration changes could disable subsystem health monitoring or alter safety thresholds. Inspection alone cannot verify that the audit trail is genuinely immutable; injection testing of both authorised and unauthorised access paths is required to confirm the enforcement mechanism.
Test idempotency:ver-smc-config-mgmt-535
VER-REQ-080 The Controller Working Position display refresh rate and track symbol update latency (native SUB-REQ-006) SHALL be verified by: (1) driving the CWP display subsystem with a synthetic radar feed providing 350 simultaneous tracks at full sector capacity; (2) measuring the interval between consecutive screen refreshes of the same track label using a high-speed frame capture device (minimum 120fps); (3) measuring latency from radar data receipt to corresponding symbol movement on CWP display. Pass criterion: track symbol refresh rate not less than 4Hz for all visible tracks; display update latency not exceeding 250ms at 99th percentile under full sector load.
Rationale: Native SUB-REQ-006 specifies a 4Hz minimum refresh rate for all CWP display elements — controllers require smooth track symbol movement to accurately assess aircraft trajectories and separation trends. Below 4Hz, discrete track jumps impair separation assurance, particularly for high-speed traffic converging at close proximity. Frame capture verification is required because software timer measurements miss missed frames caused by rendering pipeline backpressure.
Test idempotency:ver-cwp-display-refresh-535
VER-REQ-081 The AIM subsystem aeronautical database completeness and AIRAC update timing (REQ-SEAIRTRAFFICCONTROL-001) SHALL be verified by: (1) injecting a complete AIRAC cycle package into the AIM at a controlled reference time T0 and confirming via AIM audit log that the new dataset is active within 120 minutes of T0; (2) extracting a random sample of 200 database items (airways, waypoints, sector boundaries, prohibited areas, SIDs/STARs, and instrument approach procedures) and comparing against the EUROCONTROL AIXM 5.1 reference dataset to verify zero schema validation errors; (3) confirming the prior-cycle dataset is retained and revertable until the new cycle is operationally accepted. Pass criterion: dataset active ≤T0+120min; 0/200 schema violations; prior-cycle revert succeeds within 15 minutes.
Rationale: REQ-SEAIRTRAFFICCONTROL-001 makes two verifiable claims: AIRAC data covers all required element types (verifiable only by systematic schema comparison against EUROCONTROL AIXM 5.1) and updates are applied within 2 hours (verifiable only by controlled timing injection). The revert test confirms AIM dual-database safe fallback before new cycle acceptance, required by EUROCONTROL ESARR 4.
Test verification, aim, airac, session-537, idempotency:ver-aim-database-completeness-537, idempotency:ver-aim-database-completeness-537
VER-REQ-082 The facility power supply ATS switchover performance (REQ-SEAIRTRAFFICCONTROL-074) SHALL be verified by: (1) with all ATC subsystems at full operational load, trigger simulated mains failure by opening the main breaker; (2) measure time from mains voltage loss detection to restoration of power from diesel generator on all distribution busbars; (3) confirm no running subsystem process terminates during transfer. Pass criterion: ATS switchover complete in ≤500ms; no CWP display freeze, no voice drop, no track processing gap detectable in recorded data.
Rationale: The 500ms switchover threshold is the system-level requirement driven by EUROCONTROL ESARR 4 short-duration interruption limits. Only a physical mains-failure test exercises the actual ATS relay timing, UPS bridge behaviour, and subsystem resilience simultaneously — software simulation cannot replicate this.
Test verification, power-supply, session-536, idempotency:ver-power-supply-switchover-536
VER-REQ-083 The diesel generator 72-hour endurance and fuel alarm system (REQ-SEAIRTRAFFICCONTROL-075) SHALL be verified by: (1) conducting a type-test fuel consumption measurement at full ATC operational load to verify the tank capacity covers ≥72 hours; (2) simulating fuel level sensor readings at 8-hour-remaining and 2-hour-remaining thresholds and confirming alarm display on SMC workstation within 30 seconds. Pass criterion: calculated endurance ≥72 hours at certified fuel consumption rate; both fuel alarms presented on SMC within 30 seconds of threshold trigger.
Rationale: Physical tank endurance testing at operational load establishes the actual fuel consumption rate, which cannot be derived analytically with sufficient precision for a 72-hour safety claim. Alarm functional testing is required separately because sensor threshold logic is independently programmable and may be misconfigured without this test.
Test verification, power-supply, session-536, idempotency:ver-power-supply-endurance-536
VER-REQ-084 The DDN VLAN segmentation isolation (ARC-REQ-011) SHALL be verified by: (1) configuring a test host on the safety-critical VLAN and attempting to inject non-safety-critical traffic to safety-critical multicast groups; (2) injecting 1000 ASTERIX Cat 062 track packets while saturating the operational VLAN at 90% capacity, confirming zero packet loss on the safety-critical VLAN; (3) auditing switch port VLAN membership to confirm no unapproved cross-VLAN ports. Pass criterion: inter-VLAN injection fails at Layer 2 within 100ms; zero track packet loss under saturation; zero unapproved cross-VLAN ports.
Rationale: ARC-REQ-011 makes two verifiable claims: VLAN isolation prevents cross-traffic and safety-critical traffic is protected from head-of-line blocking. Injection attempt is the only method to confirm runtime isolation; saturation test confirms protection under load. Inspection of switch config alone is insufficient.
Test verification, arc, ddn, vlan, session-538, idempotency:ver-arc-011-ddn-vlan-session-538
VER-REQ-085 The AIM dual-database architecture (ARC-REQ-012) SHALL be verified by: (1) loading a corrupted AIRAC package into the AIM staging database and confirming the active live database remains unchanged and operationally available; (2) confirming via AIM audit log that the schema validation failure triggers an alert within 60 seconds without affecting the live database; (3) performing a successful rollback by loading the prior valid AIRAC cycle into staging and activating it with live database availability maintained throughout. Pass criterion: live database unaffected during staging failure; alert raised in ≤60 seconds; rollback completes in ≤15 minutes.
Rationale: ARC-REQ-012 exists to prevent AIRAC update failures from causing AIM operational outages. The staging-failure isolation test is the only method to confirm the dual-database boundary holds under fault conditions — analysis of the architecture cannot confirm runtime isolation.
Test verification, arc, aim, dual-database, session-538, idempotency:ver-arc-012-aim-dual-db-session-538
VER-REQ-086 The SNS-to-CWP alert delivery interface (IFC-REQ-010) SHALL be verified by: (1) triggering 50 STCA alerts and 50 MSAW alerts in a certified ATCS test environment with the SNS generating alerts at T0 and a timestamped packet capture on the dedicated alert channel confirming CWP receipt; (2) simultaneously saturating the Data Distribution Network with non-safety traffic at 95% link utilisation and confirming alert delivery latency remains within 500ms; (3) disconnecting the dedicated alert channel and confirming the CWP displays an alert channel failure indication within 10 seconds. Pass criterion: 100/100 alerts delivered ≤500ms under nominal and saturated conditions; channel failure detected ≤10s.
Rationale: IFC-REQ-010 specifies a 500ms delivery budget on a dedicated high-priority channel that cannot be blocked by non-safety-critical traffic. Test is the only appropriate method: Analysis cannot predict actual network behaviour under saturation, and Inspection of channel configuration cannot confirm runtime priority enforcement. The channel-failure detection test confirms the alerting path is itself monitored.
Test verification, ifc, sns, cwp, stca, msaw, session-538, idempotency:ver-ifc-010-sns-cwp-alert-session-538
VER-REQ-087 The Recording and Replay System simultaneous multi-stream replay (SUB-REQ-009) SHALL be verified by: (1) configuring a replay session with all recorded data streams active (radar tracks, voice communications, ADS-B, Mode S, OLDI messages, controller inputs) using a 30-minute golden recording, and confirming all streams remain time-synchronised to the common timeline cursor within ±100ms at playback rates of 0.25x, 1x, 4x, and 8x; (2) extracting a 10-minute window from the golden recording, exporting to EUROCONTROL replay format, and importing into a EUROCONTROL-supplied reference tool confirming successful playback without format errors; (3) running concurrent replay of two independent timeline windows and confirming no cross-contamination between sessions. Pass criterion: all streams within ±100ms at all playback speeds; zero EUROCONTROL format import errors; no cross-session contamination.
Rationale: SUB-REQ-009 makes three verifiable claims: multi-stream time synchronisation at variable playback rates, EUROCONTROL standard format export compatibility, and independent concurrent replay session isolation. Only Test with a known golden recording can verify synchronisation accuracy and format compliance. Analysis cannot validate 8x playback timing without runtime measurement.
Test verification, sub, rrs, replay, session-538, idempotency:ver-sub-009-rrs-replay-session-538
VER-REQ-088 The maintenance LRU hot-swap capability (SYS-REQ-013) SHALL be verified by: (1) placing the ATCS in full operational load with 2000 active tracks and 10 active controller workstations; (2) removing and reinserting each LRU type (processing blade, display processor, network switch, voice gateway) in turn while confirming via monitoring logs that no active ATC service is lost (STCA, display, voice remain operational throughout); (3) measuring time from LRU insertion to full subsystem functionality confirmed by automated health check output. Pass criterion: zero service interruption events logged; full functionality restored within 30 minutes for every LRU type.
Rationale: SYS-REQ-013 makes two verifiable claims: no service interruption during swap and 30-minute restoration bound. Both require live-traffic-load testing — bench testing without concurrent ATC operations cannot validate that swap procedures are transparent to the operational traffic path. The pass criterion mirrors the STK-REQ-008 time bound exactly.
Test idempotency:ver-sys-013-lru-swap-session-539
VER-REQ-089 The ASTERIX Category 062 System Track output latency and delivery reliability (SYS-012) SHALL be verified by: (1) configuring the ATCS with 2500 active tracks at steady-state load; (2) injecting 10,000 track update events while simultaneously recording the ASTERIX Cat 062 output stream at all registered consumer interfaces; (3) timestamping each track update at source and at each consumer interface using a GPS-disciplined synchronised time reference; (4) computing end-to-end latency for each delivered message. Pass criteria: 99th percentile end-to-end latency ≤500 ms; zero message loss for any registered consumer over a 24-hour sustained load test; output rate ≥1 Hz per registered consumer during nominal load.
Rationale: SYS-012 makes two verifiable claims requiring instrumented measurement: (a) ≤500 ms end-to-end latency from track update to network delivery, and (b) zero message loss over 24 hours for registered consumers.
Test
VER-REQ-090 The CPDLC ACARS-to-SATCOM rerouting function (SUB-REQ-030) SHALL be verified by: (1) establishing active CPDLC sessions on 10 simulated aircraft via primary VHF ACARS; (2) withdrawing the ACARS uplink to simulate datalink failure; (3) measuring time from ACARS loss to successful CPDLC delivery via SATCOM for all 10 aircraft. Pass criteria: rerouting completes within 30 seconds for all sessions; no pending CPDLC messages lost; session continuity maintained without controller intervention.
Rationale: SUB-REQ-030 requires ACARS→SATCOM failover within 30 seconds for active CPDLC sessions. Test verification is mandatory because the 30-second timing constraint is operationally critical — exceeding it could lose ATC separation assurance for aircraft on oceanic tracks — and must be demonstrated under live datalink gateway handshake conditions, not simulation.
Test idempotency:VER-SUB030-CPDLC-SATCOM-FAILOVER-v1
VER-REQ-091 The training mode isolation (REQ-SEAIRTRAFFICCONTROL-083) SHALL be verified by: (1) inspecting the system architecture documentation to confirm no shared write-back bus between training and operational processing domains; (2) enabling training mode while live operations are active and confirming via packet capture on the operational network that no training-mode commands are transmitted; (3) verifying that synthetic traffic replayed in training mode does not appear on any live surveillance display or flight plan processor. Pass criterion: zero training-originated messages visible on the operational network during a 1-hour concurrent test run.
Rationale: Training mode isolation cannot be fully verified by functional test alone — architecture inspection confirms the design intent, while network capture provides empirical evidence of separation. The 1-hour concurrent run mimics a realistic proficiency check duration.
Inspection mode-coverage, training-mode, session-543, idempotency:ver-training-mode-session-543

Traceability Matrix — Verification

RequirementVerified ByDescription
REQ-SEAIRTRAFFICCONTROL-084 REQ-SEAIRTRAFFICCONTROL-083 VER training mode isolation test → SYS training mode req
VER-REQ-089 SYS-012 VER-REQ-089 end-to-end ASTERIX Cat 062 latency and zero-loss test verifies SYS-012 latency bound and delivery reliability
VER-REQ-088 SYS-REQ-013 VER-088 maintenance LRU hot-swap test verifies SYS-013 restoration time and no-interruption requirements
REQ-SEAIRTRAFFICCONTROL-059 REQ-SEAIRTRAFFICCONTROL-010 VER-REQ-066 tests the SNS→CWP STCA alert delivery interface (IFC-REQ-010)
REQ-SEAIRTRAFFICCONTROL-064 IFC-REQ-015 Verification test for IFC-REQ-015 interface requirement
REQ-SEAIRTRAFFICCONTROL-063 IFC-REQ-014 Verification test for IFC-REQ-014 interface requirement
REQ-SEAIRTRAFFICCONTROL-062 IFC-REQ-013 Verification test for IFC-REQ-013 interface requirement
REQ-SEAIRTRAFFICCONTROL-061 IFC-REQ-012 Verification test for IFC-REQ-012 interface requirement
REQ-SEAIRTRAFFICCONTROL-060 IFC-REQ-011 Verification test for IFC-REQ-011 interface requirement
REQ-SEAIRTRAFFICCONTROL-058 IFC-REQ-003 Verification test for IFC-REQ-003 interface requirement
REQ-SEAIRTRAFFICCONTROL-057 IFC-REQ-002 Verification test for IFC-REQ-002 interface requirement
REQ-SEAIRTRAFFICCONTROL-056 IFC-REQ-001 Verification test for IFC-REQ-001 interface requirement
REQ-SEAIRTRAFFICCONTROL-080 REQ-SEAIRTRAFFICCONTROL-010 STCA/MSAW latency and saturation test verifies SNS-CWP alert channel performance
REQ-SEAIRTRAFFICCONTROL-069 REQ-SEAIRTRAFFICCONTROL-012 Verification test for architecture decision
REQ-SEAIRTRAFFICCONTROL-068 REQ-SEAIRTRAFFICCONTROL-011 Verification test for architecture decision
REQ-SEAIRTRAFFICCONTROL-067 ARC-REQ-002 Verification test for architecture decision ARC-REQ-002
REQ-SEAIRTRAFFICCONTROL-066 ARC-REQ-001 Verification test for architecture decision ARC-REQ-001
REQ-SEAIRTRAFFICCONTROL-079 REQ-SEAIRTRAFFICCONTROL-012 Staging corruption and rollback test verifies AIM dual-database isolation architecture
REQ-SEAIRTRAFFICCONTROL-078 REQ-SEAIRTRAFFICCONTROL-011 VLAN injection and saturation test verifies DDN isolation architecture
REQ-SEAIRTRAFFICCONTROL-069 REQ-SEAIRTRAFFICCONTROL-012 AIM dual-database AIRAC switchover and reversion test verifies the ARC-REQ-012 architecture decision
REQ-SEAIRTRAFFICCONTROL-068 REQ-SEAIRTRAFFICCONTROL-011 DDN VLAN segmentation and isolation test verifies the ARC-REQ-011 network architecture decision
REQ-SEAIRTRAFFICCONTROL-067 ARC-REQ-002 SNS independence test verifies the ARC-REQ-002 architectural independence design decision
REQ-SEAIRTRAFFICCONTROL-066 ARC-REQ-001 Dual-hot-standby failover test directly verifies the ARC-REQ-001 architecture decision
REQ-SEAIRTRAFFICCONTROL-046 SUB-REQ-027 Verification test for SUB-REQ-027
REQ-SEAIRTRAFFICCONTROL-027 SUB-REQ-008 VER-REQ-034 tests SDP failover timing (SUB-REQ-008 SDP)
REQ-SEAIRTRAFFICCONTROL-025 SUB-REQ-007 VER-REQ-032 tests VCS simultaneous independent channel capability (SUB-REQ-007 VCS)
REQ-SEAIRTRAFFICCONTROL-024 REQ-SEAIRTRAFFICCONTROL-006 VER-REQ-031 tests SMC health deviation detection (SUB-REQ-006 SMC)
REQ-SEAIRTRAFFICCONTROL-020 SUB-REQ-005 VER-REQ-027 tests FDP flight plan lifecycle management (SUB-REQ-005 FDP)
VER-REQ-002 SUB-REQ-004 VER-REQ-002 tests SNS STCA missed detection probability (SUB-REQ-004 SNS)
VER-REQ-001 REQ-SEAIRTRAFFICCONTROL-002 VER-REQ-001 tests AIM navigation data query latency (SUB-REQ-002 AIM)
REQ-SEAIRTRAFFICCONTROL-018 SUB-REQ-001 VER-REQ-025 tests SDP multi-sensor ingestion (SUB-REQ-001 SDP)
REQ-SEAIRTRAFFICCONTROL-016 SUB-REQ-003 VER-REQ-023 tests SNS conflict prediction function (SUB-REQ-003 SNS)
REQ-SEAIRTRAFFICCONTROL-022 REQ-SEAIRTRAFFICCONTROL-003 VER-REQ-029 tests AIM NOTAM propagation (SUB-REQ-003 AIM)
VER-REQ-090 SUB-REQ-030 VER-REQ-090 tests CPDLC ACARS-to-SATCOM failover (SUB-REQ-030)
REQ-SEAIRTRAFFICCONTROL-077 REQ-SEAIRTRAFFICCONTROL-075 VER-REQ-083 tests diesel generator 72-hour endurance (SUB-REQ-040)
REQ-SEAIRTRAFFICCONTROL-076 REQ-SEAIRTRAFFICCONTROL-074 VER-REQ-082 tests power supply ATS switchover (SUB-REQ-039)
REQ-SEAIRTRAFFICCONTROL-055 SUB-REQ-038 VER-REQ-062 tests VCS conferencing latency (SUB-REQ-038)
REQ-SEAIRTRAFFICCONTROL-054 SUB-REQ-037 VER-REQ-061 tests CWP electronic flight strip (SUB-REQ-037)
VER-REQ-021 SUB-REQ-036 VER-REQ-021 tests FDP trajectory prediction accuracy (SUB-REQ-036)
REQ-SEAIRTRAFFICCONTROL-052 SUB-REQ-035 VER-REQ-059 tests FDP OLDI coordination processing (SUB-REQ-035)
VER-REQ-020 SUB-REQ-034 VER-REQ-020 tests AMAN 40-minute planning horizon (SUB-REQ-034)
REQ-SEAIRTRAFFICCONTROL-050 SUB-REQ-033 VER-REQ-057 tests AMAN multi-runway configuration (SUB-REQ-033)
REQ-SEAIRTRAFFICCONTROL-032 SUB-REQ-032 VER-REQ-039 tests AMAN sequence recomputation latency (SUB-REQ-032)
REQ-SEAIRTRAFFICCONTROL-048 SUB-REQ-031 VER-REQ-055 tests CPDLC message logging (SUB-REQ-031)
REQ-SEAIRTRAFFICCONTROL-031 SUB-REQ-029 VER-REQ-038 tests CPDLC ACARS failover (SUB-REQ-029)
VER-REQ-019 SUB-REQ-028 VER-REQ-019 tests CPDLC authentication mechanism (SUB-REQ-028)
REQ-SEAIRTRAFFICCONTROL-046 SUB-REQ-027 VER-REQ-053 tests CPDLC message authentication (SUB-REQ-027)
REQ-SEAIRTRAFFICCONTROL-045 SUB-REQ-026 VER-REQ-052 tests AMAN landing sequence computation (SUB-REQ-026)
REQ-SEAIRTRAFFICCONTROL-021 SUB-REQ-025 VER-REQ-028 tests CPDLC message delivery latency (SUB-REQ-025)
REQ-SEAIRTRAFFICCONTROL-044 SUB-REQ-024 VER-REQ-051 tests CWP sector ownership display (SUB-REQ-024)
REQ-SEAIRTRAFFICCONTROL-043 SUB-REQ-022 VER-REQ-050 tests RRS 30-day retention with integrity protection (SUB-REQ-022)
REQ-SEAIRTRAFFICCONTROL-042 SUB-REQ-021 VER-REQ-049 tests SMC real-time health dashboard (SUB-REQ-021)
REQ-SEAIRTRAFFICCONTROL-030 SUB-REQ-020 VER-REQ-037 tests DDN QoS priority queuing (SUB-REQ-020)
REQ-SEAIRTRAFFICCONTROL-040 SUB-REQ-019 VER-REQ-047 tests AIM terrain/obstacle database coverage (SUB-REQ-019)
REQ-SEAIRTRAFFICCONTROL-029 SUB-REQ-018 VER-REQ-036 tests AIM AIRAC cycle update timing (SUB-REQ-018)
REQ-SEAIRTRAFFICCONTROL-038 SUB-REQ-017 VER-REQ-045 tests VCS guard frequency independence (SUB-REQ-017)
REQ-SEAIRTRAFFICCONTROL-037 SUB-REQ-016 VER-REQ-044 tests CWP clearance input efficiency (SUB-REQ-016)
REQ-SEAIRTRAFFICCONTROL-036 SUB-REQ-015 VER-REQ-043 tests FDP clearance distribution latency (SUB-REQ-015)
REQ-SEAIRTRAFFICCONTROL-017 SUB-REQ-013 VER-REQ-024 tests SNS MSAW function (SUB-REQ-013)
REQ-SEAIRTRAFFICCONTROL-028 SUB-REQ-012 VER-REQ-035 tests SNS STCA alert timing (SUB-REQ-012)
REQ-SEAIRTRAFFICCONTROL-034 SUB-REQ-011 VER-REQ-041 tests SDP multi-sensor fusion (SUB-REQ-011)
REQ-SEAIRTRAFFICCONTROL-019 SUB-REQ-010 VER-REQ-026 tests SDP track identity assignment (SUB-REQ-010)
REQ-SEAIRTRAFFICCONTROL-026 REQ-SEAIRTRAFFICCONTROL-009 VER-REQ-033 tests RRS simultaneous replay (SUB-REQ-009)
REQ-SEAIRTRAFFICCONTROL-081 REQ-SEAIRTRAFFICCONTROL-009 Multi-stream synchronisation and EUROCONTROL export test verifies RRS simultaneous replay requirement
VER-REQ-081 REQ-SEAIRTRAFFICCONTROL-001 AIRAC injection test and AIXM schema check verifies AIM database completeness requirement
REQ-SEAIRTRAFFICCONTROL-023 REQ-SEAIRTRAFFICCONTROL-005 DDN switch removal test verifies the 50ms automatic re-routing failover requirement
REQ-SEAIRTRAFFICCONTROL-013 REQ-SEAIRTRAFFICCONTROL-004 DDN latency injection test verifies the 10ms 99th-percentile latency requirement
REQ-SEAIRTRAFFICCONTROL-077 REQ-SEAIRTRAFFICCONTROL-075 Diesel generator endurance and fuel alarm test verifies power supply endurance SUB requirement
REQ-SEAIRTRAFFICCONTROL-076 REQ-SEAIRTRAFFICCONTROL-074 Power supply ATS switchover test verifies facility power infrastructure SUB requirement
REQ-SEAIRTRAFFICCONTROL-031 SUB-REQ-030 CPDLC ACARS failover test also verifies SATCOM rerouting behaviour in SUB-REQ-030
REQ-SEAIRTRAFFICCONTROL-073 SUB-REQ-006 CWP frame-capture display refresh test verifies 4Hz minimum track symbol update requirement
REQ-SEAIRTRAFFICCONTROL-072 REQ-SEAIRTRAFFICCONTROL-007 SMC config access and audit log test verifies configuration management security requirement
REQ-SEAIRTRAFFICCONTROL-071 REQ-SEAIRTRAFFICCONTROL-002 AIM nav data query latency test verifies AIM sub-100ms query response requirement
REQ-SEAIRTRAFFICCONTROL-024 REQ-SEAIRTRAFFICCONTROL-006 SMC health deviation test additionally verifies SMC breach detection requirement
REQ-SEAIRTRAFFICCONTROL-070 REQ-SEAIRTRAFFICCONTROL-009 Multi-stream replay test at variable playback rates verifies RRS replay capability
REQ-SEAIRTRAFFICCONTROL-069 SUB-REQ-001 AIRAC switchover and reversion demonstration verifies AIM database continuity via ARC-REQ-012 architectural mechanism
VER-REQ-016 SUB-REQ-017 Inspection of circuit diagrams and live test verifies VCS guard frequency monitoring independence
REQ-SEAIRTRAFFICCONTROL-047 SUB-REQ-030 Verification test for CPDLC ACARS failover (SUB-REQ-030)
REQ-SEAIRTRAFFICCONTROL-046 SUB-REQ-028 Verification test for CPDLC authentication (SUB-REQ-028)
REQ-SEAIRTRAFFICCONTROL-028 SUB-REQ-012 Verification test for SUB-REQ-012
REQ-SEAIRTRAFFICCONTROL-029 SUB-REQ-018 Verification test for SUB-REQ-018
REQ-SEAIRTRAFFICCONTROL-027 SUB-REQ-008 Verification test for SUB-REQ-008
REQ-SEAIRTRAFFICCONTROL-032 SUB-REQ-032 Verification test for SUB-REQ-032
REQ-SEAIRTRAFFICCONTROL-031 SUB-REQ-029 Verification test for SUB-REQ-029
REQ-SEAIRTRAFFICCONTROL-030 SUB-REQ-020 Verification test for SUB-REQ-020
REQ-SEAIRTRAFFICCONTROL-048 SUB-REQ-031 Verification test for SUB-REQ-031
REQ-SEAIRTRAFFICCONTROL-049 SUB-REQ-032 Verification test for SUB-REQ-032
SUB-REQ-002 VER-REQ-001 SDP accuracy requirement verified by radar replay test
SUB-REQ-004 VER-REQ-002 Safety net reliability requirement verified by FTA analysis
SUB-REQ-028 VER-REQ-019 CPDLC authentication requirement verified by cryptographic injection test
SUB-REQ-034 VER-REQ-020 AMAN planning horizon verified by 40-flight scenario test
SUB-REQ-036 VER-REQ-021 FDP trajectory prediction verified by 4-hour replay analysis
REQ-SEAIRTRAFFICCONTROL-016 SUB-REQ-003 VER covers SNS 120s conflict prediction verification
REQ-SEAIRTRAFFICCONTROL-017 SUB-REQ-013 VER covers MSAW terrain warning verification
REQ-SEAIRTRAFFICCONTROL-018 SUB-REQ-001 VER covers SDP multi-sensor ingestion capability
REQ-SEAIRTRAFFICCONTROL-019 SUB-REQ-010 VER covers SDP track identity assignment
REQ-SEAIRTRAFFICCONTROL-020 SUB-REQ-005 VER covers FDP flight plan lifecycle management
REQ-SEAIRTRAFFICCONTROL-021 SUB-REQ-025 VER covers CPDLC message delivery latency
REQ-SEAIRTRAFFICCONTROL-022 REQ-SEAIRTRAFFICCONTROL-003 VER covers AIM NOTAM propagation verification
REQ-SEAIRTRAFFICCONTROL-023 SUB-REQ-005 VER covers DDN switch failure survivability test
REQ-SEAIRTRAFFICCONTROL-024 SUB-REQ-006 VER covers SMC health deviation detection latency
REQ-SEAIRTRAFFICCONTROL-025 SUB-REQ-007 VER covers VCS channel independence
VER-REQ-001 SUB-REQ-002 VER-001 verifies SDP track position accuracy
VER-REQ-002 SUB-REQ-004 VER-002 verifies SNS missed detection probability
VER-REQ-015 SUB-REQ-014 VER-015 verifies SNS STCA nuisance alert rate
VER-REQ-017 SUB-REQ-023 VER-017 verifies SDP degraded mode track continuity
REQ-SEAIRTRAFFICCONTROL-026 REQ-SEAIRTRAFFICCONTROL-009 VER covers RRS simultaneous replay capability
VER-REQ-018 REQ-SEAIRTRAFFICCONTROL-008 VER-018 verifies RRS data retention and integrity
REQ-SEAIRTRAFFICCONTROL-033 SUB-REQ-008 SDP failover test
REQ-SEAIRTRAFFICCONTROL-034 SUB-REQ-011 Verification test for SUB-REQ-011
REQ-SEAIRTRAFFICCONTROL-035 SUB-REQ-012 Verification test for SUB-REQ-012
REQ-SEAIRTRAFFICCONTROL-036 SUB-REQ-015 Verification test for SUB-REQ-015
REQ-SEAIRTRAFFICCONTROL-037 SUB-REQ-016 Verification test for SUB-REQ-016
REQ-SEAIRTRAFFICCONTROL-038 SUB-REQ-017 Verification test for SUB-REQ-017
REQ-SEAIRTRAFFICCONTROL-039 SUB-REQ-018 Verification test for SUB-REQ-018
REQ-SEAIRTRAFFICCONTROL-054 SUB-REQ-037 Verification test for SUB-REQ-037
REQ-SEAIRTRAFFICCONTROL-055 SUB-REQ-038 Verification test for SUB-REQ-038
REQ-SEAIRTRAFFICCONTROL-052 SUB-REQ-035 Verification test for SUB-REQ-035
REQ-SEAIRTRAFFICCONTROL-053 SUB-REQ-036 Verification test for SUB-REQ-036
REQ-SEAIRTRAFFICCONTROL-050 SUB-REQ-033 Verification test for SUB-REQ-033
REQ-SEAIRTRAFFICCONTROL-051 SUB-REQ-034 Verification test for SUB-REQ-034
REQ-SEAIRTRAFFICCONTROL-041 SUB-REQ-020 Verification test for SUB-REQ-020
REQ-SEAIRTRAFFICCONTROL-040 SUB-REQ-019 Verification test for SUB-REQ-019
REQ-SEAIRTRAFFICCONTROL-043 SUB-REQ-022 Verification test for SUB-REQ-022
REQ-SEAIRTRAFFICCONTROL-042 SUB-REQ-021 Verification test for SUB-REQ-021
REQ-SEAIRTRAFFICCONTROL-045 SUB-REQ-026 Verification test for SUB-REQ-026
REQ-SEAIRTRAFFICCONTROL-044 SUB-REQ-024 Verification test for SUB-REQ-024
REQ-SEAIRTRAFFICCONTROL-047 SUB-REQ-029 Verification test for SUB-REQ-029
REQ-SEAIRTRAFFICCONTROL-065 REQ-SEAIRTRAFFICCONTROL-010 Load test of SNS→CWP alert delivery under DDN congestion verifies IFC-REQ-010 500ms latency requirement
REQ-SEAIRTRAFFICCONTROL-064 IFC-REQ-015 Verification test for IFC-REQ-015
REQ-SEAIRTRAFFICCONTROL-060 IFC-REQ-011 Verification test for IFC-REQ-011
REQ-SEAIRTRAFFICCONTROL-061 IFC-REQ-012 Verification test for IFC-REQ-012
REQ-SEAIRTRAFFICCONTROL-062 IFC-REQ-013 Verification test for IFC-REQ-013
REQ-SEAIRTRAFFICCONTROL-063 IFC-REQ-014 Verification test for IFC-REQ-014
REQ-SEAIRTRAFFICCONTROL-057 IFC-REQ-002 Verification test for IFC-REQ-002
REQ-SEAIRTRAFFICCONTROL-056 IFC-REQ-001 Verification test for IFC-REQ-001
REQ-SEAIRTRAFFICCONTROL-059 REQ-SEAIRTRAFFICCONTROL-010 Verification test for REQ-SEAIRTRAFFICCONTROL-010
REQ-SEAIRTRAFFICCONTROL-058 IFC-REQ-003 Verification test for IFC-REQ-003
REQ-SEAIRTRAFFICCONTROL-068 SYS-REQ-006 VLAN inspection and flood test verifies network isolation architecture supporting SYS-REQ-006
REQ-SEAIRTRAFFICCONTROL-067 SYS-REQ-004 SIL 3 assessment of SNS architectural independence verifies safety net architecture supporting SYS-REQ-004
REQ-SEAIRTRAFFICCONTROL-066 SYS-REQ-003 Live dual-hot-standby failover test verifies availability through architectural mechanism specified in ARC-REQ-001
VER-021 SYS-012 Load test of ASTERIX Cat 062 latency at full track density verifies SYS-012 output latency requirement
VER-020 SYS-REQ-011 Recording completeness, tamper-attempt, and regulatory retrieval test verifies audit capability
VER-019 SYS-REQ-010 CFMU acceptance environment interoperability test verifies OLDI B2B interface compliance
VER-018 SYS-REQ-009 Per-subsystem failure injection test verifies degraded mode continuity and 15-minute recovery time
VER-017 SYS-REQ-008 Geometric injection test at boundary values verifies conflict probe 20-minute advance warning
VER-016 SYS-REQ-007 Live mains failure switchover test and 72-hour generator endurance run verifies power supply requirements
VER-015 SYS-REQ-006 Independent penetration test verifies network isolation between ATC operational network and external feeds
VER-014 SYS-REQ-005 Full-load capacity test at 2500 tracks and 5000 flight plans verifies system throughput requirement
VER-013 SYS-REQ-004 1000-scenario replay test verifies STCA 120s advance warning and missed detection probability
VER-012 SYS-REQ-002 Full-system update rate load test verifies end-to-end track refresh latency
VER-011 SYS-REQ-001 System-level ADS-B reference transponder test verifies end-to-end fused track accuracy
VER-REQ-003 SYS-REQ-003 VER-003 verifies system availability
SYS-REQ-003 VER-REQ-003 System availability requirement verified by 12-month operational monitoring

Orphan Requirements (no trace links)

RefDocumentRequirement
IFC-REQ-010 interface-requirements The interface between the Safety Net System and the Controller Working Position SHALL deliver STCA and MSAW alerts to th...
STK-REQ-010 stakeholder-requirements The Air Traffic Control System SHALL provide an isolated controller training mode that replicates the live operational i...
SUB-REQ-009 subsystem-requirements The Recording and Replay System SHALL support simultaneous replay of all recorded data streams at selectable playback ra...
SUB-REQ-039 subsystem-requirements The facility power supply system SHALL provide two independent AC power feeds to all ATC subsystems: mains grid feed and...
SUB-REQ-040 subsystem-requirements The facility power supply system SHALL sustain all ATC subsystems at full operational load on diesel generator power alo...
SYS-REQ-014 system-requirements The Air Traffic Control System SHALL implement a training mode subsystem that is logically isolated from the operational...
VER-REQ-013 verification-plan The Data Distribution Network end-to-end safety-critical message latency (SUB-REQ for DDN) SHALL be verified by injectin...
VER-REQ-014 verification-plan The Controller Working Position display refresh rate and track symbol update latency (SUB-REQ-006) SHALL be verified by ...
VER-REQ-023 verification-plan The Safety Net System conflict prediction function (SUB-REQ-003) SHALL be verified by injecting 500 synthetic conflict s...
VER-REQ-024 verification-plan The Minimum Safe Altitude Warning function (SUB-REQ-013) SHALL be verified by replaying 100 CFIT-precursor track profile...
VER-REQ-025 verification-plan The Surveillance Data Processing multi-sensor ingestion capability (SUB-REQ-001) SHALL be verified by a system integrati...
VER-REQ-026 verification-plan The Surveillance Data Processing track identity assignment (SUB-REQ-010) SHALL be verified by injecting a 200-aircraft s...
VER-REQ-027 verification-plan The Flight Data Processing flight plan lifecycle management (SUB-REQ-005) SHALL be verified by executing a 4-hour traffi...
VER-REQ-028 verification-plan The CPDLC message delivery latency and confirmation (SUB-REQ-025) SHALL be verified by injecting 1000 CPDLC uplink messa...
VER-REQ-029 verification-plan The Aeronautical Information Management NOTAM propagation (SUB-REQ-003) SHALL be verified by injecting 50 NOTAMs of diff...
VER-REQ-030 verification-plan The Data Distribution Network single-switch failure survivability (SUB-REQ-005) SHALL be verified by a controlled test r...
VER-REQ-031 verification-plan The System Monitoring and Control health deviation detection (SUB-REQ-006) SHALL be verified by injecting simulated subs...
VER-REQ-032 verification-plan The Voice Communication System simultaneous independent channel capability (SUB-REQ-007) SHALL be verified by configurin...
VER-REQ-033 verification-plan The Recording and Replay System simultaneous replay capability (SUB-REQ-009) SHALL be verified by initiating playback of...
VER-REQ-034 verification-plan The SDP failover timing (SUB-REQ-008) SHALL be verified by: (1) disconnecting the primary processing node power while ru...
VER-REQ-035 verification-plan The SNS STCA alert timing (SUB-REQ-012) SHALL be verified by: (1) injecting 100 simulated separation-violating track pai...
VER-REQ-036 verification-plan The AIM AIRAC cycle update timing (SUB-REQ-018) SHALL be verified by: (1) injecting a complete AIRAC cycle data package ...
VER-REQ-037 verification-plan The DDN QoS priority queuing (SUB-REQ-020) SHALL be verified by: (1) generating synthetic congestion load at 95% link ut...
VER-REQ-038 verification-plan The CPDLC ACARS failover (SUB-REQ-029) SHALL be verified by: (1) establishing active CPDLC sessions on 5 aircraft over V...
VER-REQ-039 verification-plan The AMAN sequence recomputation latency (SUB-REQ-032) SHALL be verified by: (1) loading a 20-aircraft inbound scenario; ...
VER-REQ-041 verification-plan The SDP multi-sensor fusion (SUB-REQ-011) SHALL be verified by: (1) simultaneously injecting simulated ADS-B, SSR, PSR, ...
VER-REQ-043 verification-plan The FDP clearance distribution latency (SUB-REQ-015) SHALL be verified by: (1) entering 50 sequential clearance inputs a...
VER-REQ-044 verification-plan The CWP clearance input efficiency (SUB-REQ-016) SHALL be verified by: (1) having 3 qualified ATC controllers attempt 50...
VER-REQ-045 verification-plan The VCS guard frequency independence (SUB-REQ-017) SHALL be verified by: (1) powering down the primary voice switching s...
VER-REQ-047 verification-plan The AIM terrain and obstacle database coverage (SUB-REQ-019) SHALL be verified by: (1) sampling 100 randomised geographi...
VER-REQ-049 verification-plan The SMC real-time health dashboard (SUB-REQ-021) SHALL be verified by: (1) inducing CPU spike, memory leak, and network ...
VER-REQ-050 verification-plan The RRS 30-day retention with integrity protection (SUB-REQ-022) SHALL be verified by: (1) running the RRS for a 30-day ...
VER-REQ-051 verification-plan The CWP sector ownership display currency (SUB-REQ-024) SHALL be verified by: (1) executing 20 sector boundary transfers...
VER-REQ-052 verification-plan The AMAN landing sequence computation (SUB-REQ-026) SHALL be verified by: (1) loading a high-density traffic scenario (2...
VER-REQ-053 verification-plan The CPDLC message authentication (SUB-REQ-027) SHALL be verified by: (1) injecting 100 CPDLC messages with valid ATN B1/...
VER-REQ-055 verification-plan The CPDLC message logging and tamper-evidence (SUB-REQ-031) SHALL be verified by: (1) executing 200 CPDLC message exchan...
VER-REQ-057 verification-plan The AMAN multi-runway configuration (SUB-REQ-033) SHALL be verified by: (1) configuring all 4 runway configurations simu...
VER-REQ-058 verification-plan The AMAN planning horizon (SUB-REQ-034) SHALL be verified by: (1) populating the AMAN with 30 aircraft at ranges from 0 ...
VER-REQ-059 verification-plan The FDP OLDI coordination processing (SUB-REQ-035) SHALL be verified by: (1) injecting 100 ABI, ACT, REV, and LAM messag...
VER-REQ-060 verification-plan The FDP trajectory prediction accuracy (SUB-REQ-036) SHALL be verified by: (1) running 500 historical traffic scenarios ...
VER-REQ-061 verification-plan The CWP electronic flight strip bay (SUB-REQ-037) SHALL be verified by: (1) populating a sector with 25 active flights, ...
VER-REQ-062 verification-plan The VCS conferencing latency (SUB-REQ-038) SHALL be verified by: (1) establishing a 6-way conference on a single control...
VER-REQ-063 verification-plan The SDP→SNS track data interface (IFC-REQ-001) SHALL be verified by: (1) injecting 500 track updates from a simulated SD...
VER-REQ-064 verification-plan The SDP→FDP track data interface (IFC-REQ-002) SHALL be verified by: (1) running 200 aircraft scenarios with known track...
VER-REQ-065 verification-plan The FDP OLDI interface to Adjacent ATC Centres (IFC-REQ-003) SHALL be verified by: (1) simulating 4 adjacent ANSP bounda...
VER-REQ-066 verification-plan The SNS→CWP STCA alert delivery interface (IFC-REQ-010) SHALL be verified by: (1) generating 100 STCA events at the SNS;...
VER-REQ-067 verification-plan The AIM→SDP navigation data interface (IFC-REQ-011) SHALL be verified by: (1) updating a waypoint and airspace boundary ...
VER-REQ-068 verification-plan The FDP→CWP flight data interface (IFC-REQ-012) SHALL be verified by: (1) executing 100 flight plan amendments at FDP; (...
VER-REQ-069 verification-plan The VCS→CWP voice integration interface (IFC-REQ-013) SHALL be verified by: (1) selecting a radio frequency at a CWP pos...
VER-REQ-070 verification-plan The SMC→subsystems health monitoring interface (IFC-REQ-014) SHALL be verified by: (1) inducing health parameter breache...
VER-REQ-071 verification-plan The RRS→DDN recording capture interface (IFC-REQ-015) SHALL be verified by: (1) running the full system at peak traffic ...
VER-REQ-072 verification-plan The SNS-to-CWP alert delivery latency (IFC-REQ-010) SHALL be verified by: (1) configuring an instrumented CWP display wi...
VER-REQ-073 verification-plan The dual-hot-standby failover capability (ARC-REQ-001) SHALL be verified by: (1) running both SDP and FDP nodes in prima...
VER-REQ-074 verification-plan The Safety Net System architectural independence from operational processing (ARC-REQ-002) SHALL be verified by analysis...
VER-REQ-075 verification-plan The DDN VLAN segmentation and physical isolation (ARC-REQ-011) SHALL be verified by: (1) a network topology inspection c...
VER-REQ-076 verification-plan The AIM subsystem dual-database AIRAC switchover and reversion (ARC-REQ-012) SHALL be verified by demonstration: (1) loa...
VER-REQ-077 verification-plan The Recording and Replay System multi-stream replay capability (SUB-REQ-009) SHALL be verified by: (1) recording 2 hours...
VER-REQ-078 verification-plan The Aeronautical Information Management navigation data query latency (REQ-SEAIRTRAFFICCONTROL-002) SHALL be verified by...
VER-REQ-079 verification-plan The System Monitoring and Control secure configuration management interface (REQ-SEAIRTRAFFICCONTROL-007) SHALL be verif...
VER-REQ-080 verification-plan The Controller Working Position display refresh rate and track symbol update latency (native SUB-REQ-006) SHALL be verif...
VER-REQ-082 verification-plan The facility power supply ATS switchover performance (REQ-SEAIRTRAFFICCONTROL-074) SHALL be verified by: (1) with all AT...
VER-REQ-083 verification-plan The diesel generator 72-hour endurance and fuel alarm system (REQ-SEAIRTRAFFICCONTROL-075) SHALL be verified by: (1) con...
VER-REQ-084 verification-plan The DDN VLAN segmentation isolation (ARC-REQ-011) SHALL be verified by: (1) configuring a test host on the safety-critic...
VER-REQ-085 verification-plan The AIM dual-database architecture (ARC-REQ-012) SHALL be verified by: (1) loading a corrupted AIRAC package into the AI...
VER-REQ-086 verification-plan The SNS-to-CWP alert delivery interface (IFC-REQ-010) SHALL be verified by: (1) triggering 50 STCA alerts and 50 MSAW al...
VER-REQ-087 verification-plan The Recording and Replay System simultaneous multi-stream replay (SUB-REQ-009) SHALL be verified by: (1) configuring a r...
VER-REQ-091 verification-plan The training mode isolation (REQ-SEAIRTRAFFICCONTROL-083) SHALL be verified by: (1) inspecting the system architecture d...