Adaptive Scheduling of Data Paths using Uppaal Tiga
AIAttilli, I., Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits Vaandrager, Andova, Suzana, McIver, Annabelle, D'Argenio, Pedro, Cuijpers, Pieter, Markovski, Jasen, Morgan, Caroll, Nunez, Manuel · Radboud Repository (Radboud University) · 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.