Validation Intelligence

TraceProof Workspace

Ingest requirements, BMS properties, tests and evidence — then map them into proof.

Project setup

Three inputs before the engine can reason

Requirements, BMS properties, and known tests/evidence are available here. Expand to manage sources.

Expand

Requirements

Loaded

Customer specs, RFQs, system requirements, market requirements.

4,042
requirement candidates

BMS technical properties

Needs review

Functions, signals, limits, operating modes, failure states, diagnostics.

cell_voltage SOC contactor_state fault_flags

Known tests & evidence

Loaded

Test catalogue, standards, homologation docs, reports, previous results.

286
test/evidence assets

Coverage Breakdown

Requirements with tests74%
Requirements with evidence58%
Acceptance criteria complete69%

Source Asset Library

  • BMS function/property modelreview
  • Internal HIL test catalogueloaded
  • ISO 16750 electrical testsloaded
  • Previous homologation evidence286 docs
Proof package

Ready for customer review

Generate a first-pass proof package with requirement status, mapped tests, reusable evidence, and open validation gaps.

Requirements analyzed
4,042
+91% extracted with source links
Covered by existing tests
612
59% reusable validation scope
Open proof gaps
184
acceptance criteria / evidence missing
Estimated effort saved
€42k
vs. manual first-pass review

Requirement Intelligence

Click a row to inspect mapping suggestions.

Req IDExtracted propertyRecommended / matched testStatusConfidence
REQ-BMS-014Overvoltage detection within 100 msTEST-OV-003 · HIL threshold injectionPartial87%
REQ-BMS-022CAN diagnostic DTC after isolation faultRecommended: isolation fault injectionGap73%
REQ-BMS-031Cell voltage measurement accuracy ±5 mVTEST-VS-011 · voltage sweepFulfilled94%
REQ-BMS-047Recovery after supply voltage dipISO 16750-2 voltage dip profilePartial81%

Coverage Breakdown

Requirements with tests74%
Requirements with evidence58%
Acceptance criteria complete69%

Source Asset Library

  • BMS function/property modelreview
  • Internal HIL test catalogueloaded
  • ISO 16750 electrical testsloaded
  • Previous homologation evidence286 docs
Proof package

Ready for customer review

Generate a first-pass proof package with requirement status, mapped tests, reusable evidence, and open validation gaps.