License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2015.21
URN: urn:nbn:de:0030-drops-52535
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5253/
Go to the corresponding OASIcs Volume Portal

Eslamimehr, Mahdi ; Samimi, Hesam

Timing Analysis of Event-Driven Programs with Directed Testing

pdf-format:
4.pdf (0.4 MB)

Abstract

Accurately estimating the worst-case execution time (WCET) of real-time event-driven software is crucial. For example, NASA's study of unintended acceleration in Toyota vehicles highlights poor support in timing analysis for event-driven code, which could put human life in danger. WCET occurs during the longest possible execution path in a program. Static analysis produces safe but overestimated measurements. Dynamic analysis, on other hand, measures actual execution times of code under a test suite. Its performance depends on the branch coverage, which itself is sensitive to scheduling of events. Thus dynamic analysis often underestimates the WCET. We present a new dynamic approach called event-driven directed testing. Our approach combines aspects of prior random-testing techniques devised for event-driven code with the directed testing method applied to sequential code. The aim is to come up with complex event sequences and choices of parameters for individual events that might result in execution times closer to the true WCET. Our experiments show that, compared to random testing, genetic algorithms, and traditional directed testing, we achieve significantly better branch coverage and longer WCET.

BibTeX - Entry

@InProceedings{eslamimehr_et_al:OASIcs:2015:5253,
  author =	{Mahdi Eslamimehr and Hesam Samimi},
  title =	{{Timing Analysis of Event-Driven Programs with Directed Testing}},
  booktitle =	{15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
  pages =	{21--31},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-95-8},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{47},
  editor =	{Francisco J. Cazorla},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5253},
  URN =		{urn:nbn:de:0030-drops-52535},
  doi =		{10.4230/OASIcs.WCET.2015.21},
  annote =	{Keywords: worst-case execution time, timing analysis, event-driven, directed testing}
}

Keywords: worst-case execution time, timing analysis, event-driven, directed testing
Collection: 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)
Issue Date: 2015
Date of publication: 06.07.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI