Lauterbach und MathWorks bringen die Validierung sicherheitskritischer Systeme auf ein neues Niveau

Die Polyspace-Produkte von MathWorks helfen Unternehmen dabei, die Softwarequalität zu verbessern, indem sie statische Analyse, formale Verifikation, Tests und die Messung der Codeabdeckung in einem einheitlichen Workflow kombinieren. Polyspace analysiert C-, C++- und Ada-Code, um Fehler, Sicherheitslücken und Verstöße gegen Codierungsstandards zu identifizieren, und kann das Fehlen bestimmter Laufzeitfehler in kritischen Softwarekomponenten umfassend verifizieren. Polyspace unterstützt zudem Compliance-Initiativen durch Prüfungen auf die Einhaltung von Standards wie MISRA™, AUTOSAR und CERT® C/C++ und bietet gleichzeitig Funktionen zur Erstellung, Ausführung und Verwaltung von Tests sowie zur Messung der Codeabdeckung sowohl auf dem Host als auch in eingebetteten Zielumgebungen.

Die Debug- und Trace-Tools TRACE32® von Lauterbach unterstützen mehr als 15.000 verschiedene Chips und über 150 CPU-Mikroarchitekturen und ermöglichen so das Debugging und Profiling heterogener Multicore-Systeme selbst in virtualisierten Systemumgebungen, einschließlich des gesamten Software-Stacks mit Hypervisoren und Betriebssystemen. Durch die Synchronisierung von Haltepunkten und der Laufzeitsteuerung haben Ingenieure die Kontrolle über das gesamte System.

Dank der Integration dieser beiden marktführenden Produkte können Entwickler Tests über virtuelle Plattformen, Emulatoren, Simulatoren und reale Zielhardware hinweg mithilfe eines einheitlichen Workflows konsistent ausführen und analysieren. Es handelt sich um eine einheitliche Umgebung mit identischer Benutzeroberfläche und identischer Funktionalität über den gesamten Entwicklungszyklus hinweg. Dies ermöglicht eine frühzeitigere Softwareverifikation, reibungslosere Übergänge zwischen den Entwicklungsphasen und eine höhere Sicherheit, dass die in virtuellen Umgebungen erzielten Testergebnisse auf realen Chips reproduzierbar sind. Dies spart Entwicklungsaufwand, beschleunigt Verifikationsaktivitäten und senkt die Projektkosten.

„Durch die Integration von TRACE32® in Polyspace haben wir eine einheitliche Lösung für das Testen und Validieren sicherheitskritischer eingebetteter Systeme geschaffen, die Entwicklern einen enormen Mehrwert bietet“, sagt Holger Lohn, Produktmanager bei der Lauterbach GmbH. „Sie können alle Aktivitäten nahtlos aus der Polyspace-IDE heraus durchführen, sei es als reine Softwarelösung auf Emulatoren und Simulatoren oder unter Verwendung unserer TRACE32®-Lösungen auf praktisch allen auf dem Markt erhältlichen Chips.“

„Unser Ziel ist es, Ingenieuren dabei zu helfen, Software früher, gründlicher und mit größerer Sicherheit zu verifizieren“, sagte Jay Abraham, Group Manager, Technical Marketing & Product Management bei MathWorks. „Durch die Kombination der Verifikations- und Testfunktionen von Polyspace mit der TRACE32-Technologie von Lauterbach können Entwicklungsteams einen einheitlichen Workflow von virtuellen Umgebungen bis hin zur realen Zielhardware nutzen. Dies hilft ihnen, Verifikationsaktivitäten zu optimieren und gleichzeitig die für missionskritische Anwendungen erforderliche Genauigkeit zu gewährleisten.“

Die vollständige Integration von TRACE32® in Polyspace ist ab sofort mit der Veröffentlichung von Polyspace 2026a verfügbar.

Informationen zu den TRACE32®-Produkten von Lauterbach finden Sie hier: https://www.lauterbach.com/

Weitere Details zu Polyspace finden Sie hier: https://de.mathworks.com/products/polyspace.html