BTC Embedded Systems AGBTC Embedded Systems AG (“BTC-ES”), a majority shareholding of BTC Business Technology Consulting AG, provides products and services for Formal Verification, Validation, and Automated Testing of Embedded Systems. BTC-ES products significantly reduce required efforts for testing and validation of Embedded Systems, and considerably increase the quality of the developed system. Additionally, BTC-ES offers adequate on-site and off-site services around the testing products and testing in general. In order to successfully provide these powerful products and services for test automation and Formal Verification, BTC-ES cooperates very closely with dSPACE GmbH as well as with major OEMs and suppliers in the automotive industries.
The products EmbeddedValidator and EmbeddedTester have been developed in close cooperation with dSPACE GmbH. EmbeddedValidator allows verifying TargetLink models against formally specified requirements on the basis of TargetLink AutoCode. EmbeddedTester provides capabilities to automatically generate and execute test cases for TargetLink AutoCode. Furthermore, specific standard problems like dead code, division by zero, etc. are automatically analyzed. Additionally, code validation activities and coverage analysis can be performed during the model-based development of control functions in the Simulink/TargetLink tool environment.