Quasi-static scheduling for concurrent architectures

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/130839

Title:	Quasi-static scheduling for concurrent architectures
Author:	Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Watanabe, Yosinori
Other authors:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
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.
Abstract:	Peer Reviewed
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors -Embedded computer systems -Parallel processing (Electronic computers) -Operating systems (Computers) -Processor scheduling -Concurrent computing -Central Processing Unit -Petri nets -Embedded computing -Physics computing -Costs -Software performance -Ordinadors immersos, Sistemes d' -Processament en paral·lel (Ordinadors) -Sistemes operatius (Ordinadors)
Rights:
Document type:	Article - Published version Conference Object
Published by:	Institute of Electrical and Electronics Engineers (IEEE)
Share: