loader image

Test Solutions for Simulink Models & Production Code

Virtual Validation for ADAS/AD

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?


BTC Embedded Systems presentation at the CTI Conference ISO 26262 in Stuttgart

Date: 30th of September to 2nd of October 2019

Location: Le Méridien, Stuttgart, Germany

What if your computer could understand your requirements?

The key words “autonomous driving” and “advanced driver assistant systems (ADAS)” are well known since several years now. Beside the continues technical development of parts like sensors, cameras and controllers, the size and complexity of corresponding software components increases as well.

By looking into the overall features of a component the number of safety-critical features increases at a progressive rate and can introduce errors with devasting effects. Among others, this leads to new challenges in testing. Even though classic testing gets more and more comprehensive it still suffers from giving a clear proof that especially safety-critical functionality always works reliable and correct.

To face these new challenges, BTC Embedded Systems in cooperation with customers and the academic world has developed an approach, to formally specifying and formally testing and verifying requirements. In addition to the classical testing this new approach can be applied on all stages of the development process from unit testing via component and integration testing up to HIL testing.


Join upcoming Webinar

Join our newsletter

Your email address will be submitted to the privacy-certified newsletter software Newsletter2Go for technical distribution. For further information go to our privacy policy.


Discover some of the main features of our products in these short videos.