Verifying safety-critical timing and memory-usage properties of embedded software by abstract interpretation

Proceedings -Design, Automation and Test in Europe, DATE '05

Volumn I, Issue , 2005, Pages 618-619

  Heckmann, Reinhold ^a   Ferdinand, Christian ^a  

^a AbsInt GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE; INFORMATION RETRIEVAL; PROGRAM PROCESSORS; TIME DOMAIN ANALYSIS;

ABSTRACT INTERPRETATION; EMBEDDED SOFTWARE; STATIC PROGRAM ANALYSIS;

EMBEDDED SYSTEMS;

EID: 33646947564     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2005.326     Document Type: Conference Paper

References (3)

1. P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, Los Angeles, California, 1977.
2. C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm. Reliable and precise WCET determination for a real-life processor. In Proceedings of EMSOFT 2001, First Workshop on Embedded Software, volume 2211 of Lecture Notes in Computer Science, pages 469-485, Springer-Verlag, 2001.
3. W. Janz. Das OSEK Echtzeitbetriebssystem, Stackverwaltung und statische Stackbedarfsanalyse. In Embedded World, Nuremberg, Germany, Feb. 2003.