Vermeiden von Laufzeitfehlern in eingebetteter Software

4,90 €
Auf Lager
Artikelnummer
03654_2009_10-11_04
Analysator-Tool Astrée weist Abwesenheit von Laufzeitfehlern nach
PDF Download
Zusammenfassung Sicherheitskritische eingebettete Systeme müssen hohen Qualitätsanforderungen genügen. Laufzeitfehler, z.B. arithmetische Überläufe oder Rundungsfehler, können zu fehlerhaftem Programmverhalten führen. Angesichts der Hardware- und Softwarekomplexität ist in der Regel keine vollständige Testabdeckung möglich. Daher bieten sich Verfahren auf der Basis statischer Analysen an, die eine vollständige Abdeckung und somit einen ausreichend sicheren Nachweis der Fehlerfreiheit ermöglichen. Dieses Verfahren wird anhand des parametrischen statischen Analysators Astrée vorgestellt, der z.B. bei der Zertifizierung von industrieller Flugzeugsteuerungssoftware eingesetzt wird.
Mehr Informationen
Autoren Daniel Kästner/AbsInt GmbH
Erscheinungsdatum 11.10.2009
Format PDF
Zeitschrift atp edition - Ausgabe 10-11 2009
Verlag DIV Deutscher Industrieverlag GmbH
Sprache Deutsch
Seitenzahl 6
Titel Vermeiden von Laufzeitfehlern in eingebetteter Software
Untertitel Analysator-Tool Astrée weist Abwesenheit von Laufzeitfehlern nach
Beschreibung Zusammenfassung Sicherheitskritische eingebettete Systeme müssen hohen Qualitätsanforderungen genügen. Laufzeitfehler, z.B. arithmetische Überläufe oder Rundungsfehler, können zu fehlerhaftem Programmverhalten führen. Angesichts der Hardware- und Softwarekomplexität ist in der Regel keine vollständige Testabdeckung möglich. Daher bieten sich Verfahren auf der Basis statischer Analysen an, die eine vollständige Abdeckung und somit einen ausreichend sicheren Nachweis der Fehlerfreiheit ermöglichen. Dieses Verfahren wird anhand des parametrischen statischen Analysators Astrée vorgestellt, der z.B. bei der Zertifizierung von industrieller Flugzeugsteuerungssoftware eingesetzt wird.
Eigene Bewertung schreiben
Sie bewerten:Vermeiden von Laufzeitfehlern in eingebetteter Software
© 2017 Vulkan-Verlag GmbH