Vermeiden von Laufzeitfehlern in eingebetteter Software
€4.90
In stock
article number
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.
Authors | Daniel Kästner/AbsInt GmbH |
---|---|
Publishing Date | 11 Oct 2009 |
Format | |
Zeitschrift | atp edition - Ausgabe 10-11 2009 |
Publisher | DIV Deutscher Industrieverlag GmbH |
Language | German |
Pages | 6 |
Title | Vermeiden von Laufzeitfehlern in eingebetteter Software |
Subtitle | Analysator-Tool Astrée weist Abwesenheit von Laufzeitfehlern nach |
Description | 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. |
Write Your Own Review