(PresseBox)
(Aachen,
01.07.09)
Die Code-Verifikationsprodukte von The MathWorks, PolySpace Client for C/C++ und PolySpace Server for C/C++, unterstützen ab sofort alle überprüfbaren JSF++ Regeln des Joint Strike Fighter (JSF) Air Vehicle-Programms und bieten damit eine vollständige Funktionalität zur Überprüfung dieser Regeln.
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.
Pressemitteilung BoxID: 274061 (MathWorks GmbH - Standort Aachen)
- MathWorks GmbH - Standort Aachen
- Friedlandstraße 18
- 52064 Aachen
- http://www.mathworks.de
- Ansprechpartner
- Thomas Andraczek
- +49 (241) 475767-29
QrCode
Was ist der QR-Code?
3 Schritte: Einscannen eines QR-Codes QR-Codes: Der Wegweiser zu Ihrer Pressemitteilung - ganz ohne tippen!Mit Hilfe der QR-Codes, die auf der Druckversion jeder Pressemeldung abgebildet sind, finden Sie jederzeit mit dem Handy auf die entsprechende Online-Seite der PresseBox zurück - ohne die URL mühsam einzutippen.
Doch wie funktioniert das Einscannen dieses QR-Codes? - Unsere Grafik zeigt die drei simplen Schritte.
Alles, was Sie dafür brauchen ist ein internetfähiges Handy oder Smartphone mit eingebauter Kamera und ein QR Code Leser Software.
QR steht für Quick Response - mit einem Schritt kommen Sie schnell auf eine Webseite. QR-Codes funktionieren wie Strich-Codes, die Sie beispielsweise auf Ihrer Milchtüte finden. Eine Software entschlüsselt den QR-Code und führt Sie direkt auf eine Webseite - so brauchen Sie die Internetadresse nicht einmal zu kennen, um sie zu erreichen.
Jetzt Digitale Pressemappe herunterladen und ausdrucken
Bitte senden Sie mir die folgenden Informationen an meine E-Mail-Adresse:
The MathWorks bietet erweiterte Prüffunktionen für JSF++ Regeln mit PolySpace-Produkten
Kunden können damit noch umfassendere statische Code-Analysen durchführen
MathWorks GmbH - Standort Aachen
The MathWorks ist der weltweit führende Hersteller von Software für mathematische Berechnungen. MATLAB, "the language of technical computing", ist eine Programmierumgebung für die Algorithmen-Entwicklung, die Analyse und Visualisierung von Daten sowie für numerische Berechnungen. Simulink ist eine grafische Entwicklungsumgebung für die Simulation und das Model-Based Design von dynamischen Mehrdomänen-Systemen und Embedded Systemen. Ingenieure und Wissenschaftler weltweit setzen diese Produktfamilien ein, um die Forschung, sowie Innovationen und Entwicklungen in der Automobilindustrie, der Luft- und Raumfahrt, der Elektronik, dem Finanzwesen, der Biotechnologie und weiteren Industriezweigen zu beschleunigen. Darüber hinaus haben sich MathWorks-Produkte als zentrale Tools für Forschung und Lehre an Universitäten und Bildungseinrichtungen auf der ganzen Welt etabliert.
The MathWorks wurde 1984 gegründet und beschäftigt über 2.100 Mitarbeiter in 15 Ländern. Der Hauptsitz des Unternehmens ist Natick, Massachusetts, in den USA. Lokale Niederlassungen in der D-A-CH Region befinden sich in Aachen, Bern, München und Stuttgart. Weitere Informationen unter www.mathworks.de oder www.mathworks.ch.
The MathWorks wurde 1984 gegründet und beschäftigt über 2.100 Mitarbeiter in 15 Ländern. Der Hauptsitz des Unternehmens ist Natick, Massachusetts, in den USA. Lokale Niederlassungen in der D-A-CH Region befinden sich in Aachen, Bern, München und Stuttgart. Weitere Informationen unter www.mathworks.de oder www.mathworks.ch.
