BTC Embedded Systems AG

BTC Embedded Systems AG is a dSPACE Strategic Partner for the automated testing, validation, and formal verification of embedded systems.

BTC Embedded Systems AG is a dSPACE Strategic Partner for dSPACE TargetLink with the products BTC EmbeddedTester^®, BTC EmbeddedTester BASE, BTC EmbeddedSpecifier^®, and BTC EmbeddedValidator^®. In addition, BTC Embedded Systems AG is a dSPACE Strategic Partner for dSPACE AutomationDesk, ControlDesk, VEOS, DS1006 and SCALEXIO with the products BTC Requirement Observers, BTC EmbeddedSpecifier, and BTC EmbeddedTester.

BTC products considerably reduce the time and effort needed for testing and validating embedded systems, while significantly increasing software quality. BTC EmbeddedTester is a certified and highly integrated solution for testing Simulink^®/TargetLink models and production code. This includes not only requirements-based testing but also automatic test case generation for automated back-to-back testing. BTC EmbeddedSpecifier and BTC EmbeddedValidator let users intuitively and formally specify safety-relevant requirements in addition to supporting the automatic and complete formal verification of TargetLink autocode.

In combination with the dSPACE RTT Observer Library, BTC EmbeddedSpecifier allows for the simulation-based formal verification of requirements during HIL testing or virtual validation via BTC Requirement Observers. This notably increases the test depth and test coverage, especially for safety-critical systems. The dSPACE test and experiment tools AutomationDesk and ControlDesk enable the continuous observation of requirements in addition to automated and interactive testing.