Code analysis for temporal predictability

Real-Time Systems

Volumn 32, Issue 3, 2006, Pages 253-277

  Gustafsson, Jan ^a   Lisper, Björn ^a   Kirner, Raimund ^b   Puschner, Peter ^b  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Abstract interpretation; Code transformation; Compiler optimizations; Graph transformation; Real time languages; Worst case execution time analysis

Indexed keywords

CODES (SYMBOLS); FORMAL LANGUAGES; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION;

ABSTRACT INTERPRETATION; CODE TRANSFORMATION; COMPILER OPTIMIZATIONS; GRAPH TRANSFORMATION; REAL-TIME LANGUAGES; WORST-CASE EXECUTION TIME ANALYSIS;

REAL TIME SYSTEMS;

EID: 33746921210     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-005-4683-4     Document Type: Conference Paper

References (14)

1. Allen, J., Kennedy, K., Porterfield, C., and Warren, J. 1983. Conversion of Control Dependence to Data Dependence. In Proc. 10th ACM Symposium on Principles of Programming Languages, pp. 177-189.
2. Cousot, P., and Cousot, R. 1977. Abstract interpretation: A unified model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, pp. 238-252.
3. Consel, C., Lawall, J. L., and Le Meur, A.-F. 2004. A tour of Tempo: A program specializer for the C language. Science of Computer Programming, 52(1-3):341-370.
4. Fauster, J., Kirner, R., and Puschner, P. 2003. Intelligent Editor for Writing WCET-Oriented Programs. In Proc. 3rd International Conference on Embedded Software (EMSOFT'03), pp. 190-205.
5. Gustafsson, J. 2000. Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation. PhD thesis, Department of Computer Systems, Information Technology, Uppsala University.
6. Jones, N. D., Gomard, C. K., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Hertfordshire, UK: Prentice Hall.
7. Mahlke, S., Hank, R., McCormick, J., August, D., and Hwu, W. 1995. A Comparison of Full and Partial Predicated Execution Support for ILP Processors. In Proc. 22nd International Symposium on Computer Architecture, pp. 138-150.
8. Nielson, H. R. and Nielson, F. 1992. Semantics with Applications. John Wiley & Sons.
9. Nielson, F., Nielson, H. R., and Hankin, C. 1999. Principles of Program Analysis, Springer. ISBN: 3-540-65410-0.
10. Puschner, P. and Burns, A. 2002. Writing temporally predictable code. In Proc. 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 85-91.
11. Puschner, P. 2002. Transforming execution-time boundable code into temporally predictable code. In B. Kleinjohann, K.H. (Kane) Kim, L. Kleinjohann, and A. Rettberg, editors, Design and Analysis of Distributed Embedded Systems, Kluwer Academic Publishers, pp. 163-172.
12. Puschner, P. 2003. Algorithms for dependable hard real-time systems. In Proc. 8th IEEE International Work-shop on Object-Oriented Real-Time Dependable Systems, pp. 26-31.
13. Sestoft, P. and Zamulin, A. V. 1988. Annotated bibliography on partial evaluation and mixed computation. New Generation Computing, pp. 309-354.
14. Tip, F. 1995. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189.