Quasi-static scheduling of independent tasks for reactive systems
Rights accessOpen Access
A reactive system must process inputs from the environment at the speed and with the delay dictated by the environment. The synthesis of reactive software from a modular concurrent specification model generates a set of concurrent tasks coordinated by an operating system. This paper presents a synthesis approach for reactive software that is aimed at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks. A formal model based on Petri nets is used to synthesize the tasks and verify the correctness of their composition. A practical application of the approach is illustrated by means of a real-life industrial example, which shows the significant impact of the approach on the performance of the system.
CitationCortadella, J., Kondratyev, A., Lavagno, L., Passerone, C., Watanabe, Y. Quasi-static scheduling of independent tasks for reactive systems. "IEEE transactions on computer-aided design of integrated circuits and systems", Octubre 2005, vol. 24, núm. 10, p. 1492-1514.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder