Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets

Autor: Nikola Trčka, Marc Voorhoeve, Twan Basten
Rok vydání: 2011
Předmět:
Zdroj: ACSD
DOI: 10.1109/acsd.2011.14
Popis: 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 tool set, 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.
Databáze: OpenAIRE