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

Please also subscribe to our Youtube Channel. If you are not able to access Youtube you can also find our videos on Vimeo.

Creating a test project for dSPACE TargetLink

Setting up a test project within a model-based development project has never been easier, thanks to the unique integration between BTC EmbeddedPlatform and dSPACE TargetLink. This video shows you how to create a test project (=profile) for a Simulink/TargetLink model, access information about the system under test inside BTC EmbeddedPlatform and how to update the test projects in case the model content or model structure changes.

Creating a test project for Simulink/Stateflow

Although the strength of BTC EmbeddedPlatform is to manage models AND production C-Code in one single test project, it is also possible to create a test project for pure Simulink models. Model structure and interfaces are analyzed fully automatically, so that the user can immediately start to create test cases. This video shows you how to create a test project, access information about the system under test and how to update the test project in case the model content or model structure changes.

Creating a test project for C-code

Setting up a test project for C-Code can often be a time-consuming task. You will have to manually define the hierarchy of your functions, specify the properties of your variables and make sure all dependencies and references are correctly handled. Often it is even needed to create stubbing code for external functions or variables. With BTC EmbeddedPlatform it is very easy and quick to set up a test project for any kind of ANSI C-Code.

Connection with IBM DOORS

For a transparent traceability between test artifacts and requirements, BTC EmbeddedPlatform provides a powerful bi-directional connection with requirements management tools like IBM DOORS or PTC Integrity. This video shows you, how to import requirements from IBM DOORS, link test cases with requirements, write test results back to DOORS and update modified requirements.

Test Authoring

Developers and testers spend a lot of time creating and maintaining test cases. One reason is, that many generic editors like Excel or script-based environments don’t have enough knowledge about the system under test. In contrast to this, BTC TestComposer benefits from the rich and detailed information available in BTC EmbeddedPlatform and makes sure that only valid data can be entered.

Code Coverage

While code coverage analysis plays an important role in all embedded software development projects, the process to obtain the relevant metrics is often complicated and inefficient. In BTC EmbeddedPlatform, the coverage analysis is automatically handled in the background and always up to date with respect to the available test data. This video shows you, how easy it is to inspect coverage metrics in BTC EmbeddedPlatform and how they are updated if tests are added, changed or removed.


Debugging failed test cases is often a time-consuming task, especially if the test engineer and the developer are located in different teams or sites. This video demonstrates, how easy it is to export self-contained debug environments from BTC EmbeddedPlatform. The debugging sandbox can either be generated as a Simulink/TargetLink model or as Microsoft Visual Studio project.

Structural Test Generation

The automatic test generation of BTC EmbeddedTester makes it easy to achieve full structural coverage for many metrics including Statement Coverage, Decision Coverage and MC/DC. Unlike random algorithms, the underlying model checking technology not only guarantees that the smallest and shortest set of test cases to cover the desired objectives will be found, but it also performs a dynamic analysis showing that some objectives are unreachable. This videos shows you how to generate tests and how to analyse the resulting coverage metrics.

Back-to-Back Test

BTC EmbeddedPlatform provides an ISO 26262 certified and fully automated Back-to-Back Test between Simulink/TargetLink models and production code. All tests are executed and evaluated fully automatically, making Back-to-Back Testing a real push-button experience. This video shows you how to select the desired tests and execution modes, define tolerances, execute the tests and inspect the results.

Additional Coverage Goals

In addition to standard structural code coverage goals like Statement, Decision or MC/DC, BTC EmbeddedPlatform offers a wide range of additional coverage goals. They provide a great way to ensure completeness of your test data, to find issues that have not been revealed before and to address several objectives from the ISO 26262 standard like equivalence classes or boundary value analysis.

Test Automation with Jenkins

In modern development projects, automation is key to reduce the development effort, ensure a reproduceable process and thereby increase the quality. Jenkins allows a smooth integration of different tools and process steps into one highly automated delivery pipeline, especially suitable for agile development and continuous integration. This video shows you, how to run a complete ISO 26262 compliant test workflow for a Simulink/TargetLink model directly within Jenkins. The pipeline plugin for Jenkins is part of the BTC EmbeddedPlatform Test-Automation Add-On.

Formal Specification

What if your PC could understand your requirements? Expressing safety requirements in a machine-readable language can not only improve their quality by removing the ambiguities we often find in natural language. It also opens up amazing possibilities for a highly automated verification process all along the V-Cycle. And: Semi-formal and formal methods are also recommended by the ISO 26262 standard. This video shows, how BTC EmbeddedSpecifier allows you to create semi-formal and formal specifications in an intuitive and graphical way.

Formal Verification

In this video we show you how formalized requirements can dramatically improve the efficiency and completeness of software unit verification for Simulink, TargetLink, EmbeddedCoder or handwritten C-Code. This addresses mainly three use cases: Formal Test, Requirements-based Test Generation and Formal Verification using Model Checking Technology.

Requirement Observers

The verification of embedded systems is becoming a more and more complex task. Especially in areas like autonomous driving we are faced with a huge amount of data which cannot by analysed and judged in a traditional way. The solution: Automatically generated observers, which analyse the test data for potential requirement violations without any manual interaction. In this video we will show you how this can be done in real-time on a dSPACE platform using dSPACE ControlDeskNG.