Astrée: Nachweis der Abwesenheit von Laufzeitfehlern

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. Da in der Regel keine vollständige Testabdeckung möglich ist, bieten sich statische Analysatoren an. Diese bieten eine vollständige Coverage, können jedoch Fehlalarme erzeugen. Da jeder potentielle Laufzeitfehler manuell vom Benutzer überprüft werden muss, kann eine hohe Zahl von Fehlalarmen dazu führen, dass echte Fehler übersehen werden. Der statische Analysator Astrée kann durch Spezialisierung und Parametrisierung an die zu analysierende Software angepasst werden. Dies ermöglicht kurze Analysezeiten und eine niedrige Zahl von Fehlalarmen. Astrée wird z.B. bei der Zertifizierung von industrieller Flugzeugsteuerungssoftware eingesetzt.
  • Vollständige Referenz
  • BibTeX
Kästner, D., Ferdinand, C., Wilhelm, S., Nenova, S., Honcharova, O., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Rival, X. & Sims, É.-J., (2009). Astrée: Nachweis der Abwesenheit von Laufzeitfehlern.   Softwaretechnik-Trends Band 29, Heft 3. Bonn: Geselllschaft für Informatik e.V..
@inproceedings{mci/Kästner2009,
author = {Kästner, Daniel AND Ferdinand, Christian AND Wilhelm, Stephan AND Nenova, Stefana AND Honcharova, Olha AND Cousot, Patrick AND Cousot, Radhia AND Feret, Jérôme AND Mauborgne, Laurent AND Miné, Antoine AND Rival, Xavier AND Sims, Élodie-Jane},
title = {Astrée: Nachweis der Abwesenheit von Laufzeitfehlern},
booktitle = {Softwaretechnik-Trends Band 29, Heft 3},
year = {2009},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
001_kaestner.pdf269.1Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISSN: 0720-8928
Datum: 2009
Sprache: de (de)
Typ: Journal Articles
Sammlungen

Zur Langanzeige