06.03.2006, 00:00 Uhr
Software-Fehler zur Laufzeit analysieren
Version 3.3 des PolySpace Verifiers prüft auch Simulink-Modelle und zeigt Fehler direkt im Modell an.
Der PolySpace Verifier ist ein Tool zur statischen Verifikation von Software und soll Quellcode in kürzerer Zeit auf Laufzeitfehler prüfen, als dies andere Verfahren tun. Die Software prüft in der neuen Version 3.3 auch Quellcode, der per automatischer Codegenerierung mit TargetLink direkt aus Simulink-Modellen erzeugt wurde. Simulink ist eine Erweiterung für das Programm Matlab und dient der Simulation und Analyse dynamischer Systeme. Die Analyseergebnisse des Verifiers werden sowohl im erzeugten Code als auch im Simulink-Modell kenntlich gemacht, so dass sich Fehler im Code an ihren Ursprungsort im Modell zurückverfolgen lassen; so lassen sich Fehler im Modell schneller erkennen und beheben.
Voraussetzung für den Einsatz des Tools ist, dass der Quelltext entweder durch TargetLink von dSpace oder Real-Time Workshop Embedded Coder von The MathWorks erzeugt wurde. Zu den Unternehmen, die mit dem Entwicklungswerkzeug arbeiten, gehören unter anderem EADS, NASA, Volkswagen, Siemens und General Electric.
Voraussetzung für den Einsatz des Tools ist, dass der Quelltext entweder durch TargetLink von dSpace oder Real-Time Workshop Embedded Coder von The MathWorks erzeugt wurde. Zu den Unternehmen, die mit dem Entwicklungswerkzeug arbeiten, gehören unter anderem EADS, NASA, Volkswagen, Siemens und General Electric.
