EFFICIENT TECHNIQUES FOR DESIGN SPACE EXPLORATION AND OPTIMIZATION OF REAL-TIME EMBEDDED SYSTEMS

PhD Thesis Proposal Defence


Title: "EFFICIENT TECHNIQUES FOR DESIGN SPACE EXPLORATION AND OPTIMIZATION OF 
REAL-TIME EMBEDDED SYSTEMS"

by

Mr. Xiuqiang He


Abstract:

Real-time embedded systems are prevalent in our modern society. Design Space 
Exploration (DSE) is the process of searching through the vast design space to 
find a solution that satisfies certain design constraints and/or optimizes 
certain design objectives. The DSE problem generally considers two orthogonal 
issues: 1. How can a single design point be evaluated, 2. how can the design 
space be covered during the exploration process? The search problem is 
typically a NP-hard problem, and exhaustive exploration of the design space is 
usually prohibitive due to the sheer size of the design space. I present my 
current work on this topic on solving DSE problems by applying both exact 
solution techniques, e.g., model-checking, SAT, SMT, as well as stochastic 
techniques, e.g., simulated annealing, evolutionary algorithms. I outline 
future research directions, including hierarchical combination of multiple 
search techniques to improve efficiency and scalability, and DSE for 
dependable, fault-tolerant applications.


Date:     		Monday, 31 August 2009

Time:                   2:00pm - 4:00pm

Venue:                  Room 3501
 			lifts 25-26

Committee Members:      Dr. Jogesh Muppala (Supervisor)
 			Dr. Charles Zhang (Chairperson)
 			Dr. Shing-Chi Cheung
 			Dr. Lin Gu


**** ALL are Welcome ****