Model-driven design-space exploration for embedded systems: the Octopus Toolset

T. Basten, E. van Benthum, M.C.W. Geilen, M. Hendriks, Fred Houben, G. Igna, F.J. Reckers, S. Smet, de, L.J.A.M. Somers, Egbert Teeselink, N. Trcka, F.W. Vaandrager, J.H. Verriet, M. Voorhoeve, Y. Yang

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

33 Citations (Scopus)
2 Downloads (Pure)


The complexity of today’s embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever possible. Only then, development trajectories become manageable, with high-quality, cost-effective results. This paper introduces the Octopus Design-Space Exploration (DSE) toolset that aims to leverage existing modeling, analysis, and DSE tools to support model-driven DSE for embedded systems. The current toolset integrates Uppaal and CPN Tools, and is centered around the DSE Intermediate Representation (DSEIR) that is specifically designed to support DSE. The toolset architecture allows: (i) easy reuse of models between different tools, while providing model consistency, and the combined use of these tools in DSE; (ii) domain-specific abstractions to support different application domains and easy reuse of tools across domains.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
EditorsT. Margaria, B. Steffen
Place of PublicationBerlin
ISBN (Print)978-3-643-16557-3
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Model-driven design-space exploration for embedded systems: the Octopus Toolset'. Together they form a unique fingerprint.

Cite this