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.

Overview

BTC Embedded Systems provides intelligent, automated and ISO 26262 compliant test solutions focused on Simulink/TargetLink models and 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 (sometimes also called 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 Simulink/TargetLink models and production code.

Two additional add-on modules allow users of BTC EmbeddedSpecifier to bring their formalized safety requirements into BTC EmbeddedTester BASE, helping to increase the testing depth dramatically. The “Formal Test” add-on checks all test cases against the formal requirements and measures if all are fully covered. In case not all requirements are covered, the add-on “Requirements-based Test Generation” automatically generates missing test cases.

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, making Back-to-Back Testing with BTC EmbeddedTester a true “push-button” 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.