Neue Polyspace-Produkte zur Codeverifizierung von MathWorks
ID: 942586
Umfassende Funktionen zur Codeverifizierung: von schneller Bug-Suche bis zu Beweisen für High-integrity Embedded Software
Polyspace Code Prover ist ein auf formalen Methoden basierendes Verifizierungstool mit dem die Korrektheit bestimmter Code-Eigenschaften überprüft wird. Ingenieure, die mit der Verifikation ihres Codes beauftragt sind, können mit Polyspace Code Prover nachweisbar ermitteln, ob und wo mögliche Laufzeitfehler auftreten werden. Die Überprüfung wird durch farbkodierte, beweisgestützte Ergebnisse erleichtert, was einen effizienten Entwicklungsprozess von hochqualitativer Software ermöglicht. Darüber hinaus nutzt Polyspace Code Prover die MATLAB-Plattform, wodurch Anwender Zugriff auf leistungsstarke MATLAB-Funktionen erhalten, wie ein robustes Scheduling an Computer-Cluster, Skripte für die Automatisierung, Darstellung von Ergebnissen sowie Berichterstellung für die Zertifizierung. Polyspace Code Prover enthält nun Funktionen, die zuvor in Polyspace Client for C/C++ und Polyspace Server for C/C++ verfügbar waren.
Polyspace Bug Finder identifiziert Laufzeitfehler und weitere Fehlerquellen in Embedded Software. Mithilfe statischer Analysen werden in Polyspace Bug Finder der Kontrollfluss und der Datenfluss funktionsübergreifend analysiert. Das Tool kann eine Vielzahl verschiedener Probleme auffinden wie numerische Fehler, Speicherfehler und sonstige Programmierfehler. Anders als bei der herkömmlichen manuellen Überprüfung können Ingenieure nun fehlerhaften Code mit Polyspace Bug Finder schnell identifizieren, bewerten und korrigieren, woduch der Entwicklungsprozess beschleunigt wird. Zudem überprüft das Tool die Einhaltung von Codierungsstandards wie MISRA und JSF++ sowie anwenderspezifischen Regeln und stellt Metriken für die Qualität und Komplexität des Codes bereit. Wie schon Polyspace Code Prover greift auch Polyspace Bug Finder für Scheduling, Skripte und Ergebnisdarstellung auf die MATLAB-Plattform zurück. Beide Produkte verfügen über Simulink-Integration für den Einsatz mit automatisch generiertem Code.
"Da die Polyspace-Produktfamilie eine umfassende Lösung zur Codeverifizierung darstellt, können Ingenieure schnell mehr Vertrauen in Qualität und Sicherheit von Embedded Software durch den gesamten Entwicklungsprozess aufbauen", sagt Paul Barnard, Marketing Director für Design Automation bei MathWorks. "Dank statischer Analysen und auf formalen Methoden basierenden Verifizierungstechniken bieten Polyspace Bug Finder und Polyspace Code Prover Ingenieuren die Möglichkeit, Fehler bereits in frühen Entwicklungsphasen zu finden und nachzuweisen, dass ihre Software sicher und für die Auslieferung bereit ist."
Polyspace Code Prover und Polyspace Bug Finder sind ab sofort erhältlich.
MathWorks ist der führende Entwickler von Software für mathematische Berechnungen. MATLAB, "the language of technical computing", ist eine Programmierumgebung für die Algorithmenentwicklung, 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 Systems. 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. Produkte von MathWorks sind zudem an den Universitäten und Instituten wichtige Lehr- und Forschungswerkzeuge. MathWorks wurde 1984 gegründet und beschäftigt mehr als 2800 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 finden Sie unter mathworks.com.
Weitere Updates zur 2013b Meldung erhalten Sie, wenn Sie uns auf Twitter folgen: @MATLAB (#R2013b). Verbinden Sie sich auch mit uns auf Xing, sowie LinkedIn und Facebook.
Unternehmensinformation / Kurzprofil:
MathWorks ist der führende Entwickler von Software für mathematische Berechnungen. MATLAB, "the language of technical computing", ist eine Programmierumgebung für die Algorithmenentwicklung, 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 Systems. 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. Produkte von MathWorks sind zudem an den Universitäten und Instituten wichtige Lehr- und Forschungswerkzeuge. MathWorks wurde 1984 gegründet und beschäftigt mehr als 2800 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 finden Sie unter mathworks.com.
Weitere Updates zur 2013b Meldung erhalten Sie, wenn Sie uns auf Twitter folgen: (at)MATLAB (#R2013b). Verbinden Sie sich auch mit uns auf Xing, sowie LinkedIn und Facebook.
Datum: 11.09.2013 - 10:04 Uhr
Sprache: Deutsch
News-ID 942586
Anzahl Zeichen: 4878
Kontakt-Informationen:
Stadt:
Aachen
Kategorie:
Softwareindustrie
Diese Pressemitteilung wurde bisher 154 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"Neue Polyspace-Produkte zur Codeverifizierung von MathWorks"
steht unter der journalistisch-redaktionellen Verantwortung von
MathWorks GmbH - Standort Aachen (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
MathWorks stellt das Release 2014a (R2014a) seiner MATLAB- und Simulink-Produktfamilien vor. R2014a beinhaltet neue Versionen von MATLAB und Simulink, das neue Produkt LTE System Toolbox sowie Updates für 80 weitere Produkte. MATLAB-Produktfamilie - MATLAB: Hardware Support Pack
Numerix und MathWorks stellen fortgeschrittene Funktionalität für die Pre-Trade-Analyse, Modellvalidierung und Modelltests in MATLAB bereit ...
Numerix, ein Hersteller von Cross-Asset-Analysetools, und MathWorks, Entwickler von MATLAB, eine Programmiersprache und interaktive Umgebung für numerische Berechnungen und Visualisierungen, haben die Integration des Numerix CrossAsset Integration Layer in die MATLAB-Umgebung bekannt gegeben. Dami
Nobel-Stiftung nutzt MATLAB für die Risikoanalyse ihres Portfolios zur langfristigen Sicherstellung der Preisgeldverleihungen ...
Die Nobel-Stiftung hat MATLAB eingeführt, um das Bilanzstrukturmanagement für ihr Portfolio im Wert von 500 Mio. US-Dollar (3,3 Mrd. Kronen) zu unterstützen, damit Preisträger auch langfristig mit einem entsprechenden Preisgeld ausgezeichnet werden können. Die Nobel-Stiftung entwickelt
Weitere Mitteilungen von MathWorks GmbH - Standort Aachen
ESTOS und KOMSA Systems bieten CTI-Integration in SAP Business One an ...
Der unabhängige UC-Softwarehersteller ESTOS und KOMSA Systems haben in einer Entwicklungskooperation die Integration des ERP-Systems SAP Business One in die Unified Communications- und CTI-Software ProCall Enterprise vollzogen. Somit ist es nun möglich, direkt aus dem Gesprächsfenster von ProCal
SEPA-Webinar: ags führt den SEPA-Zahlungsverkehr einfach und unkompliziert mit Microsoft Dynamics ? NAV 2013 ein ...
Essen, den 11.09.2013. In einem kostenlosen Webinar zeigt ags Ihnen den SEPA-Zahlungsverkehr sowie weitere interessante Funktionen der Finanzbuchhaltung von Microsoft Dynamics? NAV 2013. Zur Anmeldung Das Europäische Parlament hat bestimmt, dass ab dem 01.02.2014 der neue Zahlungsverkehr S
Mit Produktionsplanungs-Simulation zur optimalen Planung ...
Als Produktionsplaner müssen Sie Tausende Daten bearbeiten und zuweisen. Eine Detail-Änderung, z.B. die Anpassung von Materialnamen, hat vielfältige Auswirkungen auf andere Planungsbestandteile wie Materialliste, Materialstandort, Stückliste, usw. Der kleinste Schreibfehler kann eine ganze Plan
move)bank ERP-Banken Software auf Basis von MS Dynamics? NAV ...
Essen, den 11.09.2013, move)bank ist die ERP-Software für Sparkassen, Volks- und Genossenschaftsbanken, Privatbanken und Investmentgesellschaften auf Basis von Microsoft Dynamics? NAV. move)bank als Bankensoftware ergänzt die kaufmännische Standardlösung Microsoft Dynamics? NAV um spezielle An
