Issue No. 05 - May (1995 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.387469
We present a programming language called TCEL (Time-Constrained Event Language), whose semantics are based on time-constrained relationships between observable events. Such a semantics infers only those timing constraints necessary to achieve real-time correctness, without overconstraining the system. Moreover, an optimizing compiler can exploit this looser semantics to help tune the code, so that its worst-case execution time is consistent with its real-time requirements. In this paper we describe such a transformation system, which works in two phases. First, the TCEL source code is translated into an intermediate representadon. Then an instruction-scheduling algorithm rearranges selected unobservable operations and synthesizes tasks guaranteed to respect the original event-based constraints.
Real-time, programming languages, compiler optimization, code scheduling, static single assignment, gated single assignment, timing analysis, trace scheduling, code motion.
Richard Gerber, Seongsoo Hong, "Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion", IEEE Transactions on Software Engineering, vol. 21, no. , pp. 389-404, May 1995, doi:10.1109/32.387469