Scheduling a Steel Plant with Timed Automata

Ansgar Fehnker

doi:10.1109/RTCSA.1999.811256

Scheduling a Steel Plant with Timed Automata

Ansgar Fehnker

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

77 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 language	English
Title of host publication	6th International Conference on Real-Time Computing Systems and Applications 1999
Publisher	IEEE
Pages	280-286
Number of pages	7
ISBN (Print)	0-7695-0306-3
DOIs	https://doi.org/10.1109/RTCSA.1999.811256
Publication status	Published - 1999
Externally published	Yes
Event	6th International Conference on Real-Time Computing Systems and Applications 1999 - Hong Kong, China Duration: 13 Dec 1999 → 15 Dec 1999 Conference number: 6

Conference

Conference	6th International Conference on Real-Time Computing Systems and Applications 1999
Abbreviated title	RTCSA 1999
Country/Territory	China
City	Hong Kong
Period	13/12/99 → 15/12/99

Access to Document

10.1109/RTCSA.1999.811256

Cite this

@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",

address = "United States",

note = "6th International Conference on Real-Time Computing Systems and Applications 1999, RTCSA 1999 ; Conference date: 13-12-1999 Through 15-12-1999",

}

TY - GEN

T1 - Scheduling a Steel Plant with Timed Automata

AU - Fehnker, Ansgar

N1 - Conference code: 6

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

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

Y2 - 13 December 1999 through 15 December 1999

ER -

Scheduling a Steel Plant with Timed Automata

Abstract

Conference

Access to Document

Fingerprint

Cite this