loader image

Test Solutions for Model-based Development

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?

#Digital120 – Automated Driving – Regulations, Pre-Conditions, Potential

The event series #Digital120 is hosted by the “Automotive Agentur Niedersachsen” and the “Innovationszentrum Niedersachsen”. This 5th event will focus on the topic of automated driving.  As part of the session “Best Practices”, our CEO Dr. Udo Brockmeyer will talk about five challenges on the path towards ADAS/AD Systems Homologation. Agenda Moderation: Dr. Anna Meincke, […]

25th MBMV Workshop

BTC Embedded Systems will join the 25th MBMV Workshop and give a talk about “Detection and Elimination of Constants to Strengthen k-Induction”