Overview
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
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 Test with BTC EmbeddedTester BASE
- Requirements-based Test Generation with BTC EmbeddedTester BASE
- Formal Verification with BTC EmbeddedValidator
- Formal Test on system level for dSPACE HIL and VEOS platforms
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.