Vermeiden von Laufzeitfehlern in eingebetteter Software
DOI:
https://doi.org/10.17560/atp.v51i10-11.2045Abstract
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.
Downloads
Veröffentlicht
19.06.2013
Ausgabe
Rubrik
Fachbeitrag / Peer-Review
Lizenz
Die Zeitschrift und alle in ihr enthaltenen Beiträge und Abbildungen sind urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Bearbeitung in elektronischen Systemen. Auch die Rechte der Wiedergabe durch Vortrag, Funk- und Fernsehsendung, im Magnettonverfahren oder ähnlichem Wege bleiben vorbehalten.
