Parameterized partial orders for modeling embedded system use cases : formal definition and translation to coloured Petri nets

N. Trcka, M. Voorhoeve, T. Basten

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
57 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011)
Place of PublicationLos Alamitos
PublisherIEEE Computer Society
Pages13-18
ISBN (Print)978-1-61284-974-4
DOIs
Publication statusPublished - 2011

Fingerprint

Dive into the research topics of 'Parameterized partial orders for modeling embedded system use cases : formal definition and translation to coloured Petri nets'. Together they form a unique fingerprint.

Cite this