loader image

Test Solutions for Model-based Development

BTC EmbeddedPlatform - Product Packages
Use cases
Test / Verification / Analysis Targets

Challenges of Virtual Validation for ADAS/AD

Creation of traffic scenarios

How can I create the needed millions of scenarios?

Generation of needed test scenarios

How can I avoid the test explosion problem?

Analysis of simulation results

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

Blog

The Power of Focus – How to Optimize a Model Checker for Embedded Software

Dr. Tino Teige

Oldenburg, Germany

  • Model checking is a powerful technique to analyze the dynamic behavior of software with mathematical completeness
  • The complexity of the algorithm makes it challenging to apply model checking to industrial applications
  • In this article, our Chief Research Engineer shares some insights into how BTC has addressed these challenges

Dr. Tino Teige

Oldenburg, Germany

Chief Research Director Innovation & Technology

Dr. Tino Teige holds a Diploma degree in Theoretical Computer Science from University of Rostock since 2005. From 2005 to 2012 he was a research assistent at the University of Oldenburg mainly working on formal methods. He received a doctoral degree in Computer Science in 2012 with a dissertation about verification of probabilistic systems. Since 2012 Dr. Tino Teige is with BTC Embedded Systems AG where he currently acts as Chief Research Engineer and Head of the Innovation & Technology Department, the latter being responsible for the application of formal methods in an industrial setting. In 2013 he was a visiting researcher at the University of Oxford.

Connect on LinkedIn
Group 26
All Videos

Popular Videos

Play Video
Play Video

Request Evaluation License

If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for youto meet one-on-one with our support and engineering teams.

Group 26 Request License

Schedule a Meeting

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

Group 26 Schedule Meeting

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.

Videos

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

Visit Videos

We provide intelligent and automated test solutions which enable our customers to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard.

Products
Company
News
Knowledge
Contact
Youtube Linkedin
Products
Company
News
Knowledge
Contact
Line Youtube Linkedin

Copyright © 2024 BTC Embedded Systems & BTC Japan