Zuverlässige Softwareverifikation

Vector Informatik hat die Softwaretechnologie RocqStat und das Expertenteam von StatInf übernommen. Mit der Akquisition stärkt Vector seine Kompetenzen in der Timing-Analyse und der Abschätzung der Worst-Case-Ausführungszeit (WCET) und trägt damit der wachsenden Nachfrage nach zuverlässiger Softwareverifikation in sicherheitskritischen Systemen Rechnung.

Die Integration des erfahrenen StatInf-Teams stellt die Kontinuität der Expertise sicher und beschleunigt die Innovation in den Bereichen Timing-Analyse, Verifikations-Workflow und erweiterte Analysen innerhalb der Code-Testing-Toolchain von Vector.

Bestehende StatInf-Kunden profitieren von einer vollständigen Geschäftskontinuität. Mittelfristig plant Vector, RocqStat in die VectorCAST-Toolchain zu integrieren und damit eine einheitliche Umgebung für Timing-Analyse, WCET-Abschätzung, Softwaretests und Verifikation zu schaffen.

"Timing-Sicherheit wird zu einem entscheidenden Faktor in softwaredefinierten Fahrzeugen und anderen softwaredefinierten Systemen", betont Eric Barton, Vice President für Code Testing Tools bei Vector. "Durch die Kombination der fortschrittlichen Technologie von StatInf mit unserer Toolchain ermöglichen wir es unseren Kunden, Timing-Anforderungen effizienter und mit größerer Sicherheit zu entwerfen und zu verifizieren."