Quasi-static scheduling for concurrent architectures
Visualitza/Obre
Cita com:
hdl:2117/130839
Tipus de documentText en actes de congrés
Data publicació2003
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióCortadella, J. [et al.]. Quasi-static scheduling for concurrent architectures. A: International Conference on Application of Concurrency to System Design. "Third International Conference on Application of Concurrency to System Design, ACSD2003: 18-20 June 2003, Guimarães, Portugal: proceedings". Institute of Electrical and Electronics Engineers (IEEE), 2003, p. 29-40.
ISBN0-7695-1887-7
Versió de l'editorhttps://ieeexplore.ieee.org/document/1207697
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
01207697.pdf | 511,4Kb | Visualitza/Obre |