← All reports
PDF Excel ReqIF

New Tyne Crossing Transport Appraisal System

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

42
Verification Entries
43
Verification Links
19
Orphans

Verification Requirements (VER)

RefRequirementMethodTags
VER-METHODS-001 Verify IFC-DEFS-001: Inject a deliberately corrupted network model (truncated link table) and confirm the Vehicle Behaviour Engine rejects it with a checksum mismatch error before simulation start. Then transfer a valid network model and confirm all link attributes match source GIS data within coded tolerances.
Rationale: Validates that the Network Coding Module to Simulation Execution Manager interface correctly handles corrupted input, ensuring data quality gating prevents invalid models from entering simulation.
Test verification, traffic-microsim, session-264
VER-METHODS-002 Verify IFC-DEFS-002: Run a single-junction scenario with known fixed-time signal plan. Record signal states received by the Vehicle Behaviour Engine at each time step and compare against the programmed stage sequence. Pass criteria: 100 percent of signal state updates delivered at the correct time step with correct stage and phase data.
Rationale: Confirms that the Signal Controller Emulator correctly receives and applies signal timing plans from the Simulation Execution Manager, which is critical for accurate junction delay modelling.
Test verification, traffic-microsim, session-264
VER-METHODS-003 Verify IFC-DEFS-003: Export journey time matrices from the Results Extraction Module for a calibrated test scenario. Import into the Economic Appraisal Engine and confirm: all OD pairs present, vehicle types correctly disaggregated, journey times within 0.1 seconds of source values, and zone system matches demand model zones with no orphaned or missing zones.
Rationale: Validates that journey time matrix extraction from microsimulation produces results comparable with the demand model inputs, ensuring consistency between the microsimulation and demand modelling subsystems.
Test verification, traffic-microsim, session-264
VER-METHODS-004 Verify IFC-DEFS-004: Load trip end outputs into the distribution engine for one forecast year. Confirm all zone IDs match, all 5 purposes and 3 time periods are present, productions equal attractions at sector level within 0.1%, and CSV schema validation passes. Pass criteria: zero zone mismatches, zero missing purpose-period combinations.
Rationale: Confirms that the Trip End Forecasting to Trip Distribution interface correctly transfers trip end data, ensuring that demand model components are properly chained.
Test verification, demand-modelling, session-265
VER-METHODS-005 Verify IFC-DEFS-005: Run highway assignment on a calibrated base year scenario. Extract cost skims and confirm time, distance, and toll components are present and separable. Verify skim matrix dimensions match zone system. Spot-check 10 zone pairs with known observed journey times — modelled times SHALL be within 15% of observed. Pass criteria: complete skim matrices with no NaN values, all 10 spot checks within tolerance.
Rationale: Validates highway assignment convergence and confirms that assignment results meet TAG unit M3.1 convergence criteria, ensuring that user benefit calculations are based on a stable assignment.
Test verification, demand-modelling, session-265
VER-METHODS-006 Verify IFC-DEFS-006: Run one iteration of the demand model. Confirm the convergence report contains total trips per user class, maximum zonal change, and percentage demand change. Verify matrices are non-negative and trip totals match the convergence report values. Pass criteria: report fields present and consistent with matrix contents.
Rationale: Confirms demand-supply convergence loop operates correctly, which is essential for variable demand modelling as required by TAG unit M2.
Test verification, demand-modelling, session-265
VER-METHODS-007 Verify IFC-DEFS-007: Run matrix estimation with a synthetic prior matrix and known count set. Confirm iterative loop produces improving GEH statistics with each cycle. Verify the 50-iteration cap terminates the loop. Pass criteria: GEH improves monotonically for at least the first 10 iterations, loop terminates at iteration 50 if convergence criterion not met.
Rationale: Validates that matrix estimation produces credible adjustments to the prior matrix using synthetic data with known ground truth, confirming the estimation algorithm works correctly before applying to real data.
Test verification, demand-modelling, session-265
VER-METHODS-008 Verify IFC-DEFS-008: Extract cordon matrices from a converged assignment. Confirm 15-minute time slices are present, vehicle classes are disaggregated, and total cordon demand sums to within 2% of the corresponding period-level strategic assignment link flows at cordon entry points. Pass criteria: all time slices present, all vehicle classes present, flow consistency within 2%.
Rationale: Confirms that cordon matrix extraction from assignment outputs produces correct sub-area matrices, which are essential for feeding microsimulation models with demand data from the strategic model.
Test verification, demand-modelling, session-265
VER-METHODS-009 Verify IFC-DEFS-009: Generate do-minimum and do-something outputs from the demand model. Confirm both demand matrices and generalised cost changes are present and disaggregated by purpose and user class. Compute rule-of-half benefits and verify the sign is positive for a scenario where the new crossing reduces costs. Pass criteria: complete data transfer, positive net benefits for cost-reducing scenario.
Rationale: Validates the critical demand model to economic appraisal interface, ensuring benefit calculations receive correct scenario outputs with all required metrics.
Test verification, demand-modelling, session-265
VER-METHODS-010 Verify IFC-DEFS-010: Load air quality and noise receptor results into the EIA Module for one scenario. Confirm all receptor records contain valid easting/northing coordinates, receptor type classification, baseline and do-something values for each pollutant and noise metric, and that no records have null or negative concentration values. Verify receptor count matches the defined study area receptors. Pass criteria: zero null fields, all coordinates within study area extent, receptor count matches definition.
Rationale: Confirms air quality and noise receptor results transfer correctly to the EIA Module for aggregation into the environmental statement.
Test verification, environmental-assessment, session-267
VER-METHODS-011 Verify IFC-DEFS-011: Transfer GHG assessment outputs for a test scenario with known emission inputs. Confirm annual CO2e totals by source category sum to the lifecycle total within rounding tolerance. Verify monetised NPV matches independent calculation using published BEIS carbon values and Green Book discount rates. Pass criteria: lifecycle sum consistent, NPV within 1% of independent calculation.
Rationale: Validates GHG emissions data transfer for correct monetisation using BEIS carbon values, ensuring TAG A3 reporting accuracy.
Test verification, environmental-assessment, session-267
VER-METHODS-012 Verify IFC-DEFS-012: Extract link-level traffic data from a converged transport model run. Confirm AADT, speed, and HGV percentage are present for all links within the AQ study area (200m buffer) and noise study area (600m buffer). Verify AADT values are positive and speeds are within plausible range (5-120 km/h). Cross-check total screenline flows against assignment outputs. Pass criteria: zero missing links within study areas, all values within plausible ranges, screenline flows within 2%.
Rationale: Confirms that link-level traffic data transfer from the demand model to environmental assessment uses consistent vehicle classifications and road link references, preventing mismatched spatial data between subsystems.
Test verification, environmental-assessment, session-267
VER-METHODS-013 Verify IFC-DEFS-013: Load a test dataset of 120 count site records into the Traffic Survey Data Processor and verify that the Matrix Estimation Processor receives CSV output containing all required fields (site ID, link reference, direction, time period, vehicle type, flow) with no missing fields and flow values matching input within floating-point tolerance. Pass criteria: 100 percent field completeness and zero data loss across transfer.
Rationale: Validates the Traffic Survey Data Processor to Matrix Estimation interface, confirming that count data format and quality flags are correctly transferred and interpreted.
Test verification, data-acquisition, session-269
VER-METHODS-014 Verify IFC-DEFS-014: Export a coded network from the Network Data Repository and import into SATURN. Verify that node count, link count, and all link attributes (speed, capacity, lanes, gradient, type) match the repository source within 0.01 percent tolerance. Verify network checksum matches. Pass criteria: zero attribute discrepancies and checksum match confirmed.
Rationale: Confirms network data integrity across the Network Data Repository to Highway Assignment interface, preventing model corruption from incomplete or stale network transfers.
Test verification, data-acquisition, session-269
VER-METHODS-015 Verify IFC-DEFS-015: Transfer a test scheme cost dataset through the interface and verify TUBA-compatible output contains all cost categories disaggregated by year, in both factor-cost and market-price bases, with optimism bias as separate line items. Verify that discounted PV totals computed from the transferred data match independently calculated values within 0.1 percent. Pass criteria: complete cost table structure and PV consistency check passed.
Rationale: Validates cost data transfer to the Public Accounts Calculator, ensuring optimism bias and cost category disaggregation are preserved through the interface.
Test verification, data-acquisition, session-269
VER-METHODS-016 Verify IFC-DEFS-016: Transfer socioeconomic attribute tables and verify the Distributional Impact Assessor receives complete zone-level records with population, IMD quintile, car ownership, economic activity, and protected characteristics for all study area zones. Verify zone count matches and no null values in mandatory fields. Pass criteria: 100 percent zone coverage and zero null mandatory fields.
Rationale: Confirms socioeconomic attribute transfer for distributional impact analysis, ensuring zone-level deprivation and protected characteristic data reach the assessor correctly.
Test verification, data-acquisition, session-269
VER-METHODS-017 Verify IFC-DEFS-017: Transfer local development adjustment factors and verify the Trip End Forecasting Module receives zone-level records with zone ID, forecast year, trip purpose, and adjustment factor for all zones with committed development. Verify that applying the adjustment factors preserves NTEM regional control totals within 0.1 percent. Pass criteria: complete record transfer and regional total preservation confirmed.
Rationale: Validates planning data adjustment factor transfer, ensuring local development adjustments correctly modify NTEM base trip ends.
Test verification, data-acquisition, session-269
VER-METHODS-018 Verify IFC-DEFS-018: Integration test transferring a sample count dataset (minimum 50 sites) from Traffic Count Database to Matrix Estimation Processor. Pass criteria: all mandatory fields present, quality grades included for every record, validation flags match Data Validation Engine output, and processor accepts dataset without parsing errors.
Rationale: Confirms count data transfer with quality grades from the Traffic Count Database, validating that data quality metadata is preserved through the interface for matrix estimation weighting.
Test verification, data-acquisition, session-268
VER-METHODS-019 Verify IFC-DEFS-022: Transfer a test receptor dataset of 500 points from the Receptor Mapping Engine and verify the Air Quality and Noise Modelling Engine receives a valid GeoPackage containing all required fields (ID, easting, northing, type, sensitivity, height, floors) with no null mandatory fields, all coordinates within the study area bounding box, and receptor count matching source. Pass criteria: 100 percent record transfer, zero null mandatory fields, all coordinates valid in BNG.
Rationale: Validates receptor dataset transfer from the Receptor Mapping Engine, confirming spatial accuracy, receptor classification, and minimum receptor count requirements.
Test verification, geospatial, session-269
VER-METHODS-020 Verify IFC-DEFS-019: Integration test transferring trip rate dataset from Travel Survey Processor to Trip End Forecasting Module. Pass criteria: trip rates disaggregated by all 5 TAG purposes, person types, and time periods; confidence intervals present for every rate; CSV format parseable by receiving module; and trip rates reproduce known NTS regional averages within published confidence bounds.
Rationale: Confirms trip rate dataset transfer including confidence intervals, which are essential for demand model calibration and uncertainty analysis.
Test verification, data-acquisition, session-268
VER-METHODS-021 Verify IFC-DEFS-023: Run a test overlay for a single crossing option and verify the Environmental Impact Assessment Module receives a constraint matrix containing all statutory designation types, with intersection areas summing to within 0.01 hectare of independently computed GIS overlay results, and proximity distances matching to within 1 metre. Pass criteria: designation type completeness, area sum within tolerance, distance within tolerance.
Rationale: Validates spatial overlay computation for environmental constraint assessment, confirming intersection area and proximity calculations match expected values for known test geometries.
Test verification, geospatial, session-269
VER-METHODS-022 Verify IFC-DEFS-020: Integration test transferring zonal planning data from Land Use Data Manager to Trip End Forecasting Module. Pass criteria: population and employment totals sum to NTEM v8.0 regional control totals within 0.5%, compliance flags correctly reflect conformance status, and all forecast years (2031, 2046, 2061) present with complete zonal coverage.
Rationale: Confirms zonal planning data transfer from the Land Use and Planning Data Manager, validating that NTEM control total compliance is correctly flagged per zone.
Test verification, data-acquisition, session-268
VER-METHODS-023 Verify IFC-DEFS-021: Integration test transferring coded network from GIS Repository to Highway Assignment Engine. Pass criteria: all 3,000+ links have non-null speed, capacity, and BPR parameters; junction turn penalties present at signalised nodes; network loads successfully in assignment software; and a test assignment converges within the specified 0.1% gap tolerance.
Rationale: Validates coded network transfer from the GIS Repository to Highway Assignment, confirming attribute completeness and format compatibility with assignment software.
Test verification, data-acquisition, session-268
VER-METHODS-024 Verify SUB-REQS-003: Calibrate the Vehicle Behaviour Engine against observed speed-flow data from A19, A1058, and Tyne Tunnel approaches. Pass criteria: simulated mean speeds within 15 percent of observed 15-minute mean speeds for at least 85 percent of links, and GEH statistic below 5 for at least 85 percent of calibration count sites across AM peak, interpeak, and PM peak periods.
Rationale: Speed-flow calibration is the primary determinant of microsimulation model validity. Unreproducible link performance invalidates journey time outputs for economic appraisal.
Test verification, traffic-microsimulation, session-271
VER-METHODS-025 Verify SUB-REQS-010: Run Wardrop equilibrium assignment on the base year calibrated network. Pass criteria: percent gap convergence below 0.1 percent, and observed versus modelled screenline flows within 5 percent at the Tyne screenline and within 10 percent at outer cordon sites. Validate against DMRB/TAG M3.1 convergence standards.
Rationale: Highway assignment convergence and screenline validation are TAG mandatory checks. Non-converged assignment produces unstable route choice rendering option comparison unreliable.
Test verification, transport-demand, session-271
VER-METHODS-026 Verify SUB-REQS-016: Compare modelled annual mean NO2 and PM2.5 concentrations against AURN and local authority monitoring site measurements for the base year. Pass criteria: modelled concentrations within plus or minus 25 percent of monitored values at a minimum of 80 percent of verification sites, and model adjustment factor within 0.75 to 1.25 per LAQM TG22 guidance.
Rationale: Air quality model verification against monitoring data is required by DMRB LA 105. Unverified outputs cannot support Environmental Statement conclusions.
Test verification, environmental, session-271
VER-METHODS-027 Verify SUB-REQS-018: Validate lifecycle carbon emission calculations by independent recalculation using PAS 2080 methodology for one crossing option. Pass criteria: total tonnes CO2e within 10 percent of independent estimate across construction, maintenance, and operation phases, with construction-phase embodied carbon cross-checked against Highways England Carbon Tool outputs.
Rationale: GHG quantification supports TAG A3 environmental valuation and NPSNN carbon compliance. Independent verification needed as the carbon case is material to the planning decision.
Analysis verification, environmental, session-271
VER-METHODS-028 Verify SUB-REQS-004: Execute 10 random seed runs for one scenario and one time period. Confirm mean journey times have coefficient of variation below 5 percent and 95 percent confidence interval width is below 10 percent of mean. Verify all seed results are logged with seed values for reproducibility.
Rationale: TAG M3.1 requires demonstration that microsimulation outputs are statistically stable. Insufficient seed runs produce unstable journey time estimates undermining economic appraisal.
Test verification, traffic-microsimulation, session-271
VER-METHODS-029 Verify SUB-REQS-012: Run the variable demand model for one forecast scenario until convergence. Pass criteria: demand change between successive iterations below 0.1 percent, assignment gap below 0.1 percent, and total iterations recorded. Verify convergence log output matches TAG M2 reporting format.
Rationale: Demand-supply convergence is mandatory for TAG variable demand modelling. Non-converged runs produce arbitrary demand responses invalidating the economic case.
Test verification, transport-demand, session-271
VER-METHODS-030 Verify SUB-REQS-024: Inspect optimism bias uplift calculations for one crossing option across all cost categories. Pass criteria: uplift percentages match Green Book supplementary guidance Table 1 for the appropriate project stage, and the applied percentages are within the prescribed ranges for roads projects (15 to 44 percent for capital costs at Programme Entry).
Rationale: Optimism bias directly affects BCR and VfM category. Incorrect uplift percentages could lead to wrong investment decision classification.
Inspection verification, economic-appraisal, session-271
VER-METHODS-031 Verify IFC-DEFS-024: Execute a test scenario producing AST, TEE, and PA tables from the BCR and AST Generator. Confirm the Report Template Engine receives valid JSON containing all required fields (monetary values in undiscounted and 2010 PV prices, option identifier, scenario variant). Pass criteria: all table cells in the assembled report match source JSON values with zero transcription errors.
Rationale: Demonstration validates end-to-end data flow from BCR/AST Generator to Report Template Engine. JSON schema validation and field completeness checks verify the interface contract is met, catching integration failures before they propagate into published reports.
Test verification, appraisal-reporting, session-273
VER-METHODS-032 Verify IFC-DEFS-025: Generate environmental chapter outputs for a test crossing option covering all 14 DMRB LA 104 topics. Confirm the Report Template Engine receives structured documents with significance ratings and summary tables. Pass criteria: all 14 topics present, significance ratings conform to DMRB scale, and residual effects table is complete.
Rationale: Environmental outputs must cover all 14 DMRB LA 104 topics for EIA compliance. Testing against a representative crossing option confirms the interface delivers complete chapter-level assessments with required significance ratings and mitigation details.
Test verification, appraisal-reporting, session-273
VER-METHODS-033 Verify IFC-DEFS-026: Run a test microsimulation producing junction performance summaries for 5 representative junctions. Confirm delivery of V/C ratios, mean max queue lengths, and average delays with Do-Minimum and Do-Something columns. Pass criteria: all metrics present for all junctions, values within physically plausible ranges (V/C 0-2.0, queue 0-500 PCU, delay 0-600s).
Rationale: Junction performance verification uses a controlled set of 5 representative junctions to confirm data fidelity. Checking V/C ratios, queue lengths, and delays with documented precision ensures the microsimulation-to-reporting interface preserves the numeric accuracy needed for transport assessment.
Test verification, appraisal-reporting, session-273
VER-METHODS-034 Verify IFC-DEFS-027: Generate scheme plan and thematic map outputs for a test option. Confirm PNG/SVG images at 300 DPI (print) and 72 DPI (web) with accompanying alt-text for each layer. Pass criteria: image resolution matches spec, alt-text is non-empty and describes spatial content, all map layers have corresponding alt-text entries.
Rationale: Map output verification confirms dual-resolution rendering (300 DPI print, 72 DPI web) and accessibility metadata. Alt-text presence for each layer is a WCAG 2.1 requirement for public consultation materials.
Test verification, appraisal-reporting, session-273
VER-METHODS-035 Verify IFC-DEFS-028: Load a test scenario definition matrix with 4 options x 3 growth variants x 2 cost variants. Confirm the Sensitivity and Uncertainty Reporter receives all 24 scenario combinations with correct option ID, growth assumption, toll level, cost factor, and VoT dataset. Pass criteria: scenario count matches expected 24, no duplicate or missing combinations.
Rationale: Scenario matrix verification with a 4x3x2 factorial design (24 combinations) confirms the interface correctly transmits all scenario variants. Incomplete scenario transfer would silently omit sensitivity test results, undermining the robustness analysis required by TAG Unit M4.
Test verification, appraisal-reporting, session-273
VER-METHODS-036 Verify IFC-DEFS-029: Generate sifting matrix and comparison table data for 4 test options. Confirm structured data contains option IDs, criteria names, seven-point scores, and narrative text. Pass criteria: all options present, all criteria scored, seven-point scores are valid values from the WebTAG scale, and narrative text accompanies each qualitative score.
Rationale: Sifting matrix verification with 4 test options confirms all required fields (IDs, criteria, scores, narrative) are transferred correctly. Data integrity at this interface directly affects the option comparison outputs presented to decision-makers.
Test verification, appraisal-reporting, session-273
VER-METHODS-043 Verify SUB-REQS-001: Select 20 representative road links within 2km of each crossing option spanning major roads, minor roads, and slip roads. Compare coded speed, capacity, lane count, gradient, and link type against surveyed values from the 2024 traffic surveys. Pass criteria: all 20 links match observed values within 10 percent for speed and capacity, exact match for lane count and link type, and gradient within 0.5 percent. Inspection
VER-METHODS-044 Verify SUB-REQS-002: Compare modelled green times against observed stage durations for 10 signalised junctions within the study area across AM peak, interpeak, and PM peak periods. Pass criteria: modelled green times within 3 seconds of observed stage durations for each stage at each junction in each time period, and overall junction cycle times within 5 seconds of observed. Test
VER-METHODS-045 Verify SUB-REQS-005: Execute a complete model run for one crossing option and extract OD journey time matrices and junction turning movement matrices. Confirm outputs are directly importable by the Economic Appraisal Engine without manual transformation, disaggregated by vehicle type with car, LGV, and HGV categories. Pass criteria: imported matrices match model outputs exactly with no data loss or format conversion errors, and all vehicle type categories are present. Demonstration
VER-METHODS-046 Verify SUB-EAE-050: Run the Transport User Benefit Calculator for one crossing option with known do-minimum and do-something demand model outputs. Confirm TEE table contains all required disaggregations (3 user classes, 2 modes, 4 time periods). Cross-check total user benefits against an independent TUBA run using the same inputs. Pass criteria: user benefit totals agree within 0.5 percent, all cells populated with correct sign convention, market price base year matches DfT specification. Test verification, economic-appraisal, session-275
VER-METHODS-047 Verify SUB-EAE-052: Run COBALT analysis for one crossing option using published A19 corridor accident data. Compare modelled accident changes against manual calculation using the same link flows and DfT accident rates. Pass criteria: total accident cost savings agree within 1 percent, severity disaggregation matches, all links within 2km of the crossing are included in the analysis. Analysis verification, economic-appraisal, session-275
VER-METHODS-048 Verify SUB-EAE-058: Run the BCR and AST Generator for all crossing options using verified PV outputs. Confirm initial BCR equals PVB/PVC, adjusted BCR includes wider economic impacts. Verify AST format matches current TAG Unit A1 template including row ordering, sign conventions, and rounding rules. Pass criteria: BCR values agree with independent spreadsheet calculation, AST passes DfT format compliance check. Test verification, economic-appraisal, session-275

Traceability Matrix — Verification

RequirementVerified ByDescription
IFC-DEFS-029 VER-METHODS-036
IFC-DEFS-028 VER-METHODS-035
IFC-DEFS-027 VER-METHODS-034
IFC-DEFS-026 VER-METHODS-033
IFC-DEFS-025 VER-METHODS-032
IFC-DEFS-024 VER-METHODS-031
IFC-DEFS-021 VER-METHODS-023
IFC-DEFS-023 VER-METHODS-021
IFC-DEFS-020 VER-METHODS-022
IFC-DEFS-022 VER-METHODS-019
IFC-DEFS-019 VER-METHODS-020
IFC-DEFS-018 VER-METHODS-018
IFC-DEFS-017 VER-METHODS-017
IFC-DEFS-016 VER-METHODS-016
IFC-DEFS-015 VER-METHODS-015
IFC-DEFS-014 VER-METHODS-014
IFC-DEFS-013 VER-METHODS-013
IFC-DEFS-012 VER-METHODS-012
IFC-DEFS-011 VER-METHODS-011
IFC-DEFS-010 VER-METHODS-010
IFC-DEFS-009 VER-METHODS-009
IFC-DEFS-008 VER-METHODS-008
IFC-DEFS-007 VER-METHODS-007
IFC-DEFS-006 VER-METHODS-006
IFC-DEFS-005 VER-METHODS-005
IFC-DEFS-004 VER-METHODS-004
IFC-DEFS-003 VER-METHODS-003
IFC-DEFS-002 VER-METHODS-002
IFC-DEFS-001 VER-METHODS-001
SUB-EAE-050 VER-040
SUB-EAE-058 VER-042
SUB-EAE-052 VER-041
SUB-EAE-051 VER-040
SUB-REQS-005 VER-039
SUB-REQS-002 VER-038
SUB-REQS-001 VER-037
SUB-REQS-024 VER-METHODS-030
SUB-REQS-012 VER-METHODS-029
SUB-REQS-004 VER-METHODS-028
SUB-REQS-018 VER-METHODS-027
SUB-REQS-016 VER-METHODS-026
SUB-REQS-010 VER-METHODS-025
SUB-REQS-003 VER-METHODS-024

