Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation
Logic in Computer Science
2011-11-09 v1
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.
Cite
@article{arxiv.0710.4753,
title = {Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation},
author = {Reinhold Heckmann and Christian Ferdinand},
journal= {arXiv preprint arXiv:0710.4753},
year = {2011}
}
Comments
Submitted on behalf of EDAA (http://www.edaa.com/)