Program representation and translation for predictable real-time systems

A basic approach to the problem of program translation for systems using explicit plan scheduling is described. One of the goals is to establish a source language, Spring-C, that can serve as a target for many languages. The author discusses a method for deriving behavioral predictions while translating between the programming and run-time representations used by the Spring system. A graph representation of the program is derived from the intermediate representation the compiler uses to emit code. This graph is then reduced and analyzed to make behavioral predictions. The author presents the basic translation method and gives examples of how it translates programming language constructs for critical sections and synchronous communication