Das PolySpace JSF++ Prüfprogramm erleichtert es Entwicklern, die C++ Codierungsstandards des Joint Strike Fighter Air Vehicle-Programms (JSF++) zu erfüllen. Diese Standards hat Lockheed Martin für das JSF-Programm entwickelt, mit dem Ziel, Code in C++ robuster und wartungsfreundlicher zu machen. Die PolySpace-Software zeigt durch Meldungen an, wenn der Code überprüfbaren JSF++ Regeln nicht entspricht. Dies gilt zudem für weitere Regeln für Über- und Unterläufe, Identifizierung nicht ausführbaren Codes, De-Referenzierung von Null-Pointern und Initialisierungen.
Neben verbesserten JSF++ Prüffunktionen unterstützt PolySpace Softwareentwickler-Teams, die in einer Eclipse-basierten Entwicklungsumgebung (IDE) arbeiten, durch die Integration von PolySpace als Eclipse-Plug-in. Um die Code-Verifikation zu beschleunigen, kann die Software auch mit Mehrkern-Computern verwendet werden.
"Das aktuellste Release von PolySpace-Werkzeugen hilft Entwicklern, weniger Zeit für Reviews, Debuggen und Testen des Codes zu verwenden und erlaubt ihnen, sich auf den Entwurf und die Entwicklung von Luftfahrzeugen der nächsten Generation zu konzentrieren", so Jon Friedman, Aerospace Defense Industry Marketing Manager bei The MathWorks. "Dies unterstreicht unsere stetigen Bemühungen, Entwicklern Werkzeuge an die Hand zu geben, die den Entwurfsprozess verbessern, Fehler minimieren und die Kosten von High-Integrity Flugsystemen verringern."
© 2009 The MathWorks, Inc. MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.