In: Third International Conference on Application of Concurrency to System Design (ACSD'03), Guimarães, Portugal, pages 29-40. IEEE, June 2003.
Also in: fundamenta informaticae 62, IOS Press, pages 171-196. 2004.
Abstract: This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks, while considering multiple concurrent execution resources. A formal model based on the notion of scheduling of Petri nets is used to perform the synthesis. We show how the notion of projections of a schedule for the complete system onto the components implemented on separate resources is essential to dene the correctness of the partitioned schedule.