By the same authors

Search-Based Temporal Testing in an Embedded Multicore Platform

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

Standard

Search-Based Temporal Testing in an Embedded Multicore Platform. / Srivisut, Komsan; Clark, John A.; Paige, Richard F.

Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. Vol. 10784 LNCS Springer-Verlag, 2018. p. 794-809 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10784 LNCS).

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

Harvard

Srivisut, K, Clark, JA & Paige, RF 2018, Search-Based Temporal Testing in an Embedded Multicore Platform. in Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. vol. 10784 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10784 LNCS, Springer-Verlag, pp. 794-809, 21st International Conference on Applications of Evolutionary Computation, EvoApplications 2018, parma, Italy, 4/04/18. https://doi.org/10.1007/978-3-319-77538-8_53

APA

Srivisut, K., Clark, J. A., & Paige, R. F. (2018). Search-Based Temporal Testing in an Embedded Multicore Platform. In Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings (Vol. 10784 LNCS, pp. 794-809). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10784 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-319-77538-8_53

Vancouver

Srivisut K, Clark JA, Paige RF. Search-Based Temporal Testing in an Embedded Multicore Platform. In Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. Vol. 10784 LNCS. Springer-Verlag. 2018. p. 794-809. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-77538-8_53

Author

Srivisut, Komsan ; Clark, John A. ; Paige, Richard F. / Search-Based Temporal Testing in an Embedded Multicore Platform. Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. Vol. 10784 LNCS Springer-Verlag, 2018. pp. 794-809 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Bibtex - Download

@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-Verlag",
pages = "794--809",
booktitle = "Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings",
note = "21st International Conference on Applications of Evolutionary Computation, EvoApplications 2018 ; Conference date: 04-04-2018 Through 06-04-2018",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Search-Based Temporal Testing in an Embedded Multicore Platform

AU - Srivisut, Komsan

AU - Clark, John A.

AU - Paige, Richard F.

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Genetic algorithms

KW - Hill climbing

KW - Multicore

KW - Simulated annealing

KW - Temporal testing

UR - http://www.scopus.com/inward/record.url?scp=85044020050&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-77538-8_53

DO - 10.1007/978-3-319-77538-8_53

M3 - Conference contribution

AN - SCOPUS:85044020050

SN - 9783319775371

VL - 10784 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 794

EP - 809

BT - Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings

PB - Springer-Verlag

T2 - 21st International Conference on Applications of Evolutionary Computation, EvoApplications 2018

Y2 - 4 April 2018 through 6 April 2018

ER -