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
Treiben Sie Innovationen voran. Immer am Puls der Technologieentwicklung.
Abonnieren Sie unser Expertenwissen. Lernen Sie von erfolgreichen Projektbeispielen. Bleiben Sie auf dem neuesten Stand der Simulation und Validierung. Jetzt dSPACE direct und dSPACE direct aeropace & defense abonnieren.