A joint project of the Graduate School, Peabody College, and the Jean & Alexander Heard Library

Title page for ETD etd-08022012-013331

Type of Document Dissertation
Author Saxena, Tripti
URN etd-08022012-013331
Title A Generic Framework for Design Space Exploration
Degree PhD
Department Computer Science
Advisory Committee
Advisor Name Title
Dr. Gabor Karsai Committee Chair
Dr. Bharat L. Bhuva Committee Member
Dr. Douglas Schmidt Committee Member
Dr. Jules White Committee Member
Dr. Sandeep Neema Committee Member
  • Design Space Exploration
  • Model-driven development
  • Constraint Programming
Date of Defense 2012-07-20
Availability unrestricted
As the complexity of software systems rises, designers are often faced with the challenge of identifying potential design solutions from a large space of possible design alternatives before the actual implementation. Design space exploration (DSE) is the process of searching through the design space to find feasible and optimal design solutions that additionally satisfy a set of conflicting requirements. Adequate tool support is required to automate the exploration in order to retrieve solutions in a reasonable amount of time.

Over the years, experts have frequently relied on different search techniques (mathematical programming, constraint techniques, heuristics) from artificial intelligence and operations research to automate DSE. Existing approaches automate DSE by integrating general purpose search techniques into domain-specific design environments, thereby restricting the focus to a class of problems from a given domain. However, given the time and effort required to create such an environment, and the power of general purpose search techniques, it would be advantageous to have a single framework that can be used to automate DSE for a wide range of problems from a variety of domains.

In this dissertation, we present a model-based generic framework for automated design space exploration. The framework can be used to model design spaces and automate exploration for a variety of problems from different domains. The two distinctive features of the generic framework are: (a) configurable modeling support, which enables use of domain-specific notations to model the problem, and (b) generic solver support, that enables solving a problem modeled in the framework using different solvers.

  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  Saxena.pdf 6.75 Mb 00:31:13 00:16:03 00:14:03 00:07:01 00:00:35

Browse All Available ETDs by ( Author | Department )

If you have more questions or technical problems, please Contact LITS.