Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints

Hard real-time embedded systems are subject to stringent timing constraints. The proof of their satisfaction requires upper bounds on the worst-case execution time (WCET) of tasks. This requires taking into account properties of the software, such as potential control flow, loop bounds and maximal recursion depths, as well as of the hardware, such as the state of caches or pipeline units. Therefore it is extremely hard to derive sound upper bounds by measurement-based approaches [30].

[1]  Sharad Malik,et al.  Performance analysis of embedded software using implicit path enumeration , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[2]  Jan Reineke,et al.  Caches in WCET Analysis: Predictability - Competitiveness - Sensitivity , 2008 .

[3]  Jan Gustafsson,et al.  Applying static WCET analysis to automotive communication software , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[4]  Henrik Theiling.  ILP-Based Interprocedural Path Analysis , 2002, EMSOFT.

[5]  Jakob Engblom,et al.  Processor Pipelines and Their Properties for Static WCET Analysis , 2002, EMSOFT.

[6]  Y. N. Srikant,et al.  Executable Analysis using Abstract Interpretation with Circular Linear Progressions , 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).

[7]  Reinhold Heckmann,et al.  Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables , 2008 .

[8]  Stephan Thesing,et al.  Safe and precise WCET determination by abstract interpretation of pipeline models , 2004 .

[9]  Thomas Nolte,et al.  Clustering Worst-Case Execution Times for Software Components , 2007, WCET.

[10]  Christian Ferdinand,et al.  Cache behavior prediction for real-time systems , 1997 .

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

[12]  Reinhard Wilhelm,et al.  The influence of processor architecture on the design and the results of WCET tools , 2003, Proceedings of the IEEE.

[13]  Jakob Engblom,et al.  Processor Pipelines and Static Worst-Case Execution Time Analysis , 2002 .

[14]  Reinhard Wilhelm,et al.  Towards Model-Driven Development of Hard Real-Time Systems , 2006, ASWSD.

[15]  Reinhard Wilhelm,et al.  Timing Validation of Automotive Software , 2008, ISoLA.

[16]  David B. Whalley,et al.  Supporting Timing Analysis by Automatic Bounding of Loop Iterations , 2000, Real-Time Systems.

[17]  Jan Gustafsson,et al.  Deriving the Worst-Case Execution Time Input Values , 2009, 2009 21st Euromicro Conference on Real-Time Systems.

[18]  K. Chidananda Gowda,et al.  Clustering of symbolic objects using gravitational approach , 1999, IEEE Trans. Syst. Man Cybern. Part B.

[19]  Henrik Theiling,et al.  Reliable and Precise WCET Determination for a Real-Life Processor , 2001, EMSOFT.

[20]  Reinhard Wilhelm,et al.  Efficient and Precise Cache Behavior Prediction for Real-Time Systems , 1999, Real-Time Systems.

[21]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[22]  Jan Gustafsson,et al.  Deriving Annotations for Tight Calculation of Execution Time , 1997, Euro-Par.

[23]  Henrik Theiling,et al.  Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis , 2002 .

[24]  Oliver Rogalla,et al.  Extracting, specifying and predicting software system properties in component based real-time embedded software development , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

[25]  Roland Lang,et al.  Fully automatic worst-case execution time analysis for MATLAB/Simulink models , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[26]  Sander Stuijk,et al.  Automatic scenario detection for improved WCET estimation , 2005, Proceedings. 42nd Design Automation Conference, 2005..

[27]  Xavier Rival,et al.  Trace Partitioning in Abstract Interpretation Based Static Analyzers , 2005, ESOP.

[28]  Paulo Sergio Martins Pedro.  Schedulability of mode changes in flexible real-time distributed systems , 2000 .

[29]  Martin Herrmann,et al.  Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[30]  AbsInt Angewandte,et al.  Fast and Precise WCET Prediction by Separated Cache and Path Analyses , 1999 .

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

[32]  Ji Wang,et al.  Automated Worst-Case Execution Time Analysis Based on Program Modes , 2009, Comput. J..

[33]  Samarjit Chakraborty,et al.  Performance debugging of Esterel specifications , 2008, CODES+ISSS '08.

[34]  Lili Tan.  The worst-case execution time tool challenge 2006 , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[35]  Reinhard Wilhelm,et al.  Improving Timing Analysis for Matlab Simulink/Stateflow , 2009, ACES-MB@MoDELS.

[36]  David B. Whalley,et al.  Integrating the timing analysis of pipelining and instruction caching , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[37]  Reinhard Wilhelm,et al.  Operating Mode Specific WCET Analysis , 2013 .

[38]  Mary Lou Soffa,et al.  Automated test data generation using an iterative relaxation method , 1998, SIGSOFT '98/FSE-6.

[39]  Reinhard Wilhelm,et al.  An abstract interpretation-based timing validation of hard real-time avionics software , 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..

[40]  Florian Martin,et al.  Analysis of path exclusion at the machine code level , 2007, WCET.

[41]  Jan Gustafsson,et al.  Towards a flow analysis for embedded system C programs , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.