Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis

  title={Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis},
  author={Stephen Law and Iain Bate},
  journal={2016 28th Euromicro Conference on Real-Time Systems (ECRTS)},
Establishing Worst Case Execution Times (WCET) using Measurement-Based Timing Analysis (MBTA) is only effective if we have reasonable confidence that we have fed the worst case execution trace into the analysis. Therefore for certification, the quality of these traces is of paramount importance. This paper aims to investigate how search algorithms can be used to automatically, and reliably, generate test cases so that appropriate execution traces are available to support MBTA. The work carried… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 21 extracted citations

An Empirical Study on the Adequacy of MBPTA for Tasks Executed on a Complex Computer Architecture with Linux

2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA) • 2018
View 15 Excerpts
Highly Influenced

Measurement-Based Cache Representativeness on Multipath Programs

2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) • 2018
View 1 Excerpt

Robust Mixed-Criticality Systems

IEEE Transactions on Computers • 2018
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 27 references

Improving the Confidence in Measurement-Based Timing Analysis

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing • 2011
View 4 Excerpts
Highly Influenced

Performance Analysis of Embedded Software Using Implicit Path Enumeration

Workshop on Languages, Compilers, & Tools for Real-Time Systems • 1995
View 14 Excerpts
Highly Influenced

Effective worst-case execution time analysis of DO178C level A software

S. Law, M. Bennett, +4 authors A. Coombes
Ada User Journal, vol. 36, no. 3, pp. 182–186, 2015. 198 • 2015
View 3 Excerpts
Highly Influenced

Measurement-Based Probabilistic Timing Analysis for Multi-path Programs

2012 24th Euromicro Conference on Real-Time Systems • 2012
View 2 Excerpts

DO-178C - Software Considerations in Airborne Systems and Equipment Certification

2011. • 2011
View 1 Excerpt

Similar Papers

Loading similar papers…