An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms

• Published in: 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) pp. 53 - 62
• Main Authors: Poulding, S., Emberson, P., Bate, I., Clark, J.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.11.2007
• Subjects: Algorithm design and analysis; Computer science; Cost function; Design engineering; Design optimization; Electronic mail; Modeling; Simulated annealing; Systems engineering and theory; Testing
• ISBN: 9780769530437; 0769530435
• ISSN: 1530-2059
• DOI: 10.1109/HASE.2007.27

Many problems in high assurance systems design are only tractable using computationally expensive search algorithms. For these algorithms to be useful, designers must be provided with guidance as to how to configure the algorithms appropriately. This paper presents an experimental methodology for deriving such guidance that remains efficient when the algorithm requires substantial computing resources or takes a long time to find solutions. The methodology is shown to be effective on a highly-constrained task allocation algorithm that provides design solutions for high integrity systems. Using the methodology, an algorithm configuration is derived in a matter of days that significantly outperforms one resulting from months of 'trial-and-error' optimisation.