Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs

  • Janosch Fauster
  • Raimund Kirner
  • Peter Puschner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2855)


To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCET analysis for modern processor is a quite complex problem. Path analysis is required to identify a minimal set of possible execution paths. Further, the modeling of a processor’s internal states for features like caches or pipelines requires to consider possible interferences of these features.

This paper presents a new software engineering paradigm tailored to the development of real-time software. This paradigm results into more predictable programs and is therefore well-suited for the development of real-time systems. New software development tools are necessary to support developers in writing efficient code for this new paradigm. In this paper an editor is described that highlights all code that is not conform with this programming paradigm.


Execution Time Basic Block Execution Path Predictable Code Conditional Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Atanassov, P., Kirner, R., Puschner, P.: Using real hardware to create an accurate timing model for execution-time analysis. In: International Workshop on Real-Time Embedded Systems RTES (in conjunction with 22nd IEEE RTSS 2001), London, UK (December 2001)Google Scholar
  2. 2.
    Colin, A., Puaut, I.: Worst case execution time analysis for a processor with branch prediction. Real-Time Systems 18(2), 249–274 (2000)CrossRefGoogle Scholar
  3. 3.
    Engblom, J., Ermedahl, A.: Modeling complex flows for worst-case execution time analysis. In: Proc. 21st IEEE Real-Time Systems Symposium (RTSS), Orlando, Florida, USA (December 2000)Google Scholar
  4. 4.
    Lundqvist, T., Stenström, P.: Timing analysis in dynamically scheduled mircoprocessors. In: Proc. 20th IEEE Real-Time Systems Symposium (RTSS), pp. 12–21 (December 1999)Google Scholar
  5. 5.
    American National Standards Insitute/International Standards Organisation. ISO/IEC 9899:1999 Programming Languages – C. American National Standards Institute, New York, USA, 2 edition (December 1999)Google Scholar
  6. 6.
    Puschner, P.: Transforming execution-time boundable code into temporally predictable code. In: Kleinjohann, B. (Kane) Kim, K.H., Kleinjohann, L., Rettberg, A. (eds.) Design and Analysis of Distributed Embedded Systems, pp. 163–172. Kluwer Academic Publishers, Dordrecht (2002)Google Scholar
  7. 7.
    Puschner, P.: Algorithms for Dependable Hard Real-Time Systems. In: Proc. 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (January 2003)Google Scholar
  8. 8.
    Puschner, P., Burns, A.: Writing Temporally Predictable Code. In: Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, January 2002, pp. 85–91 (2002)Google Scholar
  9. 9.
    Stallman, R.: Using and Porting the GNU Compiler Collection (GCC). iUniverse. com, Inc., USA, gcc-2.96 (2000) ISBN 0-595-10035-XGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Janosch Fauster
    • 1
  • Raimund Kirner
    • 1
  • Peter Puschner
    • 1
  1. 1.Institut für Technische InformatikTechnische Universität WienWienAustria

Personalised recommendations