Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03658.jsonl.gz/36

Embedded Systeme

MathWorks-Produkte für die Code-Verifikation automatisieren, beschleunigen und vereinfachen den Entwurf und das Testen von Embedded Software. Sie ermöglichen einen stringenten Verifikationsprozess, durch den Laufzeitfehler wie Überläufe, Divisionen durch Null und Array-Zugriffe außerhalb des gültigen Bereichs entdeckt und deren Abwesenheit analytisch bewiesen werden kann, ohne den Code auszuführen, zu instrumentieren oder Testfälle zu erzeugen.
MathWorks-Produkte beschleunigen die Erkennung von Verletzungen von Programmierregeln, indem sie deren manuelle Überprüfung überflüssig machen. Regelverletzungen können direkt zum Quellcode zurückverfolgt und damit in der gleichen Umgebung korrigiert werden, in der der Code entwickelt wurde. Polyspace®-Produkte unterstützen Eclipse, Visual Studio und andere verbreitete Entwicklungsumgebungen.
Die Polyspace-Produkte zur Codeverifikation analysieren Programmcode, identifizieren Zuverlässigkeitsprobleme und heben problematische Code-Konstrukte hervor. Sie erhalten damit ein belastbares und objektives Maß für die Software-Entwicklung für High-Integrity-Anwendungen mit konsistentem und vorhersagbarem Verhalten. Sie wissen dadurch genau, unter welchen Randbedingungen der Programmcode zuverlässig funktionieren wird, können mathematisch die Abwesenheit bestimmter Typen von Laufzeitfehlern beweisen, ohne den Code zu kompilieren, zu instrumentieren oder Testfälle zu entwickeln, und verfügen über ein objektives Maß für die Codequalität.
Durch diese Fähigkeiten können Sie die Erfüllung von Standards und Vorschriften sicherstellen und damit die Zertifizierung von Embedded Systeme nach IEC 61508, ISO 26262, EN 50128 oder DO-178B vereinfachen und beschleunigen.
Nissan Increases Software Reliability (User Story)
"Some bugs would be very difficult, even impossible, to identify manually or through conventional testing. Polyspace enables us to find these potentially critical errors fast, and provides for an unparalleled level of software reliability."Zum Anwenderbericht