Adaptive Scheduling of Data Paths using Uppaal Tiga

I. AlAttili, F. Houben, G. Igna, S. Michels, F. Zhu and F.W. Vaandrager. Adaptive Scheduling of Data Paths using Uppaal Tiga. In S. Andova, editors. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09), Eindhoven, The Netherlands, 3rd November 2009. Electronic Proceedings in Theoretical Computer Science 13, pp. 1-12, 2009.


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.

DOI: 10.4204/EPTCS.13.1