Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


SICHERHEIT 2005, Sicherheit - Schutz und Zuverlässigkeit, Beiträge der 2. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 5.-8. April 2005 in Regensburg. GI 2005 P-62, 125-128 (2005).

GI, Gesellschaft für Informatik, Bonn
2005


Editors

Hannes Federrath (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Verifying safety-critical properties of embedded software by abstract interpretation

R. Heckmann and C. Ferdinand

Abstract


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.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-391-1


Last changed 24.01.2012 21:48:52