Adaptive Scheduling of Data Paths using Uppaal Tiga

TL;DR

This paper demonstrates the use of Uppaal Tiga to automatically generate adaptive scheduling strategies for an industrial image processing pipeline, addressing uncertainty in job arrivals with timed automata technology.

Contribution

First application of timed automata-based adaptive scheduling to an industrial problem with uncertain job arrivals.

Findings

Successfully computed adaptive schedules for the printer pipeline

Demonstrated the effectiveness of Uppaal Tiga in handling uncertainty

Pioneered the use of timed automata in industrial scheduling

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.