Design-Space Exploration through Constraint-Based Model-Transformation

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. Keywords-Model transformation; rule-based; declarative; design-space exploration

• Type: Conference
• Year: 2010
• Where: ECBS
• Authors: Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist
• Keywords: ECBS 2010, Hardware, Possible Design Alternatives, Possible Solution Space, Solution Space