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|