Case Study: TRW Automotive achieves 100% model coverage and slashes test development time with MathWorks' Simulink Design Verifier

TRW Automotive Develops and Tests Electric Parking Brake

TRW Automotive needed to develop and thoroughly test a safety‑critical electric parking brake (EPB) control system but relied on slow, costly external manual testing that left parts of the design untested. To bring verification in‑house and speed feedback to developers, TRW adopted MathWorks Model‑Based Design tools, including Simulink, Stateflow, and Simulink Design Verifier.

Using MathWorks tools, TRW automatically generated and ran tests from their Simulink/Stateflow models with Simulink Design Verifier, linked requirements and coverage with Simulink Requirements and Simulink Coverage, and validated generated C code against the original models. MathWorks’ solution cut test development from days to hours (minutes for simple models), achieved 100% model coverage, and enabled formal testing as early as two months into projects.

TRW

Christoph Hellwig

Team Lead