Scheduling a Steel Plant with Timed Automata

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

65 Citations (Scopus)

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.
Original languageEnglish
Title of host publication6th International Conference on Real-Time Computing Systems and Applications 1999
PublisherIEEE Computer Society
Pages280-286
Number of pages7
ISBN (Print)0-7695-0306-3
DOIs
Publication statusPublished - 1999
Externally publishedYes
Event6th International Conference on Real-Time Computing Systems and Applications 1999 - Hong Kong, China
Duration: 13 Dec 199915 Dec 1999
Conference number: 6

Conference

Conference6th International Conference on Real-Time Computing Systems and Applications 1999
Abbreviated titleRTCSA 1999
CountryChina
CityHong Kong
Period13/12/9915/12/99

Fingerprint

Iron and steel plants
Model checking
Scheduling

Cite this

Fehnker, A. (1999). Scheduling a Steel Plant with Timed Automata. In 6th International Conference on Real-Time Computing Systems and Applications 1999 (pp. 280-286). IEEE Computer Society. https://doi.org/10.1109/RTCSA.1999.811256
Fehnker, Ansgar. / Scheduling a Steel Plant with Timed Automata. 6th International Conference on Real-Time Computing Systems and Applications 1999. IEEE Computer Society, 1999. pp. 280-286
@inproceedings{78a61beabaea45ebac1bfdcd9cce4297,
title = "Scheduling a Steel Plant with Timed Automata",
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.",
author = "Ansgar Fehnker",
year = "1999",
doi = "10.1109/RTCSA.1999.811256",
language = "English",
isbn = "0-7695-0306-3",
pages = "280--286",
booktitle = "6th International Conference on Real-Time Computing Systems and Applications 1999",
publisher = "IEEE Computer Society",
address = "United States",

}

Fehnker, A 1999, Scheduling a Steel Plant with Timed Automata. in 6th International Conference on Real-Time Computing Systems and Applications 1999. IEEE Computer Society, pp. 280-286, 6th International Conference on Real-Time Computing Systems and Applications 1999, Hong Kong, China, 13/12/99. https://doi.org/10.1109/RTCSA.1999.811256

Scheduling a Steel Plant with Timed Automata. / Fehnker, Ansgar.

6th International Conference on Real-Time Computing Systems and Applications 1999. IEEE Computer Society, 1999. p. 280-286.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Scheduling a Steel Plant with Timed Automata

AU - Fehnker, Ansgar

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

U2 - 10.1109/RTCSA.1999.811256

DO - 10.1109/RTCSA.1999.811256

M3 - Conference contribution

SN - 0-7695-0306-3

SP - 280

EP - 286

BT - 6th International Conference on Real-Time Computing Systems and Applications 1999

PB - IEEE Computer Society

ER -

Fehnker A. Scheduling a Steel Plant with Timed Automata. In 6th International Conference on Real-Time Computing Systems and Applications 1999. IEEE Computer Society. 1999. p. 280-286 https://doi.org/10.1109/RTCSA.1999.811256