Parameterized partial orders for modeling embedded system use cases Formal definition and translation to coloured Petri nets
conference paper
Model-driven Design-Space Exploration (DSE) for embedded systems has proven to speed up system design and improve quality. Parameterized Partial Orders (PPOs) are a simple yet powerful conservative extension of classical partial orders. They serve as an intermediate representation in our Octopus toolset, allowing to capture applications from different domains and enabling analysis with various tools. We present PPOs, their translation to Coloured Petri Nets, and their use in DSE for a printer case study.
Topics
TNO Identifier
954261
ISSN
15504808
ISBN
9780769543
Publisher
IEEE
Article nr.
5988913
Source title
Proceedings - International Conference on Application of Concurrency to System Design, ACSD, 11th International Conference on Application of Concurrency to System Design, ACSD 2011, 20 June 2011 through 24 June 2011
Pages
13-18
Files
To receive the publication files, please send an e-mail request to TNO Repository.