Modeling Task Systems Using Parameterized Partial Orders

F. Houben, G. Igna and F.W. Vaandrager. Modeling Task Systems Using Parameterized Partial Orders. International Journal on Software Tools for Technology Transfer 15(3):269-286, Springer-Verlag, June 2013. An earlier version of this paper appeared in M. Di Natale, editor. Proceedings 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012), Beijing China, April 16-19, 2012. IEEE Computer Society, pp 317-327, 2012.


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.


RTAS version (pdf)
STTT version including all proofs (pdf)
STTT version, DOI 10.1007/s10009-012-0264-8
models used in experiments (zip archive)
MSc thesis Fred Houben