@article{4446, abstract = {The Embedded Machine is a virtual machine that mediates in real time the interaction between software processes and physical processes. It separates the compilation of embedded programs into two phases. The first phase, the platform-independent compiler phase, generates E code (code executed by the Embedded Machine), which supervises the timing, not the scheduling of, application tasks relative to external events such as clock ticks and sensor interrupts. E code is portable and, given an input behavior, exhibits predictable (i.e., deterministic) timing and output behavior. The second phase, the platform-dependent compiler phase, checks the time safety of the E code, that is, whether platform performance (determined by the hardware) and platform utilization (determined by the scheduler of the operating system) enable its timely execution. We have used the Embedded Machine to compile and execute high-performance control applications written in Giotto, such as the flight control system of an autonomous model helicopter.}, author = {Thomas Henzinger and Kirsch, Christoph M}, journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)}, number = {393}, publisher = {ACM}, title = {{The embedded machine: Predictable, portable real-time code}}, doi = {10.1145/1286821.1286824}, volume = {29}, year = {2007}, }