Improving the confidence in measurement-based timing analysis

S. Bunte, Michael Zolda, M. Tautschnig, Raimund Kirner

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

16 Citations (Scopus)
58 Downloads (Pure)

Abstract

Measurement-based timing analysis (MBTA) is a hybrid approach that combines execution-time measurements with static program analysis techniques to obtain an estimate of the worst-case execution time (WCET) of a program. The most challenging part of MBTA is test data generation. Choosing an adequate set of test vectors determines safety and efficiency of the overall analysis. So far, there are no feasible criteria that determine how well the worst-case temporal behavior of program parts is covered by a given test-suite. In this paper we introduce a relative safety metric that compares test suites with respect to how well the observed worst-case behavior of program parts is exercised. Using this metric, we empirically show that common code coverage criteria from the domain of functional testing can produce unsafe WCET estimates in the context of MBTA for systems with a processor like the TriCore 1796. Further, we use the relative safety metric to examine coverage criteria that require all feasible pairs of, e.g., basic blocks to be exercised in combination. These are shown to be superior to code coverage criteria from the domain of functional testing, but there is still a chance that an unsafe WCET estimate is derived by MBTA in our experimental setup. Based on the outcomes of our evaluation we introduce and examine Balanced Path Generation, an input data generation technique that combines the advantages of all evaluated coverage criteria and random input data generation.
Original languageEnglish
Title of host publicationProcs 14th IEEE Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Subtitle of host publicationISORC 2011 Art. No. 5753602
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages144-151
ISBN (Print)978-076954368-0
DOIs
Publication statusPublished - 2011

Keywords

  • real-time systems
  • structural code coverage
  • validation
  • worst-case execution time

Fingerprint

Dive into the research topics of 'Improving the confidence in measurement-based timing analysis'. Together they form a unique fingerprint.

Cite this