A Xml-based Representation of Timing Information for Wcet Analysis

Volume 8, Issue 3, pp 205-214 http://dx.doi.org/10.22436/jmcs.08.03.03

Download PDF

Download XML

• Export citations
  • CITATIONS & REFERENCES
  • EndNote (.ENW)
  • Mendeley, JabRef (.BIB)
  • Papers, Zotero, Reference Manager, RefWorks (.RIS)
  • ARTICLE CITATION
  • EndNote (.ENW)
  • Mendeley, JabRef (.BIB)
  • Papers, Zotero, Reference Manager, RefWorks (.RIS)
  • REFERENCES
  • EndNote (.ENW)
  • Mendeley, JabRef (.BIB)
  • Papers, Zotero, Reference Manager, RefWorks (.RIS)

• 2247 Downloads
• 3811 Views

Authors

Saeed Parsa - Department of Computer Engineering, Iran University of Science and Technology (IUST), Tehran, Iran. Mehdi Sakhaei-nia - Department of Computer Engineering, Iran University of Science and Technology (IUST), Tehran, Iran.

Abstract

The Worst-Case Execution Time (WCET) analysis is an important stage in development process and verification of hard real-time systems. In this article the use of XML as a standard for exchanging timing information amongst timing analysis tools is proposed. Timing information resulted from automatic analysis of programs can be represented in XML format. Considering the type of information required for estimating the worst case execution time of programs, a set of XML tags is offered in this paper. Timing information resulted from analyzing a program by a timing analysis tool could be annotated within the program. The annotated code could be simply applied by other tools for relatively more accurate estimation of the worst case execution times. The paper also clears the way for future studies on using XML-based representation for extraction of information.

Share and Cite

Keywords

• Real-time systems
• WCET
• program representation

MSC

•  68N20
•  68T30
•  68M20

References

• [1] , A Retargetable Compiler for ANSI C website, URL: http://www.cs.princeton.edu/software/lcc/ , ()
  • Google Scholar


• [2] A. Aguiar, G. David, G. Badros , JavaML 2.0:Enriching the Markup Language for Java Source Code, XML: Aplicacoes e Tecnologias Associadas (XATA 2004), Porto, Portugal (2004)
  • Google Scholar


• [3] G. Bernat, A. Colin, S. M. Petters , pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems, Technical Report YCS-2003-353 , Department of Computer Science, University of York, UK (2003)
  • Google Scholar


• [4] K. Chen, S. Malik, D. August , Retargetable static timing analysis for embedded software, Proceedings of the 14th international symposium on Systems synthesis, Canada (2001)
  • View Article
  • Google Scholar


• [5] A. Ermedahl , A Modular Tool Architecture for Worst-Case Execution Time Analysis, PhD dissertation, Dept. of Information Technology, Uppsala Univ. Uppsala, Sweden (2003)
  • Google Scholar


• [6] C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, R. Wilhelm , Reliable and precise WCET determination for a real-life processor, In Proceedings of the First International Workshop on Embedded Software, LNCS 2211, Springer, (2001), 469-485
  • View Article
  • Google Scholar


• [7] J. Gustafsson , Analysing Execution-Time of Object-Oriented Programs using Abstract Interpretation, PhD thesis, Uppsala University, Uppsala, Sweden (2000)
  • Google Scholar


• [8] J. Gustafsson, A. Ermedahl, B. Lisper , Towards a flow analysis for embedded system C programs, In Proc. 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems , (WORDS 2005) (2005)
  • View Article
  • Google Scholar


