Code Analysis for Temporal Predictability

Authors:
Jan Gustafsson;Björn Lisper;Raimund Kirner;Peter Puschner
Affiliations:
Department of Computer Science and Electronics, Mälardalen University, Västerås, Sweden;Department of Computer Science and Electronics, Mälardalen University, Västerås, Sweden;Institut für Technische Informatik, Technische Universität Wien, Austria;Institut für Technische Informatik, Technische Universität Wien, Austria
Venue:
Real-Time Systems
Year:
2006

Citing 11
Cited 1

Annotated bibliography on partial evaluation and mixed computation

New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
Semantics with applications: a formal introduction

Semantics with applications: a formal introduction
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
A comparison of full and partial predicated execution support for ILP processors

ISCA '95 Proceedings of the 22nd annual international symposium on Computer architecture
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principles of Program Analysis

Principles of Program Analysis
Conversion of control dependence to data dependence

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Transforming Execution-Time Boundable Code into Temporally Predictable Code

DIPES '02 Proceedings of the IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems: Design and Analysis of Distributed Embedded Systems
A Survey of Program Slicing Techniques.

A Survey of Program Slicing Techniques.
Writing Temporally Predictable Code

WORDS '02 Proceedings of the The Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002)
A tour of tempo: a program specializer for the C language

Science of Computer Programming - Special issue on program transformation

Compiling for time predictability

SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy called WCET-oriented programming and a code transformation strategy, the single-path conversion, that aid programmers in producing code that meets these requirements. These strategies avoid and eliminate input-data dependencies in the code. The paper describes the formal analysis, based on abstract interpretation, that identifies input-data dependencies in the code and thus forms the basis for the strategies provided for hard real-time code development.