Products & Use Cases

Within a highly integrated platform concept, standard verification use cases are combined with innovative and powerful technologies like model checking, automatic test generation or formal methods.


BTC Embedded Systems provides intelligent, automated and ISO 26262 certified test solutions focused on Simulink, TargetLink, Embedded Coder and handwritten production code.

Within a highly integrated platform concept, standard use cases like Requirements-based Testing or Back-to-Back Testing are combined with innovative and powerful technologies like model checking, automatic test generation and formal methods.

Requirements-based Testing with BTC EmbeddedTester BASE

Requirements-based Testing (also known as functional testing) is typically a very time consuming task. Not only because test cases need to be derived from the requirements, but more importantly because topics like traceability, coverage analysis or creating a test harness are a real challenge which often leads to a collection of tools which are not well integrated. In order to efficiently address these challenges, BTC EmbeddedTester BASE provides you a one-stop solution for Requirements-based Testing of models and production code.


Structural Test Generation and automatic Back-to-Back Testing with BTC EmbeddedTester

In a model-based development process, several implementation instances like model, source code or object code need to be tested and compared. Testing efforts can be reduced by up to 70% with the automatic test case generation and the integrated execution platform of BTC EmbeddedTester. All relevant information is extracted automatically from Simulink, TargetLink or Embedded Coder, making Back-to-Back Testing with BTC EmbeddedTester a true one-click solution.

Formal Specification with BTC EmbeddedSpecifier

Imagine if your computer could understand your requirements. “Explaining” your safety critical requirements to your computer with BTC EmbeddedSpecifier will not only improve their quality by delivering a clear and unambiguous representation, but it will also help to address the ISO 26262 objectives for semi-formal and formal notation of safety requirements. Thanks to their machine-readable nature, formal requirements additionally provide amazing possibilities for the verification process which include:

Formal Verification with BTC EmbeddedValidator

One test case for a particular system-under-test is only accessing one of many paths through the system. While state-of-the art test methods can indeed lead to some level of confidence regarding the system’s quality, they can never claim completeness.

To fill this gap, BTC EmbeddedValidator allows you to check your formalized safety requirements against your production code in a fully automatic and mathematically complete way.