start
WHITEPAPERS

Verifikation von Code mit hohen Anforderungen an die Zuverlässigkeit

Bei vielen Embedded Software-Projekten besteht das Hauptziel der Verifikation im Aufspüren möglichst vieler Programmfehler in möglichst kurzer Zeit. Die üblicherweise eingesetzten statischen Analyse-Tools eignen sich zwar gut zur Identifikation offensichtlicher Mängel, können aber nicht die Fehlerfreiheit des Quellcodes beweisen. Sie bieten daher keinen Schutz vor endlosen Debugging-Schleifen und einer langatmigen Code-Überprüfung. Deutlich schwerer wiegt aber, dass mit ihnen Fehler mit potenziell katastrophalen Folgen unentdeckt bleiben. Für Anwendungen, die eine hohe Zuverlässigkeit erfordern, ist dies nicht akzeptabel. PolySpace(TM) Code-Verifikationsprodukte verfolgen einen alternativen Ansatz: Sie beweisen mathematisch die Fehlerfreiheit für bestimmte Typen von Laufzeitfehlern.

Autor(en): The MathWorks GmbH
AddThis Feed Button
Bitte füllen sie das Formular vollständig aus und klicken Sie auf "Senden", um den Download des Whitepapers zu starten.
Anrede: *
Vorname: *
Nachname: *
Firma: *
Bereich/Abteilung: *
Funktion/Position: *
Branche: *
Straße: *
PLZ: *
Ort: *
Land: *
Telefon: *
E-Mail: *
Einwilligungs-
erklärung:
 Ich bin mit der Verarbeitung und Nutzung meiner Daten gemäß Einwilligungserklärung einverstanden.


* erforderliche Felder
 
start
PREMIUM PARTNER
start
LOGIN FACHARTIKEL-ARCHIV
 
start
BRANCHENINDEX ONLINE
BranchenIndex - B2B-Firmensuche für Industrie und WirtschaftDie B2B-FIRMENSUCHE für Industrie und Wirtschaft
In Kooperation mit der Hoppenstedt Firmeninformationen GmbH

Kostenfrei in über 300.000 Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren:

» Zur Business-to-Business-Firmensuche

start
NEWSLETTER
Mit dem Newsletter erhalten Sie zwei Mal in der Woche aktuelle News, Berichte, Events und Interviews aus der Automobiltechnik und Automobilentwicklung. Natürlich kostenlos!

Exklusiv für Newsletter-Abonnenten:
regelmäßig kostenlose Fachartikel

  
start
BUSINESS PARTNER
BorgWarnerTE Connectivity
 
RSS Home Springer Automotive Media Mediadaten AGB/Datenschutz Impressum Kontakt

© Springer Fachmedien Wiesbaden GmbH 2012