TargetLink Strategic Partner: BTC Embedded Systems AG
BTC Embedded Systems AG (BTC)
BTC ist strategischer Partner von dSPACE, wenn es um den funktionalen Test, den automatischen Back-2-Back-Test und die formale Verifikation von TargetLink-Code und TargetLink-Modellen geht.
Der BTC EmbeddedTester BASE bietet allen TargetLink-Anwendern eine hochintegrierte Testumgebung, die eine automatische Testausführung auf MIL-, SIL- und PIL-Ebene erlaubt und dabei auch Themen wie das Test Authoring, die Verlinkung mit Requirements und die Code-Coverage-Analyse abdeckt. Zusätzlich ermöglicht die Vollversion des BTC EmbeddedTester dank der integrierten automatischen Testfallgenerierung einen ISO-26262-konformen und vollständig automatisierten Back-2-Back-Test für alle ASIL-Level.
Für sicherheitskritische Anwendungen bieten der BTC EmbeddedSpecifier und der BTC EmbeddedValidator eine effiziente und intuitive Möglichkeit zur formalen Spezifikation und formalen Verifikation der sicherheitskritischen Anforderungen.
Über BTC
BTC Embedded Systems bietet Produkte und Services für die formale Verifikation, die Validierung und das automatisierte Testen von eingebetteten Systemen.
Kontakt und weitere Informationen:
BTC Embedded Systems AG
Gerhard-Stalling-Straße 19
26135 Oldenburg
Deutschland
Tel.: +49 4 41 96 97 38-0
Fax: +49 4 41 96 97 38-64
info@btc-embedded.com