Efficient constraint handling during designing reliable automotive real-time systems
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Search-based software engineering: Trends, techniques and applications
ACM Computing Surveys (CSUR)
Empirical answers to fundamental software engineering problems (panel)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |
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.