Adaptive Scheduling of Data Paths using Uppaal Tiga

Israa AlAttili, Fred Houben, Georgeta Igna +3

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…