Partners References Research Locations

Support & Contact Book a Demo

Newsroom

Latest Engineering Insights, Events and Product News.

Blog articles, product news, events and webinars from BTC Embedded Systems specialists.

All Blog News Events

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

Unlike random algorithms or Abstract Interpretation, Model Checking allows to analyze the dynamic behavior of software with mathematical completeness. Use cases are for example robustness analysis, structural test case generation or test case generation from requirements. However, the complexity of the analysis task makes it challenging to apply Model Checking to industrial applications. The recent and much-noticed case study “ Benchmarking Software Model Checkers on Automotive Code ” at the 202

Dr. Tino Teige

AUTOSAR – What Every Function Developer Should Know…

Nabile Khoury

Modular Model-based Software Architecture for Efficient Unit and Integration Test

Nabile Khoury

4 Ways to Detect Undesired Changes During a Tool Version Migration

Thabo Krick

3 Challenges in Setting up a Test Project for Handwritten C-Code

January 23, 2020

What are the differences between functional and structural test cases?

When and how to qualify tools according to ISO 26262

What you should know about code coverage

What you should know about floating-point

November 29, 2018

How to efficiently handle external variables in a TargetLink Unit Test

October 24, 2018

Continuous Delivery: 3 best practices to get maximum benefit from automated testing

October 23, 2018

Thabo Krick

Keep in touch

Product, Event and Engineering Updates.