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 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.



Formal Test / Requirements-based Testing


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 EmbeddedPlatform provides you a one-stop solution for Requirements-based Testing of Simulink/TargetLink® models and production code.

BTC EmbeddedPlatform additionally support "Formal Test" by bringing formalized safety requirements into Requirements-based Test. It increases the testing depth dramatically. This technology checks all test cases against the formal requirements and measures if all are fully covered. In case not all requirements are covered, missing test cases can be generated by another feature called “Requirements-based Test Generation”.

Fully automated Back-to-back Testing

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 EmbeddedPlatform. All relevant information is extracted automatically from Simulink/TargetLink, making Back-to-back Testing with BTC EmbeddedPlatform a true “push-button” solution. Additionally full automation of Back-to-back testing is supported by APIs. It is powerful solution especially for production project to test huge number of models and codes.

Formal Verification by Model Checking

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 EmbeddedPlatform allows you to check your formalized safety requirements against your production code in a fully automatic and mathematically complete way.


Intuitive Requirements Formalization

 Imagine if your computer could understand your requirements. “Explaining” your safety critical requirements to your computer with BTC EmbeddedPlatform 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 provides amazing possibilities for the verification process which include: