Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Reinhold Heckmann Articles by Christian Ferdinand

Design, Automation and Test in Europe (DATE'05) Volume 1

Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation (PDF)

Munich, Germany

March 07-March 11

ISBN: 0-7695-2288-2

	ASCII Text	x
	Reinhold Heckmann, Christian Ferdinand, "Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation," Design, Automation and Test in Europe Conference and Exhibition, vol. 1, pp. 618-619, Design, Automation and Test in Europe (DATE'05) Volume 1, 2005.

	BibTex	x
	@article{ 10.1109/DATE.2005.326, author = {Reinhold Heckmann and Christian Ferdinand}, title = {Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation}, journal ={Design, Automation and Test in Europe Conference and Exhibition}, volume = {1}, year = {2005}, issn = {1530-1591}, pages = {618-619}, doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2005.326}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Design, Automation and Test in Europe Conference and Exhibition TI - Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation SN - 1530-1591 SP618 EP619 A1 - Reinhold Heckmann, A1 - Christian Ferdinand, PY - 2005 KW - null VL - 1 JA - Design, Automation and Test in Europe Conference and Exhibition ER -

Reinhold Heckmann, AbsInt Angewandte Informatik GmbH, Germany

Christian Ferdinand, AbsInt Angewandte Informatik GmbH, Germany

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2005.326

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.

Citation:

Reinhold Heckmann, Christian Ferdinand, "Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation," date, vol. 1, pp.618-619, Design, Automation and Test in Europe (DATE'05) Volume 1, 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.