For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

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.

Additional Products of the Partner Program Brief Description Related dSPACE Product
BTC EmbeddedTester® Requirements-based testing, automatic back-to-back testing and automatic test vector generation for TargetLink models and TargetLink code TargetLink
BTC EmbeddedTester Base Requirements-based testing for TargetLink models and TargetLink code TargetLink
BTC EmbeddedSpecifier® Formal specification of requirements TargetLink, AutomationDesk, ControlDesk, SCALEXIO, VEOS, DS1006
BTC EmbeddedValidator® Formal verification of production code TargetLink
BTC Requirement Observers Validation of requirements on dSPACE real-time and PC-based simulation platforms AutomationDesk, ControlDesk, SCALEXIO, VEOS, DS1006