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

Publikováno v: 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

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 techn

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::100a8de97f7fe6461b2faf57218c12ed
https://doaj.org/article/656531c4047b4c29b242b54e1f8c88f6