Adaptive Scheduling of Data Paths using Uppaal Tiga

Adaptive Scheduling of Data Paths using Uppaal Tiga

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

Full description

Bibliographic Details
Main Authors: Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits Vaandrager
Format: Article
Language:English
Published: Open Publishing Association 2009-12-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/0912.1897v1
id doaj-656531c4047b4c29b242b54e1f8c88f6
record_format Article
spelling doaj-656531c4047b4c29b242b54e1f8c88f62020-11-24T21:16:09ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802009-12-0113Proc. QFM 200911110.4204/EPTCS.13.1Adaptive Scheduling of Data Paths using Uppaal TigaIsraa AlAttiliFred HoubenGeorgeta IgnaSteffen MichelsFeng ZhuFrits VaandragerWe 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 arrivals. http://arxiv.org/pdf/0912.1897v1
collection DOAJ
language English
format Article
sources DOAJ
author Israa AlAttili
Fred Houben
Georgeta Igna
Steffen Michels
Feng Zhu
Frits Vaandrager
spellingShingle Israa AlAttili
Fred Houben
Georgeta Igna
Steffen Michels
Feng Zhu
Frits Vaandrager
Adaptive Scheduling of Data Paths using Uppaal Tiga
Electronic Proceedings in Theoretical Computer Science
author_facet Israa AlAttili
Fred Houben
Georgeta Igna
Steffen Michels
Feng Zhu
Frits Vaandrager
author_sort Israa AlAttili
title Adaptive Scheduling of Data Paths using Uppaal Tiga
title_short Adaptive Scheduling of Data Paths using Uppaal Tiga
title_full Adaptive Scheduling of Data Paths using Uppaal Tiga
title_fullStr Adaptive Scheduling of Data Paths using Uppaal Tiga
title_full_unstemmed Adaptive Scheduling of Data Paths using Uppaal Tiga
title_sort adaptive scheduling of data paths using uppaal tiga
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2009-12-01
description 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 arrivals.
url http://arxiv.org/pdf/0912.1897v1
work_keys_str_mv AT israaalattili adaptiveschedulingofdatapathsusinguppaaltiga
AT fredhouben adaptiveschedulingofdatapathsusinguppaaltiga
AT georgetaigna adaptiveschedulingofdatapathsusinguppaaltiga
AT steffenmichels adaptiveschedulingofdatapathsusinguppaaltiga
AT fengzhu adaptiveschedulingofdatapathsusinguppaaltiga
AT fritsvaandrager adaptiveschedulingofdatapathsusinguppaaltiga
_version_ 1726016825640091648

Similar Items