Scheduling a Steel Plant with Timed Automata (1999)
| Venue: | In Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA’99). IEEE Computer |
| Citations: | 51 - 5 self |
BibTeX
@INPROCEEDINGS{Fehnker99schedulinga,
author = {Ansgar Fehnker},
title = {Scheduling a Steel Plant with Timed Automata},
booktitle = {In Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA’99). IEEE Computer},
year = {1999},
pages = {280--286},
publisher = {Society Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using UPPAAL, a model checker for networks of timed automata. We show how to translate schedulability to reachability, enabling us to use UPPAAL's model checking algorithms. 1. Introduction This report is a result of the participation of CSI Nijmegen in the European Union Esprit long term research project Verification of Hybrid Systems (http://wwwverimag. imag.fr//VHS/). The Esprit program was set up to improve the take-up of modern information technologies in industry. The VHS project in particular is meant to stimulate research in the area of hybrid systems. These systems typically consist of digital components in a continuous environment. The correct behavior depends strongly on the interaction between the digital components, say the controller, and the controlled process. Hybrid systems are important in numero...
