Über uns

Die BTC Embedded Systems AG (vorher: OSC Embedded Systems) bietet Produkte und Services für die formale Verifikation, die Validierung und das automatisierte Testen von eingebetteten Systemen.

Hierbei steht für uns vor allem die Automobilindustrie im Fokus, welche wir weltweit mit integrierten, automatisierten und zertifizierten Test-Lösungen, insbesondere im Rahmen der Modell-basierten Software Entwicklung, unterstützen.

Die BTC Embedded Systems AG ist aktuell mit ca. 100 Spezialisten an den Standorten Oldenburg, Berlin, Tokio, Paris und Timisoara präsent und gehört zur BTC Business Technology Consulting AG – einem der Top 20 IT-Softwarehäuser in Deutschland.

mehr >>


BTC EmbeddedTester® BASE

Auf die Integration kommt es an

Funktionaler Test von Modellen und Produktions-Code in einer hochintegrierten Umgebung.

mehr>>

BTC EmbeddedTester®

Doppelt so schnell am Ziel

Eine zertifizierte und hoch automatisierte Testumgebung mit automatischer Testfall Generierung.

mehr>>

BTC EmbeddedSpecifier®

Mit Leichtigkeit in die formale Welt

Was wäre, wenn Ihr Computer Ihre Anforderungen verstehen könnte

mehr>>

BTC EmbeddedValidator®

Beweisen Sie es sich

 

100%-ige Sicherheit durch mathematisch vollständige formale Verifikation.

mehr>>