Abstract
Tightness in WCET estimation is highly desirable for an efficient utilisation of resources. In order to obtain accurate WCET values, more program execution-history must be accounted for. In this paper we propose the use of Predicated WCET Analysis with constraint logic-programming to model context sensitive execution-times of program segments.
Our method achieves considerable tightness in comparison to traditional calculation methods that exceeded 20% in some cases during evaluation. Computing the WCET of programs modeled using our approach reveals a great ease of expressing execution-time dependencies and manageable WCET-calculation time-complexity.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Schrijver, A.: Theory of Linear and Integer Programming. John Wiley & Sons, Chichester (1986)
Apt, K.R., Wallace, M.: Constraint Logic Programming using Eclipse. Cambridge University Press, New York (2007)
Bate, I., Reutemann, R.: Efficient integration of bimodal branch prediction and pipeline analysis. In: Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 39–44 (2005)
Bernat, G.: Specification and Analysis of Weakly-Hard Real-Time Systems. PhD thesis, Departament de Ciències Matemàtiques i Informàtica, Universitat de les Illes Balears (January 1998)
Bernat, G., Burns, A.: An approach to symbolic worst-case execution time analysis. In: Proceedings of the 25th Workshop on Real-Time Programming, Palma, Spain (June 2000)
Bernat, G., Newby, M., Burns, A.: Probabilistic timing analysis: an approach using copulas. Journal of Embedded Computing 1(2), 179–194 (2005)
Betts, A., Bernat, G.: Tree-based WCET analysis on instrumentation point graphs. In: 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC 2006), Kolon Hotel, Gyeongju, Korea (April 2006)
Burguiere, C., Rochange, C.: A contribution to branch prediction modeling in WCET analysis. In: Proceed. of the conf. on Design, Automation and Test in Europe, Washington, USA, pp. 612–617. IEEE Computer Society Press, Los Alamitos (2005)
Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX. Addison-Wesley Longman Publishing Co., Inc., Boston (2001)
Colin, A., Puaut, I.: Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, Special issue on worst-case execution time analysis 18(2), 249–274 (2000)
Deverge, J.F., Puaut, I.: Safe measurement-based WCET estimation. In: Proceedings of the 5th International Workshop on Worst Case Execution Time Analysis, Palma de Mallorca, Spain, July 2005, pp. 13–16 (2005)
Ermedahl, A.: A Modular Tool Architecture for Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, Sweden (August 2003)
Healy, C.A., Arnold, R.D., Mueller, F., Harmon, M.G., Walley, D.B.: Bounding pipeline and instruction cache performance. IEEE Transactions on Computers 48(1), 53–70 (1999)
Hugues, C., Rochange, C., Sainrat, P.: On the sensitivity of WCET estimates to the variability of basic blocks execution times. In: International Conference on Real-Time and Network Systems (RTNS), Nancy, France, March 2007, pp. 85–92. INPL (2007)
Li, X., Mitra, T., Roychoudhury, A.: Accurate timing analysis by modeling caches, speculation and their interaction. In: DAC 2003: Proceedings of the 40th conference on Design automation, pp. 466–471. ACM Press, New York (2003)
Li, X., Mitra, T., Roychoudhury, A.: Modeling control speculation for timing analysis. Real-Time Systems 29(1), 27–58 (2005)
Steven Li, Y.T., Malik, S.: Performance analysis of embedded software using implicit path enumeration. In: LCTES 1995: Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems, pp. 88–98. ACM Press, New York (1995)
Steven Li, Y.T., Malik, S., Wolfe, A.: Efficient microarchitecture modeling and path analysis for real-time software. In: IEEE Real-Time Systems Symposium, pp. 298–307 (1995)
Lundqvist, T., Stenström, P.: Timing anomalies in dynamically scheduled microprocessors. In: IEEE Real-Time Systems Symposium, pp. 12–21 (1999)
Marref, A., Bernat, G.: Towards Predicated WCET Analysis . In: 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis (July 2008)
Mitra, T., Roychoudhury, A.: A framework to model branch prediction for worst case execution time analysis. In: Proceedings of the 2nd Workshop on WCET Analysis (October 2002)
Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, San Francisco (1997)
Puschner, P., Schedl, A.V.: Computing maximum task execution times - A graph-based approach. Real-Time Systems 13(1), 67–91 (1997)
Mälardalen WCET research group. WCET project/benchmarks (January 2008), http://www.mrtc.mdh.se/projects/wcet/benchmarks.html
Rochange, C., Sainrat, P.: A Context-Parameterized Model for Static Analysis of Execution Times. Transactions on High-Performance Embedded Architecture and Compilation 2(3), 109–128 (2007)
Stappert, F., Altenbernd, P.: Complete worst-case execution time analysis of straight-line hard real-time programs. Journal of Systems Architecture 46(4), 339–355 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marref, A., Bernat, G. (2009). Predicated Worst-Case Execution-Time Analysis. In: Kordon, F., Kermarrec, Y. (eds) Reliable Software Technologies – Ada-Europe 2009. Ada-Europe 2009. Lecture Notes in Computer Science, vol 5570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01924-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-01924-1_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01923-4
Online ISBN: 978-3-642-01924-1
eBook Packages: Computer ScienceComputer Science (R0)