@article{GNP06,
title = { Automatic rate desynchronization of embedded reactive programs },
author = {Girault, Alain and Nicollin, Xavier and Pouzet, Marc},
month = {August},
year = {2006},
journal = {ACM TECS},
pages = {697--717},
volume = {5(3)},
team = {SYNC},
abstract = {Many embedded reactive programs perform computations at different rates, while still requiring the overall application to satisfy very tight temporal constraints. We propose a method to automatically distribute programs such that the obtained parts can be run at different rates, which we call rate desynchronization. We consider general programs whose control structure is a finite state automation and with a DAG action in each state.\r\n\r\nThe motivation is to take into account long duration tasks inside the program: these are tasks whose execution time is long compared to the other computations in the application, and whose maximal execution rate is known and bounded. Merely scheduling such a long duration task at a slow rate would not work since ten whole program would be slowed down if compiled into sequential code. It would thus be impossible to meet the temporal constraints, unless such long duration tasks could be desynchronized form the remaining computations. This is precisely what our method achieves: it distributes the initial program into several parts, so that the parts performing the slow computations can be run at an appropriate rate, therefore not impairing the global reaction time of the program.\r\n\r\nWe present in detail our method, all the involved algorithms, and a small running example. We also compare our method with the related work. },
}
