Academic Journal
Quasi-static scheduling of independent tasks for reactive systems
| Τίτλος: | Quasi-static scheduling of independent tasks for reactive systems |
|---|---|
| Συγγραφείς: | Cortadella, Jordi, Kondratyev, Alex, Lavagno, Luciano, Passerone, Claudio, Watanabe, Yosinori |
| Συνεισφορές: | 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 |
| Στοιχεία εκδότη: | Springer |
| Έτος έκδοσης: | 2002 |
| Συλλογή: | Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge |
| Θεματικοί όροι: | Àrees temàtiques de la UPC::Informàtica::Sistemes operatius, Petri nets, Microprocessors -- Programming, Sequential composition, Concurrent task, Independent task, Source transition, FIFO queue, Petri, Xarxes de, Microprocessadors -- Programació |
| Περιγραφή: | The synthesis of a reactive system generates a set of concurrent tasks coordinated by an operating system. 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. A formal model based on Petri nets is used to synthesize the tasks. A practical application is illustrated by means of a real-life industrial example. ; Peer Reviewed ; Postprint (author's final draft) |
| Τύπος εγγράφου: | article in journal/newspaper |
| Περιγραφή αρχείου: | 21 p.; application/pdf |
| Γλώσσα: | English |
| Relation: | https://link.springer.com/chapter/10.1007/3-540-48068-4_7; https://hdl.handle.net/2117/133829 |
| DOI: | 10.1007/3-540-48068-4_7 |
| Διαθεσιμότητα: | https://hdl.handle.net/2117/133829 https://doi.org/10.1007/3-540-48068-4_7 |
| Rights: | Open Access |
| Αριθμός Καταχώρησης: | edsbas.89F20EE5 |
| Βάση Δεδομένων: | BASE |
| DOI: | 10.1007/3-540-48068-4_7 |
|---|