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 et.al., 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.

Abstract

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
Slides
model.xml
model_prio_dc.xml
model_prio_dp.xml
ExtendedModel.zip