Abstract
Analyzing execution time in static manner is tedious, due to unbounded external inputs in loops and control flow. In the past decades there has been substantial research undergone for applying user input in various manners. One of them, Parametric WCET (Worst-Case Execution Time) analysis uses parameter to get a user input. It can give detailed formula expressed in the input variables of a program during analysis time. This can help an analyzer to offer more accurate and flexible result. However, there are problems to analyze restricted loop and, to provide simple loop bound. For this reason, it needs a measure to analyze varied structural loops and detailed loop bound applying feasible paths. In this paper we present automatic analysis of parametric static execution time for complex loop contained external input. Our proposed method, using control variable information table, can analyze complex structural loop that was difficult to analyze before and, offers accurate and flexible result better than existing manner.
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
Laplante, P.A.: Real-Time System Design and Analysis. IEEE Press, Los Alamitos (2004)
Wilhelm, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenström, P., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R.: The worst-case execution time problem - overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems(TECS) 7(3), 1–53 (2008)
IEEE Standard Glossary of Software Engineering Terminology, IEEE Std 610.12- (September 1990)
Cousot, P., Cousot, R.: Abstract Interpretation:a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proceedings of ACM Symp. on Principle of Programming Languages, pp. 238–252. ACM Press, NY (1977)
Cousot, P., Cousot, R.: Systematic Design of Program Analysis Frameworks. In: Proceedings of ACM Symp. on Principle of Programming Languages, pp. 269–282. ACM Press, NY (1979)
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A., Monniaux, D., Rival, X.: A Static Analyzer for Large Safety-Critical Software. In: Proceedings of ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pp. 196–207 (2003)
Kim, Y.-k., Shin, W., Kim, T.-w., Chang, C.-h.: A Methodology of Analyzing External Input for Improving Flexibility of Static Execution Time Analysis. In: Proceedings of Annual International Conference on Software Engineering, pp. 67–72 (2010)
Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer-Verlag New York, Inc. Secaucus, NJ (1999)
Kirner, R., Puschner, P.: Discussion of Misconceptions about WCET Analysis. In: Proceedings of WCET Workshop 2003, pp.61-64 (2003)
Tidorum Ltd., Bound-T Time and Stack Analyser, http://www.tidorum.fi/bound-t/
Puschner, P.: Is Worst-Case Execution-Time Analysis a Non-Problem? - Towards New Software and Hardware Architectures. In: Proceedings of Second Euromicro International Workshop on WCET Analysis, Technical Report, York YO10 5DD, United Kingdom, Department of Computer Science, University of York (2002)
Puschner, P.: Algorithms for Dependable Hard Real-Time Systems. In: Proceedings of 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), pp. 26–31 (2003)
Gustafsson, J., Lisper, B., Kirner, R., Puschner, P.: Code Analysis for Temporal Predictability. Real-Time Systems 32(3), 253–277 (2006)
Kirner, R., Knoop, J., Prantl, A., Schordan, M.: WCET Analysis: The Annotation Language Challenge. In: Proceedings of 7th International Workshop on Worst-Case Execution Time Analysis (2007)
Kirner, R., Kadlec, A., Puschner, P., Prantl, A., Schordan, M., Knoop, J.: Towards a Common WCET Annotation Language: Essential Ingredients. In: Proceedings of 8th International Workshop on Worst-Case Execution Time Analysis, WCET (2008)
Bygde, S.: Static Analysis based on Abstract Interpretation and Counting of Elements. Ph.D. thesis Malardalen Univ., Sweden (2010)
Ermedahl, A., Sandberg, C., Gustafsson, J., Bygde, S., Lisper, B.: Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. In: Proceedings of 7th International Workshop on Worst-Case Execution Time Analysis, WCET (2007)
Kim, Y.-k., Shin, W., Kim, T.-w., Chang, C.-h.: Design and Implementation of PS-Block Timing Model Using PS-Block Structue. The KIPS Transactions 13-D(4), 613–618 (2006)
Mälardalen University. WCET project homepage (2007), http://www.mrtc.mdh.se/projects/wcet
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, YK., Kim, DH., Kim, TW., Chang, CH. (2011). Automatic Analysis of Static Execution Time for Complex Loop Contained External Input. In: Zain, J.M., Wan Mohd, W.M.b., El-Qawasmeh, E. (eds) Software Engineering and Computer Systems. ICSECS 2011. Communications in Computer and Information Science, vol 181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22203-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-22203-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22202-3
Online ISBN: 978-3-642-22203-0
eBook Packages: Computer ScienceComputer Science (R0)