Model-driven design-space exploration for embedded systems: the octopus toolset

Authors:
Twan Basten;Emiel Van Benthum;Marc Geilen;Martijn Hendriks;Fred Houben;Georgeta Igna;Frans Reckers;Sebastian De Smet;Lou Somers;Egbert Teeselink;Nikola Trčka;Frits Vaandrager;Jacques Verriet;Marc Voorhoeve;Yang Yang
Affiliations:
Embedded Systems Institute and Eindhoven University of Technology;Eindhoven University of Technology;Eindhoven University of Technology;Radboud University Nijmegen;Radboud University Nijmegen;Radboud University Nijmegen;Embedded Systems Institute;Océ Technologies;Eindhoven University of Technology and Océ Technologies;Eindhoven University of Technology;Eindhoven University of Technology;Radboud University Nijmegen;Embedded Systems Institute;Eindhoven University of Technology;Eindhoven University of Technology
Venue:
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Year:
2010

Citing 15
Cited 2

Hardware-software co-design of embedded systems: the POLIS approach

Hardware-software co-design of embedded systems: the POLIS approach
On Observing Nondeterminism and Concurrency

Proceedings of the 7th Colloquium on Automata, Languages and Programming
Modeling methodology for integrated simulation of embedded systems

ACM Transactions on Modeling and Computer Simulation (TOMACS)
An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures

ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
Methods for evaluating and covering the design space during early design development

Integration, the VLSI Journal
A framework for modular analysis and exploration of heterogeneous embedded systems

Real-Time Systems
UPPAAL 4.0

QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Multi-objective design space exploration of embedded systems

Journal of Embedded Computing - Low-power Embedded Systems
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

MEMOCODE '07 Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
Formal Modeling and Scheduling of Datapaths of Digital Document Printers

FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
PISA: a platform and programming language independent interface for search algorithms

EMO'03 Proceedings of the 2nd international conference on Evolutionary multi-criterion optimization
System modeling and transformational design refinement in ForSyDe [formal system design]

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

A model-driven framework for guided design space exploration

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Model-Driven design-space exploration for software-intensive embedded systems

FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.