@inproceedings{b858c86ca4984e8e999b5fbef3a194a5,
title = "Search-Based Temporal Testing in an Embedded Multicore Platform",
abstract = "Multicore processors have now become the norm. However, for many embedded real-time systems their use introduces challenges in verification as their shared components are potential channels for interference. Of particular interest is the determination for each task of its worst case (longest) execution time (WCET). In this paper, we investigate the effectiveness of a variety of metaheuristic search algorithms for dynamically finding extreme execution times of tasks executing on a multicore processor. Over finite search spaces, these are shown to perform considerably better than randomly generated test inputs and the work reveals significant performance differences between the various algorithms.",
keywords = "Genetic algorithms, Hill climbing, Multicore, Simulated annealing, Temporal testing",
author = "Komsan Srivisut and Clark, {John A.} and Paige, {Richard F.}",
year = "2018",
doi = "10.1007/978-3-319-77538-8_53",
language = "English",
isbn = "9783319775371",
volume = "10784 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "794--809",
booktitle = "Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings",
address = "Germany",
note = "21st International Conference on Applications of Evolutionary Computation, EvoApplications 2018 ; Conference date: 04-04-2018 Through 06-04-2018",
}