Quasi-static Scheduling for Concurrent Architectures

Issue title: Application of Concurrency to System Design (ACSD'03)

Article type: Research Article

Authors: Cortadella, Jordi | Kondratyev, Alex | Lavagno, Luciano | Taubin, Alexander | Watanabe, Yosinori

Affiliations: Universitat Politècnica de Catalunya, Barcelona, Spain | Cadence Berkeley Labs, Berkeley, USA | Politecnico di Torino, Torino, Italy | Boston University, Boston, USA

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 define the correctness of the partitioned schedule.

Journal: Fundamenta Informaticae, vol. 62, no. 2, pp. 171-196, 2004