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

Drive innovation forward. Always on the pulse of technology development.

Subscribe to our expert knowledge. Learn from our successful project examples. Keep up to date on simulation and validation. Subscribe to/manage dSPACE direct and aerospace & defense now.

Enable form call

At this point, an input form from Click Dimensions is integrated. This enables us to process your newsletter subscription. The form is currently hidden due to your privacy settings for our website.

External input form

By activating the input form, you consent to personal data being transmitted to Click Dimensions within the EU, in the USA, Canada or Australia. More on this in our privacy policy.