Find it in the documents, not the field.
Machine-speed analysis of technical specifications. Find contradictions, gaps, and duplicates before sign-off.
Automotive requirements & specification analysis
Specifications for ADAS, powertrain and body-control software now run to tens of thousands of requirements, written by different systems teams on different suppliers' schedules. Wyzer Detective is the automotive requirements checker that reads all of it at once, cross-referencing every requirement against every other. That last part is what a section-by-section review structurally cannot do, however careful its reviewers are.
Every programme below is publicly reported, at costs its owner disclosed. Reporting on them keeps returning to the same root cause.
CARIAD delayed the Porsche Macan Electric and Audi Q6 e-tron launches by roughly a year, then Volkswagen paid Rivian $5.8B for the EV software platform CARIAD couldn't deliver. Reporting on the failure keeps landing on the same root cause: software specifications authored independently across VW, Audi, and Porsche that were never reconciled before integration.5
Ford's FNV4 electrical architecture — meant to unify vehicle software the way Tesla's does — was cancelled after contributing to billions in losses at Ford's EV and software division. Ford's own explanation: every supplier that builds a component also supplies its own software for it, and nobody was checking those supplier-authored specifications against each other before they shipped.6
A software-related defect triggered a 1.46-million-vehicle Ram truck recall, on top of a separate recall of 211,581 trucks and SUVs where a software fault disabled electronic stability control after an ABS defect. Cumulative Stellantis recall costs have run to roughly $951M since 2023 — the bill a cross-supplier specification conflict generates once it reaches the field instead of a review.7
Both figures below come from published specifications anyone can go and read: the VIWI infotainment protocol, submitted to the W3C, and Eclipse S-CORE, the Apache-2.0 licensed safety platform. Nothing here is a synthetic example.
Applied to the automotive requirements you already write, in the review step you already run.
The body-control and powertrain sections can each read correctly on their own and still specify incompatible behaviour for the same signal. Wyzer reads the specification as one document rather than one section at a time, and flags where the two disagree.
Coverage analysis against the work products an ASPICE assessment expects, so requirements with no downstream test case or design element surface before an assessor reaches them.
Flags safety requirements that are present but under-specified: no measurable acceptance value, no stated tolerance, no clear safe state. That is the ambiguity a functional safety assessment rejects.
When a Tier 1 baseline is re-issued, Wyzer diffs it against the OEM master specification for new contradictions introduced in that revision, not just what changed.
Wyzer Detective doesn’t replace the process — it checks the requirement set the process depends on.
A 30,000-requirement ADAS specification, split across twelve supplier-facing modules written by different systems teams. No single reviewer reads all twelve end to end before sign-off. Two modules define the same sensor-degradation fallback behaviour, worded differently enough that neither review recognises them as one requirement. Integration testing finds it instead, once both implementations exist and disagree. Wyzer Detective reads the whole baseline in one pass, so that conflict surfaces while it is still a review comment.
The example above illustrates the class of defect Wyzer Detective catches — it is not a specific customer engagement.
Export a ReqIF baseline and get a full Wyzer Detective analysis — quality scores, contradictions, and coverage gaps — within minutes.
← Back to all industries