论文信息 - Adaptive Scheduling of Data Paths using Uppaal Tiga

Adaptive Scheduling of Data Paths using Uppaal Tiga

We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial casestudy dealing with a state-of-the-art image processing pipeline of a printer. As far as we know,this is the ﬁrst application of timed automata technology to an industrial scheduling problem withuncertainty in job arrivals.

[1] Kenneth N. McKay,et al. Unifying the theory and practice of production scheduling , 1999 .

[2] Kenneth N. McKay,et al. Job-Shop Scheduling Theory: What Is Relevant? , 1988 .

[3] Eugene Asarin,et al. Scheduling with timed automata , 2006, Theor. Comput. Sci..

[4] Malou M-Louise Haine,et al. De Smet L. , 1986 .

[5] Kim G. Larsen,et al. Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study , 2009, HSCC.

[6] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.

[7] Venkatesh Kannan,et al. Formal Modeling and Scheduling of Datapaths of Digital Document Printers , 2008, FORMATS.

[8] Kim G. Larsen,et al. Guided Controller Synthesis for Climate Controller Using Uppaal Tiga , 2007, FORMATS.

[9] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[10] Gerd Behrmann,et al. Production scheduling by reachability analysis - a case study , 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

[11] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.

[12] Advanced Methods for Timed Systems AMETIST , 2007 .

[13] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..