Abstract
Pareto analysis is a broadly applicable method to model and analyze tradeoffs in multi-objective optimization problems. The set of Pareto optimal solutions is guaranteed to contain the best solution for any arbitrary cost function or selection procedure. This work introduces a method to explicitly take uncertainty into account during Pareto analysis. A solution is not modeled by a single point in the solution space, but rather by a set of such points. This is useful in settings with much uncertainty, such as during model-based design space exploration for embedded systems. A bounding-box abstraction is introduced as a finite representation of Pareto optimal solutions under uncertainty. It is shown that the set of Pareto optimal solutions in the proposed approach still captures exactly the potentially best solutions for any cost function as well as any way of reducing the amount of uncertainty. During model-based design space exploration, for instance, design and implementation choices that are made during the development process reduce the amount of uncertainty. Steps in such a refinement trajectory can render previously Pareto optimal solutions sub optimal. The presented results provide a way to ensure that early selections in the refinement process remain valid.
Original language | English |
---|---|
Title of host publication | Proceedings of the 9th IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2011), 24-26 October 2011, Melbourne, Australia |
Place of Publication | Los Alamitos |
Publisher | IEEE Computer Society |
Pages | 189-196 |
ISBN (Print) | 978-1-4577-1822-9 |
DOIs | |
Publication status | Published - 2011 |
Event | conference; EUC 2011; 2011-10-24; 2011-10-26 - Duration: 24 Oct 2011 → 26 Oct 2011 |
Conference
Conference | conference; EUC 2011; 2011-10-24; 2011-10-26 |
---|---|
Period | 24/10/11 → 26/10/11 |
Other | EUC 2011 |