Orphan Requirements (no trace links)

RefDocumentRequirement
IFC-DEFS-033 interface-requirements The interface between the Transport User Benefit Calculator and the Present Value and Discounting Engine SHALL transfer ...
IFC-DEFS-034 interface-requirements The interface between the Accident Cost-Benefit Module and the Present Value and Discounting Engine SHALL transfer undis...
IFC-DEFS-035 interface-requirements The interface between the Present Value and Discounting Engine and the BCR and AST Generator SHALL transfer the complete...
STK-NEEDS-010 stakeholder-requirements The Transport Appraisal System SHALL assess road safety impacts of each crossing option by quantifying changes in accide...
SUB-REQS-050 subsystem-requirements The Transport User Benefit Calculator SHALL compute the Transport Economic Efficiency (TEE) table per TAG Unit A1.1 for ...
SUB-REQS-052 subsystem-requirements The Accident Cost-Benefit Module SHALL calculate road safety benefits using the COBALT methodology per TAG Unit A4.1, co...
SUB-REQS-053 subsystem-requirements The Environmental Impact Monetisation Module SHALL convert physical environmental impacts into monetary values per TAG U...
SUB-REQS-054 subsystem-requirements The Greenhouse Gas Valuation Module SHALL monetise transport-related greenhouse gas emissions using BEIS traded and non-...
SUB-REQS-055 subsystem-requirements The Public Accounts Calculator SHALL compute the Public Accounts (PA) table per TAG Unit A1, calculating government reve...
SUB-REQS-056 subsystem-requirements The Wider Economic Impacts Module SHALL calculate Level 2 wider economic impacts per TAG Unit A2.1, including agglomerat...
SUB-REQS-057 subsystem-requirements The Present Value and Discounting Engine SHALL apply HM Treasury Green Book discounting to all monetary benefit and cost...
SUB-REQS-058 subsystem-requirements The BCR and AST Generator SHALL compute the initial BCR (present value of benefits divided by present value of costs to ...
SYS-REQS-015 system-requirements The Transport Appraisal System SHALL calculate the change in personal injury accidents by severity (fatal, serious, slig...
VER-METHODS-043 verification-plan Verify SUB-REQS-001: Select 20 representative road links within 2km of each crossing option spanning major roads, minor ...
VER-METHODS-044 verification-plan Verify SUB-REQS-002: Compare modelled green times against observed stage durations for 10 signalised junctions within th...
VER-METHODS-045 verification-plan Verify SUB-REQS-005: Execute a complete model run for one crossing option and extract OD journey time matrices and junct...
VER-METHODS-046 verification-plan Verify SUB-EAE-050: Run the Transport User Benefit Calculator for one crossing option with known do-minimum and do-somet...
VER-METHODS-047 verification-plan Verify SUB-EAE-052: Run COBALT analysis for one crossing option using published A19 corridor accident data. Compare mode...
VER-METHODS-048 verification-plan Verify SUB-EAE-058: Run the BCR and AST Generator for all crossing options using verified PV outputs. Confirm initial BC...