Estimation of the execution time in real-time systems

Estimation of the worst-case execution time (WCET) of programs is an important problem for the development of real-time systems. In particular, the estimation of the WCET is a goal in the verification of aeronautical software specified in DO-178B/C. This is a difficult problem, and its exact solution is often practically impossible. This problem has been studied for many years; as a result, a lot of techniques for various cases have been developed. A survey of the available techniques for estimating the WCET is presented, which can be useful for choosing methods for solving particular problems.

[1]  Michael R. Lowry,et al.  Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation , 2012, IEEE Transactions on Industrial Informatics.

[2]  Raimund Kirner,et al.  Let's get less optimistic in measurement-based timing analysis , 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

[3]  Guillem Bernat,et al.  pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems , 2003 .

[4]  Andreas Ermedahl,et al.  A Modular Tool Architecture for Worst-Case Execution Time Analysis , 2008 .

[5]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[6]  D. Kebbal.  Automatic flow analysis using symbolic execution and path enumeration , 2006, 2006 International Conference on Parallel Processing Workshops (ICPPW'06).

[7]  Subhash Suri,et al.  Finding the k shortest simple paths , 2007, ALENEX.

[8]  Eric V. Denardo,et al.  Flows in Networks , 2011 .

[9]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[10]  Raimund Kirner,et al.  Obstacles in Worst-Case Execution Time Analysis , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[11]  Björn Lisper.  Principles for Value Annotation Languages , 2014, WCET.

[12]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[13]  Raimund Kirner,et al.  Improving the Confidence in Measurement-Based Timing Analysis , 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[14]  Stefan M. Petters,et al.  Measurements or Static Analysis or Both? , 2007, WCET.

[15]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[16]  Bruno Monsuez,et al.  Computing WCET using symbolic execution , 2008 .

[17]  Adam Betts,et al.  Hybrid measurement-based WCET analysis using instrumentation point graphs , 2008 .

[18]  Amine Marref.  Evolutionary Techniques for Parametric WCET Analysis , 2012, WCET.

[19]  Guillem Bernat,et al.  Hybrid measurement-based WCET analysis at the source level using object-level traces , 2010, WCET.

[20]  Gabriel A. Moreno,et al.  Statistical-Based WCET Estimation and Validation , 2009, WCET.

[21]  Albrecht Kadlec,et al.  Beyond loop bounds: comparing annotation languages for worst-case execution time analysis , 2011, Software & Systems Modeling.

[22]  David B. Whalley,et al.  Parametric Timing Analysis , 2001, OM '01.

[23]  Raimund Kirner,et al.  Measurement-Based Timing Analysis , 2008, ISoLA.

[24]  T. Lindvall.  ON A ROUTING PROBLEM , 2004, Probability in the Engineering and Informational Sciences.

[25]  Jean-François Deverge,et al.  Safe measurement-based WCET estimation , 2005, WCET.

[26]  Nicole A. Lazar,et al.  Statistics of Extremes: Theory and Applications , 2005, Technometrics.

[27]  Isabelle Puaut,et al.  A modular and retargetable framework for tree-based WCET analysis , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[28]  Liliana Cucu-Grosjean,et al.  A new way about using statistical analysis of worst-case execution times , 2011, SIGBED.

[29]  Raimund Kirner,et al.  Measurement-based worst-case execution time analysis , 2005, Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05).

[30]  Albrecht Kadlec,et al.  Towards a Common WCET Annotation Language: Essential Ingredients , 2008, WCET.

[31]  Jakob Engblom,et al.  Comparing Different Worst-Case Execution Time Analysis Methods , 2000 .

[32]  Todd M. Austin,et al.  SimpleScalar: An Infrastructure for Computer System Modeling , 2002, Computer.

[33]  Jan Vitek,et al.  A real-time Java virtual machine with applications in avionics , 2007, TECS.

[34]  Liliana Cucu-Grosjean,et al.  A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems , 2011, ETFA2011.

[35]  F. Cazorla,et al.  20th International Workshop on Worst-Case Execution Time Analysis , 2010 .

[36]  JOXAN JAFFAR,et al.  A Symbolic Execution Method for Bounds Analysis , 2009 .

[37]  Pascal Sainrat,et al.  Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis , 2006, WCET.

[38]  Christel Baier,et al.  Principles of Model Checking (Representation and Mind Series) , 2008 .

[39]  Jan Gustafsson,et al.  ALF - A Language for WCET Flow Analysis , 2009, WCET.

[40]  Christel Baier,et al.  Principles of model checking , 2008 .

[41]  Benedikt Huber,et al.  Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis , 2009, WCET.

[42]  Jan Gustafsson,et al.  WCET TOOL CHALLENGE 2011: REPORT , 2011, WCET 2011.

[43]  Ge Yu,et al.  Performance Comparison of Techniques on Static Path Analysis of WCET , 2008, 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

[44]  Björn Lisper,et al.  Fully Automatic, Parametric Worst-Case Execution Time Analysis , 2003, WCET.

[45]  Guillem Bernat,et al.  A New Timing Schema for WCET Analysis , 2004 .

[46]  Guillem Bernat,et al.  Tree-based WCET analysis on instrumentation point graphs , 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

[47]  Raimund Kirner,et al.  Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation , 2011, 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications.

[48]  Hans A. Hansson,et al.  Using measurements to derive the worst-case execution time , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.