Adaptive Scheduling of Data Paths using Uppaal Tiga
| Autor: | AIAttilli, I., Houben, F., Igna, G., Michels, S., Zhu, F., Vaandrager, F.W., Andova, Suzana, McIver, Annabelle, D'Argenio, Pedro, Cuijpers, Pieter, Markovski, Jasen, Morgan, Caroll, Nunez, Manuel |
|---|---|
| Přispěvatelé: | Andova, Suzana, McIver, Annabelle, D'Argenio, Pedro, Cuijpers, Pieter, Markovski, Jasen, Morgan, Caroll, Nunez, Manuel |
| Jazyk: | angličtina |
| Rok vydání: | 2009 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science 0209 industrial biotechnology Computer Science - Performance Job shop scheduling Formal Languages and Automata Theory (cs.FL) Electronic Proceedings in Theoretical Computer Science Computer science Distributed computing Pipeline (computing) lcsh:Mathematics Scheduling (production processes) Computer Science - Formal Languages and Automata Theory 020207 software engineering Image processing 02 engineering and technology lcsh:QA1-939 lcsh:QA75.5-76.95 Logic in Computer Science (cs.LO) Automaton Performance (cs.PF) 020901 industrial engineering & automation Software Science 0202 electrical engineering electronic engineering information engineering lcsh:Electronic computers. Computer science |
| Zdroj: | Electronic Proceedings in Theoretical Computer Science, Vol 13, Iss Proc. QFM 2009, Pp 1-11 (2009) QFM Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009, 1-12 STARTPAGE=1;ENDPAGE=12;ISSN=2075-2180;TITLE=Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009 Andova, Suzana; McIver, Annabelle; D'Argenio, Pedro (ed.), Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications Eindhoven, The Netherlands, 3rd November 2009, pp. 1-12 |
| ISSN: | 2075-2180 |
| Popis: | We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a printer. As far as we know, this is the first application of timed automata technology to an industrial scheduling problem with uncertainty in job arrivals. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|