BTC Embedded Systems AG
Die BTC Embedded Systems AG ist ein dSPACE Strategic Partner für das automatisierte Testen und Absichern sowie das formale Verifizieren von eingebetteten Systemen.
Die BTC Embedded Systems AG ist ein dSPACE Strategic Partner für dSPACE TargetLink mit den Produkten BTC EmbeddedTester®, BTC EmbeddedTester BASE, BTC EmbeddedSpecifier® und BTC EmbeddedValidator®. Außerdem ist die BTC Embedded Systems AG ein dSPACE Strategic Partner für dSPACE AutomationDesk, ControlDesk, VEOS, DS1006 und SCALEXIO mit den Produkten BTC Requirement Observers, BTC EmbeddedSpecifier und BTC EmbeddedTester.
BTC-Produkte reduzieren den Zeit- und Arbeitsaufwand für das Testen und Absichern von eingebetteten Systemen und erhöhen gleichzeitig die Softwarequalität erheblich. BTC EmbeddedTester ist eine zertifizierte und hoch integrierte Lösung zum Testen von Simulink®/TargetLink-Modellen und Seriencode. Dazu gehört nicht nur das anforderungsbasierte Testen, sondern auch die automatische Testfallgenerierung für automatisiertes Back-to-Back-Testen. Mit dem BTC EmbeddedSpecifier und dem BTC EmbeddedValidator können Anwender intuitiv und formal sicherheitsrelevante Anforderungen festlegen und zudem die automatische und vollständige formale Verifikation des TargetLink-Autocodes unterstützen.
In Kombination mit der dSPACE RTT Observer Library ermöglicht der BTC EmbeddedSpecifier die simulationsbasierte formale Verifizierung von Anforderungen während des HIL-Tests oder die virtuelle Validierung über BTC Requirement Observers. Dadurch werden Testtiefe und Testabdeckung, insbesondere bei sicherheitskritischen Systemen, deutlich erhöht. Die dSPACE Test- und Experimentierwerkzeuge AutomationDesk und ControlDesk ermöglichen neben dem automatisierten und interaktiven Testen auch die kontinuierliche Einhaltung von Anforderungen.
| Weitere Produkte des Partnerprogramms | Kurzbeschreibung | Zugehöriges dSPACE Produkt |
|---|---|---|
| BTC EmbeddedTester® | Anforderungsbasiertes Testen, automatisches Back-to-Back-Testen und automatisches Erzeugen von Testvektoren für TargetLink-Modelle und TargetLink-Code | TargetLink |
| BTC EmbeddedTester Base | Anforderungsbasiertes Testen für TargetLink-Modelle und TargetLink-Code | TargetLink |
| BTC EmbeddedSpecifier® | Formale Spezifikation von Anforderungen | TargetLink, AutomationDesk, ControlDesk, SCALEXIO, VEOS, DS1006 |
| BTC EmbeddedValidator® | Formale Verifikation des Seriencodes | TargetLink |
| BTC Requirement Observers | Validierung der Anforderungen an dSPACE Echtzeit- und PC-basierte Simulationsplattformen | AutomationDesk, ControlDesk, SCALEXIO, VEOS, DS1006 |
Website: https://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.