Temporal analysis for adapting concurrent applications to embedded systems

Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore processors). It is difficult to write one program that would work reliably on such a wide range of devices. This is especially true when the application must be tempo-rally predictable and robust, which is usually be the case since the physical world works in real-time. Thus, any ap-plication interacting with such a system, must also work in real-time. In this paper we introduce a representation of the tem-poral behavior of distributed real-time applications as col-ored graphs that capture the timing of temporally continu-ous sections of execution and dependencies between them