Verifying timing behavior by abstract interpretation of executable code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3725 LNCS, Issue , 2005, Pages 336-339

  Ferdinand, Christian ^a   Heckmann, Reinhold ^a  

^a AbsInt Angewandte Informatik GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATIONAL COMPLEXITY; COMPUTER SCIENCE; EMBEDDED SYSTEMS; REAL TIME SYSTEMS;

ABSTRACT INTERPRETATION; PROGRAM TASKS; TIMING BEHAVIOR;

CODES (SYMBOLS);

EID: 33646394872     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11560548_26     Document Type: Conference Paper

References (6)

1. Stankovic, J.A.: Real-Time and Embedded Systems. ACM 50th Anniversary Report on Real-Time Computing Research. (1996) http://www-ccs.cs.umass.edu/sdcr/ rt.ps.
2. Theiling, H.: Extracting safe and precise control flow from binaries. In: Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea (2000)
3. Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD thesis, Saarland University (1997)
4. Heckmann, R., Langenbach, M., Thesing, S., Wilhelm, R.: The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE 91 (2003) 1038-1054 Special Issue on Real-Time Systems.
5. Theiling, H., Ferdinand, C.: Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis. In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain (1998) 144-153
6. AbsInt Angewandte Informatik GmbH: aiSee Home Page, (http://www.aisee. com)