loading
Documents

Research.Publish.Connect.

Paper

Authors: Thomas Rathfux 1 ; Hermann Kaindl 1 ; Ralph Hoch 1 and Franz Lukasch 2

Affiliations: 1 Institute of Computer Technology, TU Wien and Austria ; 2 Robert Bosch AG, Goellnergasse 15-17, Vienna and Austria

ISBN: 978-989-758-379-7

Keyword(s): Design Space Exploration, Best-first Search, A* Tie-breaker.

Abstract: Using design space exploration (DSE), certain real-world problems can be made solvable through (heuristic) search. A meta-model of the domain and transformation rules defined on top of it specify the search space. For example, we previously (meta-)modeled specific problems in the context of reusing hardware/software interfaces (HSIs) in automotive systems, and defined transformation rules that lead from a model of one specific HSI to another one. Based on that, a minimal number of adaptation steps can be found using best-first A* searches that lead from a given HSI to another one fulfilling new requirements. A closer look revealed that these problems involved a few reconfigurations, but often no reconfiguration is necessary at all. For such trivial problem instances, no real search should be necessary, but in general, it is. After it became clear that a good tie-breaker for the many nodes with the same minimal value of the evaluation function of A* was the key to success, we performed experiments with the tie-breakers recently found best in the literature, all based on a last-in-first-out (LIFO) strategy in contrast to the previous belief that using minimal h-values would be the best tie-breakers. However, our experiments provide empirical evidence in our real-world domain that tie-breakers based on minimal h-values can indeed be (statistically significantly) better than a tie-breaker based on LIFO. In addition, they show that the best tie-breakers for the more difficult problems are also best for the trivial problem instances without reconfigurations, where they really make a difference. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.226.234.20

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Rathfux, T.; Kaindl, H.; Hoch, R. and Lukasch, F. (2019). Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking.In Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-379-7, pages 595-604. DOI: 10.5220/0008119405950604

@conference{icsoft19,
author={Thomas Rathfux. and Hermann Kaindl. and Ralph Hoch. and Franz Lukasch.},
title={Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking},
booktitle={Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2019},
pages={595-604},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008119405950604},
isbn={978-989-758-379-7},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking
SN - 978-989-758-379-7
AU - Rathfux, T.
AU - Kaindl, H.
AU - Hoch, R.
AU - Lukasch, F.
PY - 2019
SP - 595
EP - 604
DO - 10.5220/0008119405950604

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.