Model-Driven design-space exploration for software-intensive embedded systems

Authors:
Twan Basten;Martijn Hendriks;Lou Somers;Nikola Trčka
Affiliations:
Embedded Systems Institute, Eindhoven, The Netherlands,Eindhoven University of Technology, Eindhoven, The Netherlands;Embedded Systems Institute, Eindhoven, The Netherlands;Eindhoven University of Technology, Eindhoven, The Netherlands,Océ Technologies B.V., Venlo, The Netherlands;United Technologies Research Center, East Hartford, CT
Venue:
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Year:
2012

Citing 4
Cited 0

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

Hardware-software co-design of embedded systems: the POLIS approach
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
Model-driven design-space exploration for embedded systems: the octopus toolset

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Pareto Analysis with Uncertainty

EUC '11 Proceedings of the 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software plays an increasingly important role in modern embedded systems, leading to a rapid increase in design complexity. Model-driven exploration of design alternatives leads to shorter, more predictable development times and better controlled product quality.