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

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.

[1]  Isabelle Puaut,et al.  Worst Case Execution Time Analysis for a Processor with Branch Prediction , 2004, Real-Time Systems.

[2]  Peter P. Puschner.  Transforming Execution-Time Boundable Code into Temporally Predictable Code , 2002, DIPES.

[3]  Bernd Kleinjohann,et al.  Design and Analysis of Distributed Embedded Systems , 2002, IFIP — The International Federation for Information Processing.

[4]  Per Stenström,et al.  Timing anomalies in dynamically scheduled microprocessors , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[5]  Peter P. Puschner.  Algorithms for dependable hard real-time systems , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

[6]  Richard M. Stallman,et al.  Using and Porting the GNU Compiler Collection , 2000 .

[7]  Raimund Kirner,et al.  Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis , 2001 .

[8]  Jakob Engblom,et al.  Modeling complex flows for worst-case execution time analysis , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.

[9]  Alan Burns,et al.  Writing temporally predictable code , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).