Quasi-Static Scheduling for Concurrent Architectures

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.

• Type: Conference
• Year: 2003
• Where: ACSD
• Authors: Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
• Keywords: ACSD 2003, Concurrent Tasks, Hardware, Multiple Concurrent Execution, Synthesis Approach