Sciweavers

FORMATS
2008
Springer

Formal Modeling and Scheduling of Datapaths of Digital Document Printers

13 years 5 months ago
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that involves an existing stateof-the-art image processing pipeline. Each of the resulting models is used to derive schedules for multiple concurrent jobs in the presence of limited resources (processing units, memory, USB bandwidth,..). The three models and corresponding analysis results are compared.
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan B
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FORMATS
Authors Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers
Comments (0)