Case Study: NATO HAWK Management Office achieves faster, on-time delivery of reliable mission-critical software with MathWorks Polyspace

NATO HAWK Management Office Accelerates Analysis of Mission-Critical Applications

The NATO HAWK Management Office (NHMO) manages upgrades and maintenance for the HAWK surface-to-air missile system and faced the challenge of quickly finding run-time errors in complex, mission‑critical Ada code without lengthy downtime. To meet tight deadlines and strict reliability standards, NHMO turned to MathWorks and its Polyspace products (Polyspace Bug Finder and Polyspace Code Prover) for automated static analysis to pinpoint reliability problems.

Using MathWorks' Polyspace tools, NHMO created a complete code map, prioritized the most probable errors, and eliminated error‑prone code constructs across the codebase. The outcome was reliable software delivered on time and on budget, increased test effectiveness—Polyspace found all defects that conventional testing identified plus additional issues—and faster, more efficient remediation of systemic bugs.

NATO HAWK Management Office

Mario Lalla

Director of the Software Solution Center