Veröffentlicht am 14. Juli 2016.

Pressemitteilung: Mehr Testtiefe bei sicherheitskritischen Anwendungen

Presse-Mitteilung: Mehr Testtiefe bei sicherheitskritischen Anwendungen

dSPACE und BTC Embedded Systems bieten ab sofort eine Lösung zur Echtzeitvalidierung von sicherheitskritischen Anwendungen, mit der sich die Testtiefe drastisch erhöhen lässt. Die Kombination aus der neuen dSPACE Real-Time Testing (RTT) Observer Library und dem etablierten Spezifikationswerkzeug BTC EmbeddedSpecifier® ermöglicht es Testern, auf einfache Weise eine simulationsbasierte formale Verifikation durchzuführen.

Lesen Sie hier die vollständige Pressemitteilung:
https://www.dspace.com/de/gmb/home/news/dspace_pressroom/press/pr_rttobserverlib.cfm