Adaptive Scheduling of Data Paths using Uppaal Tiga
Open Access
- 10 December 2009
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 13, 1-11
- https://doi.org/10.4204/eptcs.13.1
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 arrivalsKeywords
This publication has 11 references indexed in Scilit:
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case StudyLecture Notes in Computer Science, 2009
- Formal Modeling and Scheduling of Datapaths of Digital Document PrintersLecture Notes in Computer Science, 2008
- Guided Controller Synthesis for Climate Controller Using Uppaal TigaLecture Notes in Computer Science, 2007
- Scheduling with timed automataTheoretical Computer Science, 2006
- Production Scheduling by Reachability Analysis - A Case StudyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Efficient On-the-Fly Algorithms for the Analysis of Timed GamesLecture Notes in Computer Science, 2005
- A Tutorial on UppaalLecture Notes in Computer Science, 2004
- On the synthesis of discrete controllers for timed systemsLecture Notes in Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- Job-Shop Scheduling Theory: What Is Relevant?Informs Journal on Applied Analytics, 1988