Modeling Task Systems Using Parameterized Partial Orders

Inspired by work on model-based design of printers, the notion of a parametrized partial order (PPO) was introduced recently. PPOs are a simple extension of partial orders, expressive enough to compactly represent large task graphs with repetitive behavior. We present a translation of the PPO subcla...

Full description

Saved in:
Bibliographic Details
Published in2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium pp. 317 - 327
Main Authors Houben, F., Igna, G., Vaandrager, F.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.04.2012
Subjects
Analytical models
Automata
concurrent systems
Cost accounting
Embedded systems
parameterized partial order
Printers
Real time systems
Semantics
timed automata
Online AccessGet full text

Cover

More Information
Summary:Inspired by work on model-based design of printers, the notion of a parametrized partial order (PPO) was introduced recently. PPOs are a simple extension of partial orders, expressive enough to compactly represent large task graphs with repetitive behavior. We present a translation of the PPO subclass to timed automata and prove that the transition system induced by the Uppaal models is isomorphic to the configuration structure of the original PPO. Moreover, we report on a series of experiments which demonstrates that the resulting Uppaal models are more tractable than handcrafted models of the same systems used in earlier case studies.
ISBN:9781467308830
1467308838
ISSN:1545-3421
2642-7346
DOI:10.1109/RTAS.2012.34