• [9] J. Gustafsson, A. Ermedahl, B. Lisper, C. Sandberg, L. Källberg , ALF - A Language for WCET Flow Analysis, Proc. Ninth workshop on Worst-Case Execution Time Analysis (WCET'09), Dublin, Ireland (2009)
  • View Article
  • Google Scholar


• [10] C. Healy, M. Sjodin, D. B. Whalley , Bounding Loop Iterations for Timing Analysis, In Proc. IEEE Real-Time Technology and Aplications Symposium, (1998), 12–21
  • View Article
  • Google Scholar


• [11] C. Healy, M. Sjodin, V. Rustagi, D. Whalley, R. Engelen , Supporting timing analysis by automatic bounding of loop iterations, Real-Time Systems, 18(2/3) (2000), 121-148
  • Google Scholar


• [12] R. Holt, A. Winter, A. Schürr , GXL: Towards a Standard Exchange Format, Working Conference on Reverse Engineering, (2000)
  • View Article
  • Google Scholar


• [13] E. Hu, G. Bernat, A. Wellings , A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems, Proc. of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems WORDS-2002, , (2002), 77–84
  • View Article
  • Google Scholar


• [14] D. Kästner, R. Wilhelm, R. Heckmann, M. Schlickling, M. Pister, M. Jersak, K. Richter, C. Ferdinand , Timing Validation of Automotive Software, ISoLA , (2008), 93-107
  • View Article
  • Google Scholar


• [15] K. Keutzer, S. Malik, A. Newton, J. Rabaey, A. Sangiovanni-Vincentelli , System Level Design: Orthogonolization of Concerns and Platform-Based Design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19(12) (2000)
  • View Article
  • Google Scholar


• [16] R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel, WCET Analysis: The Annotation Language Challenge, In Post-Workshop Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis, Pisa, Italy (2007)
  • View Article
  • Google Scholar


• [17] T. Lundqvist , A WCET Analysis Method for Pipelined Microprocessors with Cache Memories, PhD thesis, Dept. of Computer Engineering, Chalmers University , Sweden (2002)
  • Google Scholar


• [18] G. McArthur, J. Mylopoulos, S. Ng , An Extensible Tool for Source Code Representation Using XML, Working Conference on Reverse Engineering, (2002)
  • View Article
  • Google Scholar


• [19] Michael L. Collard, Huzefa H. Kagdi, Jonathan I. Maletic, An XML-based Lightweight C++ Fact Extractor, International Workshop on Program Comprehension, (2003)
  • View Article
  • Google Scholar


• [20] C. Russell, R. Dewar , XML Encoded Reverse Engineering of Java to UML, Technical Report HW-MACS-TR-0007, (2003)
  • Google Scholar


• [21] C. Sandberg, A. Ermedahl, J. Gustafsson, B. Lisper , Faster WCET flow analysis by program slicing, ACM SIGPLAN Notices, v.41 n.7 (2006)
  • View Article
  • Google Scholar


• [22] P. Sandström , A look at Execution Time Analysis and Measuring Interrupt Latency, Master Thesis, Mälardalen University (2000)


• [23] H. Simic, M. Topolnik , Prospects of encoding Java source code in XML, In Proc. of the 7th International Conference on Telecommunications, Zagreb, Croatia (2003)
  • Google Scholar


• [24] V. Suhendra, T. Mitra, A. Roychoudhury, T. Chen , Efficient Detection and Exploitation of Infeasible Paths for Software Timing Analysis, Design Automation Conference, 43rd ACM/IEEE (2006)
  • View Article
  • Google Scholar


• [25] R. Wilhelm, J. Engblohm, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, P. Stenström , The Worst-Case Execution Time Problem - Overview of Methods and Survey of Tools, in ACM Transactions on Embedded Computing Systems, Vol. 7, No. 3 (2008), 1-53.
  • View Article
  • Google Scholar


• [26] P. Lokuciejewski, P. Marwedel , Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems, , Springer (2010)
  • View Article
  • Google Scholar
  • MATH


• [27] S. Bygde, A. Ermedahl, B. Lisper , An efficient algorithm for parametric WCET calculation, Journal of Systems Architecture , Volume 57, Issue 6, 614-624 (2011)
  • View Article
  • Google Scholar


• [28] A. Marref , Evolutionary techniques for parametric wcet analysis, In Tullio Vardanega, editor, WCET, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 23 (2012), 103–115.
  • View Article
  • Google Scholar