Verifying safety-critical properties of embedded software by abstract interpretation

Zusammenfassung
Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the processor registers. Its results are used as input to more advanced analyses, which ultimately yield information about the stack usage and the timing behavior of embedded software.
  • Vollständige Referenz
  • BibTeX
Heckmann, R. & Ferdinand, C., (2005). Verifying safety-critical properties of embedded software by abstract interpretation. In: Federrath, H. (Hrsg.), Sicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit. Bonn: Gesellschaft für Informatik e.V.. (S. 125-128).
@inproceedings{mci/Heckmann2005,
author = {Heckmann, Reinhold AND Ferdinand, Christian},
title = {Verifying safety-critical properties of embedded software by abstract interpretation},
booktitle = {Sicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit},
year = {2005},
editor = {Federrath, Hannes} ,
pages = { 125-128 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings.62-11.pdf163.7Kb PDF Öffnen

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

Mehr Information

ISBN: 3-88579-391-1
ISSN: 1617-5468
Datum: 2005
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige