Adaptive scheduling of data paths using Uppaal Tiga

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 13, Issue , 2009, Pages 1-11

  AlAttili, Israa ^a   Houben, Fred ^a   Igna, Georgeta ^a   Michels, Steffen ^a   Zhu, Feng ^a   Vaandrager, Frits ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

IMAGE PROCESSING; SCHEDULING;

ADAPTIVE SCHEDULING; ADAPTIVE SCHEDULING STRATEGY; DATA PATHS; INDUSTRIAL CASE STUDY; SCHEDULING PROBLEM; STATE OF THE ART; TIMED AUTOMATA;

FORMAL METHODS;

EID: 84862005625     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.13.1     Document Type: Conference Paper

References (15)

1. Y. Abdeddäim, E. Asarin & O. Maler (2006): Scheduling with timed automata. Theor. Comput. Sci. 354(2), pp. 272-300.
2. R. Alur & D.L. Dill (1994): A theory of timed automata. Theoretical Computer Science 126, pp. 183-235.
3. AMETIST (2007). Final Project Report. Available at http://www.cs.ru.nl/F.Vaandrager/AMETIST/ final.pdf. Deliverable from the European project IST-2001-35304 Advanced Methods for Timed Systems (AMETIST).
4. G. Behrmann, E. Brinksma, M. Hendriks & A. Mader (2005): Production Scheduling by Reachability Analysis - A Case Study. In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CA, USA. IEEE Computer Society. Available at http://doi.ieeecomputersociety.org/10.1109/IPDPS.2005.363.
5. G. Behrmann, A. Cougnard, A. David, E. Fleury, K.G. Larsen & D. Lime (2007). Uppaal Tiga User-manual. Available at http://www.cs.aau.dk/~adavid/tiga/manual.pdf.
6. G. Behrmann, A. David & K.G. Larsen (2004): A Tutorial on Uppaal. In: M. Bernardo & F. Corradini, editors: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures, Lecture Notes in Computer Science 3185. Springer, pp. 200-236.
7. F. Cassez, A. David, E. Fleury, K.G. Larsen & D. Lime (2005): Efficient On-the-Fly Algorithms for the Analysis of Timed Games. In: Martín Abadi & Luca de Alfaro, editors: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, Lecture Notes in Computer Science 3653. Springer, pp. 66-80. Available at http://dx.doi. org/10.1007/11539452-9.
8. F. Cassez, J.J. Jessen, K. G. Larsen, J.-F. Raskin & P.-A. Reynier (2009): Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. In: Rupak Majumdar & Paulo Tabuada, editors: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, Lecture Notes in Computer Science 5469. Springer, pp. 90-104. Available at http://dx.doi.org/10.1007/978-3-642-00602-9-7.
9. A.J. Davenport & J.C. Beck (2000). A Survey of Techniques for Scheduling with Uncertainty. Unpublished manuscript.
10. G. Igna, V. Kannan, Y. Yang, T. Basten, M. Geilen, F. Vaandrager, M. Voorhoeve, S. de Smet & L. Somers (2008): Formal Modeling and Scheduling of Datapaths of Digital Document Printers. In: Proceedings Sixth International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), September 15-17, 2008, Saint-Malo, France, Lecture Notes in Computer Science 5215. Springer Berlin / Heidelberg, pp. 169-186. Available at http://www.cs.ru.nl/ita/publications/papers/fvaan/Octopus08.html.
11. J.J. Jessen, J. Rasmussen, K.G. Larsen & A. David (2007): Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. In: Jean-François Raskin & P. S. Thiagarajan, editors: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, Lecture Notes in Computer Science 4763. Springer, pp. 227-240.
12. O. Maler, A. Pnueli & J. Sifakis (1995): On the Synthesis of Discrete Controllers for Timed Systems. In: E.W. Mayr & C. Puech, editors: Proceedings STACS'95, Lecture Notes in Computer Science 900. Springer-Verlag, pp. 229-242.
13. K.N. McKay, J.A. Buzacott & F.R. Safayeni (1989): The Scheduler's Knowledge of Uncertainty: The Missing Link. In: J. Browne, editor: Knowledge Based Production Management Systems. Elsevier Science, New York, pp. 171-189.
14. K.N. McKay, F.R. Safayeni & J.A. Buzacott (1998): Job-shop scheduling theory: What is relevant? Interfaces 18(4), pp. 84-90.
15. K.N. McKay & V.C.S.Wiers (1999): Unifying the Theory and Practice of Production Scheduling. Journal of Manufacturing Systems 18(4), pp. 241-255.