Quasi-static scheduling for concurrent architectures

Author

Cortadella, Jordi ; Kondratyev, Alex ; Lavagno, Luciano ; Watanabe, Yosinori

Author_Institution

Univ. Politecnica de Catalunya, Barcelona, Spain

fYear

2003

Firstpage

29

Lastpage

40

Abstract

We present 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.

Keywords

Petri nets; concurrency control; embedded systems; formal specification; parallel architectures; processor scheduling; Petri net scheduling; concurrent architectures; concurrent task interaction; formal models; operating system; overhead minimization; quasi-static scheduling; reactive systems; Central Processing Unit; Concurrent computing; Costs; Embedded computing; Embedded system; Parallel processing; Petri nets; Physics computing; Processor scheduling; Software performance;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on

Print_ISBN

0-7695-1887-7

Type

conf

DOI

10.1109/CSD.2003.1207697

Filename

1207697