Design-Space Exploration through Constraint-Based Model-Transformation

Authors:
Bernhard Schätz;Florian Hölzl;Torbjörn Lundkvist
Affiliations:
-;-;-
Venue:
ECBS '10 Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Year:
2010

Citing 0
Cited 3

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 transformations for migrating legacy models: an industrial case study

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems

Journal of Systems Architecture: the EUROMICRO Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many design steps during system development - like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an exploration of the solution space. Each development step is characterized by design constraints, limiting the possible solution space. By using model transformations based on a declarative, relational approach, these constraints can be formalized as transformation rules guiding a mechanized exploration of possible design alternatives. The approach is demonstrated for the (semi-)automatic, incremental deployment of logical architectures to hardware platforms.