Case Study: Miele proves absence of run-time errors across its product line with MathWorks Polyspace

Miele Proves Absence of Run-Time Errors in Control Software Across Its Entire Product Line

Miele, a manufacturer of premium domestic and commercial appliances, faced the challenge of proving the absence of run-time errors across hundreds of thousands of lines of embedded control software to meet IEC 60335 and internal quality standards. To move beyond system tests and manual reviews, Miele adopted MathWorks Polyspace products—specifically Polyspace Code Prover and Polyspace Bug Finder (with MATLAB Distributed Computing Server for scale)—and required tools that could be integrated into their development lifecycle.

MathWorks implemented Polyspace Code Prover and Polyspace Bug Finder integrated into developers’ Visual Studio IDE and Miele’s Jenkins CI pipeline, with analyses distributed across a compute cluster. The results: Polyspace Bug Finder runs on 250–300 projects nightly and Polyspace Code Prover checks about 300 projects weekly, enabling many projects to achieve 100% of code proven free of the run-time errors defined in Miele’s SQOs. MathWorks’ solution reduced manual code-review effort, let developers focus on core functionality, and produced reusable, trusted components with measurable daily analysis coverage.

Miele

Stefan Trampe

Software Quality Engineer