BTC Embedded Systems AG (BTC)
BTC is a strategic partner of dSPACE when it comes to functional tests, automated back-to-back tests, and the formal verification of TargetLink code and TargetLink models.
BTC EmbeddedTester BASE gives all TargetLink users a highly integrated test environment that lets them execute tests automatically at the MIL, SIL, and PIL levels and also covers fields such as test authoring, linking requirements, and code coverage analysis. The full version of BTC EmbeddedTester also includes an integrated automatic test case generation, which enables ISO-26262-compliant and completely automatable back-to-back testing for all ASIL levels.
For safety-critical applications, BTC EmbeddedSpecifier and BTC EmbeddedValidator provide an efficient and intuitive way to formally specify and validate safety-critical requirements.
BTC Embedded Systems provides products and services for the formal verification, validation, and automated testing of embedded systems.
Contact and further information: