By the same authors

Search-Based Temporal Testing in an Embedded Multicore Platform

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Title of host publicationApplications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings
DatePublished - 2018
Pages794-809
Number of pages16
PublisherSpringer-Verlag
Volume10784 LNCS
Original languageEnglish
ISBN (Print)9783319775371

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10784 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

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.

    Research areas

  • Genetic algorithms, Hill climbing, Multicore, Simulated annealing, Temporal testing

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations