Keeping an Eye on Safety

How much testing is necessary to validate safety-critical systems? How can you balance safety requirements and effort? A new solution by dSPACE and BTC for the simulation-based formal verification of safety-critical ECU functions brings effort and feasibility closer together. At the same time, the test depth increases.