Case Study: EADS ensures launch vehicle dependability with MathWorks Polyspace

EADS Ensures Launch Vehicle Dependability

EADS, a prime contractor for launch vehicles, needed to automate exhaustive detection of run‑time errors in mission‑critical Ada software—about 100,000 lines of code developed in‑house and by subcontractors—to avoid costly failures and the steeply increasing repair costs later in the lifecycle. To address this, EADS turned to MathWorks’ Polyspace products for Ada (including Polyspace Bug Finder and Polyspace Code Prover).

MathWorks’ Polyspace tools performed exhaustive static analysis without execution, pinpointing data overflows, use of uninitialized variables, access conflicts, and other run‑time errors across all codebases. As a result, EADS reduced development time, streamlined previously laborious test campaigns, and systematically verified subcontractor code, improving launch‑software reliability and enabling earlier, lower‑cost fixes.

EADS