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?

Embedded World 2021 digital

BTC Embedded System joins the virutual embedded world conference 2021. On Tuesday, 2nd of March, Mr. Wolfgang Meincke (Senior Pilot Engineer at BTC Embedded Systems) will give a talk on “Applying Automated Formal CCC Checks for Complex Systems Development”.

Webinar: Why and How to Improve Requirements – with ITK Engineering

In this free Webinar we will talk with Mr. Bernd Holzmüller from ITK Engineering about the importance of requirements quality. We will also look at the results of a common project in which BTC and ITK worked together to apply formal methods on a set of requirements to uncover weaknesses and ensure completeness and consistency.