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
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.
| Autoren | Daniel Kästner/AbsInt GmbH |
|---|---|
| Erscheinungsdatum | 11.10.2009 |
| Format | |
| 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
