Keeping an Eye on Safety

Published: 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.



Product Information

Drive innovation forward. Always on the pulse of technology development.

Subscribe to our expert knowledge. Learn from our successful project examples. Keep up to date on simulation and validation. Subscribe to/manage dSPACE direct and aerospace & defense now.

Enable form call

At this point, an input form from Click Dimensions is integrated. This enables us to process your newsletter subscription. The form is currently hidden due to your privacy settings for our website.

External input form

By activating the input form, you consent to personal data being transmitted to Click Dimensions within the EU, in the USA, Canada or Australia. More on this in our privacy policy.