|dSPACE Magazine 2/2016, Nov 2016|
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.