Quasi-static scheduling for concurrent architectures

被引：2

作者：

Cortadella, J ^{[1
]}

Kondratyev, A ^{[1
]}

Lavagno, L ^{[1
]}

Watanabe, Y ^{[1
]}

机构：

[1] Univ Politecn Catalunya, Barcelona, Spain

来源：

THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS | 2003年

关键词：

D O I：

10.1109/CSD.2003.1207697

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：29 / 40

页数：12