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

N. Trcka; M. Voorhoeve; T. Basten

doi:10.1109/ACSD.2011.14

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 proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

48 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 language	English
Title of host publication	Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011)
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society
Pages	13-18
ISBN (Print)	978-1-61284-974-4
DOIs	https://doi.org/10.1109/ACSD.2011.14
Publication status	Published - 2011

Access to Document

10.1109/ACSD.2011.14

Metis256258Final published version, 371 KB

Cite this

Trcka, N., Voorhoeve, M., & Basten, T. (2011). Parameterized partial orders for modeling embedded system use cases : formal definition and translation to coloured Petri nets. In Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011) (pp. 13-18). IEEE Computer Society. https://doi.org/10.1109/ACSD.2011.14

@inproceedings{1e2b9d0eade74319a8741a5569a8a31e,

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

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.",

author = "N. Trcka and M. Voorhoeve and T. Basten",

year = "2011",

doi = "10.1109/ACSD.2011.14",

language = "English",

isbn = "978-1-61284-974-4",

pages = "13--18",

booktitle = "Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011)",

publisher = "IEEE Computer Society",

address = "United States",

}

Trcka, N, Voorhoeve, M & Basten, T 2011, Parameterized partial orders for modeling embedded system use cases : formal definition and translation to coloured Petri nets. in Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011). IEEE Computer Society, Los Alamitos, pp. 13-18. https://doi.org/10.1109/ACSD.2011.14

Parameterized partial orders for modeling embedded system use cases : formal definition and translation to coloured Petri nets. / Trcka, N.; Voorhoeve, M.; Basten, T.
Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011). Los Alamitos: IEEE Computer Society, 2011. p. 13-18.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Trcka, N.

AU - Voorhoeve, M.

AU - Basten, T.

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1109/ACSD.2011.14

DO - 10.1109/ACSD.2011.14

M3 - Conference contribution

SN - 978-1-61284-974-4

SP - 13

EP - 18

BT - Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011)

PB - IEEE Computer Society

CY - Los Alamitos

ER -

Trcka N, Voorhoeve M, Basten T. Parameterized partial orders for modeling embedded system use cases : formal definition and translation to coloured Petri nets. In Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011). Los Alamitos: IEEE Computer Society. 2011. p. 13-18 doi: 10.1109/ACSD.2011.14

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

Abstract

Access to Document

Fingerprint

Cite this