Publications

Timing Analysis

  1. Timing Model Derivation – Static Analysis of Hardware Description Languages
    M. Schlickling
    Saarland University, 2013. [url]  [bib]
  2. Static Cache Analysis for Real-Time Systems – LRU, FIFO, PLRU
    D. Grund
    Saarland University, 2012. [url]  [bib]
  3. Relational Cache Analysis for Static Timing Analysis
    S. Hahn, and D. Grund
    Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS '12), 2012. [doi]  [pdf]  [slides]  [bib]
  4. Improved Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    S. Altmeyer, R. I. Davis, and C. Maiza
    Real-Time Systems, 2012. [doi]  [bib]
  5. Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints
    R. Wilhelm, P. Lucas, O. Parshin, L. Tan, and B. Wachter
    Advances in Real-Time Systems, 2012. [doi]  [bib]
  6. Symbolic Representations in WCET Analysis
    S. Wilhelm
    Saarland University, 2012. [url]  [bib]
  7. Timing Model Derivation – Pipeline Analyzer Generation from Hardware Description Languages
    M. Pister
    Saarland University, 2012. [url]  [bib]
  8. Meeting Real-Time Requirements with Multi-core Processors
    D. Kästner, M. Schlickling, M. Pister, C. Cullmann, G. Gebhard, R. Heckmann, and C. Ferdinand
    Computer Safety, Reliability, and Security, Springer, 2012. [doi]  [bib]
  9. Branch Target Buffers: WCET Analysis Framework and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    Journal of Systems Architecture, 57 (6), 2011. [doi]  [pdf]  [bib]
  10. A Template for Predictability Definitions with Supporting Evidence
    D. Grund, J. Reineke, and R. Wilhelm
    Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011. [doi]  [url]  [slides]  [bib]
  11. Software Structure and WCET Predictability
    G. Gebhard, C. Cullmann, and R. Heckmann
    Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011. [doi]  [url]  [bib]
  12. Precise and Efficient Parametric Path Analysis
    E. Althaus, S. Altmeyer, and R. Naujoks
    LCTES '11: Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, 2011. [bib]
  13. Precise WCET Calculation in Highly Variant Real-Time Systems
    P. Montag, and S. Altmeyer
    Proceedings of IEEE/ACM Design, Automation, and Test in Europe, 2011. [bib]
  14. Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems – Status Report
    S. Altmeyer, and C. Maiza
    Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar, 2011. [bib]
  15. Cache Related Pre-emption Aware Response Time Analysis for Fixed Priority Pre-emptive Systems
    S. Altmeyer, R. I. Davis, and C. Maiza
    Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), 2011. [bib]
  16. Semi-Automatic Derivation of Timing Models for WCET Analysis
    M. Schlickling, and M. Pister
    LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010. [doi]  [bib]
  17. Resilience Analysis: Tightening the CRPD Bound for Set-Associative Caches
    S. Altmeyer, C. Maiza, and J. Reineke
    LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, 2010. [doi]  [pdf]  [slides]  [bib]
  18. Predictability Considerations in the Design of Multi-Core Embedded Systems
    C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, and R. Wilhelm
    Proceedings of Embedded Real Time Software and Systems, 2010. [pdf]  [bib]
  19. Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection
    D. Grund, and J. Reineke
    Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS '10), 2010. [doi]  [pdf]  [slides]  [bib]
  20. Timing Anomalies Reloaded
    G. Gebhard
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
  21. Toward Precise PLRU Cache Analysis
    D. Grund, and J. Reineke
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [pdf]  [pdf]  [slides]  [bib]
  22. Integrating Abstract Caches with Symbolic Pipeline Analysis
    S. Wilhelm, and C. Cullmann
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
  23. On the Use of context Information for Precise Measurement-Based Execution-Time Estimation
    S. Stattelmann, and F. Martin
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [bib]
  24. Precomputing Memory Locations for Parametric Allocations
    J. Herter, and S. Altmeyer
    Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2010. [pdf]  [pdf]  [slides]  [bib]
  25. Influence of the Task Model on the Precision of Scheduling Analysis for Preemptive Systems
    S. Altmeyer, and C. Burguière
    Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar, 2010. [bib]
  26. Predictability Considerations in the Design of Multi-Core Embedded Systems
    C. Cullmann, C. Ferdinand, G. Gebhard, D. Grund, C. Maiza, J. Reineke, B. Triquet, S. Wegener, and R. Wilhelm
    Ingénieurs de l'Automobile, 807, 2010. [bib]
  27. Abstract Interpretation of FIFO Replacement
    D. Grund, and J. Reineke
    Static Analysis, 16th International Symposium, SAS 2009, 2009. [doi]  [pdf]  [slides]  [bib]
  28. Branch Target Buffers: WCET Analysis Framework and Timing Predictability
    D. Grund, J. Reineke, and G. Gebhard
    15th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, 2009. [doi]  [pdf]  [slides]  [bib]
  29. Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems
    R. Wilhelm, D. Grund, J. Reineke, M. Schlickling, M. Pister, and C. Ferdinand
    IEEE Transactions on CAD of Integrated Circuits and Systems, 28 (7), 2009. [doi]  [bib]
  30. Semi-Automatic Derivation of Abstract Processor Models
    M. Pister, M. Schlickling, and M. A. Maksoud
    Technical Report, ES_PASS, 2009. [bib]
  31. Sound and Efficient WCET Analysis in the Presence of Timing Anomalies
    J. Reineke, and R. Sen
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  32. Cache-Related Preemption Delay Computation for Set-Associative Caches—Pitfalls and Solutions
    C. Burguière, J. Reineke, and S. Altmeyer
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  33. Making Dynamic Memory Allocation Static To Support WCET Analyses
    J. Herter, and J. Reineke
    Proceedings of 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009. [pdf]  [slides]  [bib]
  34. A New Notion of Useful Cache Block to Improve the Bounds of Cache-Related Preemption Delay
    S. Altmeyer, and C. Burguière
    Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS '09), 2009. [doi]  [bib]
  35. An Abstraction-Aware Compiler for VHDL Models
    M. A. Maksoud, M. Pister, and M. Schlickling
    Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09), 2009. [doi]  [bib]
  36. Improving Timing Analysis for Matlab Simulink/Stateflow
    L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
    Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009. [pdf]  [bib]
  37. Operating Mode Specific WCET Analysis
    P. Lucas, O. Parshin, and R. Wilhelm
    Proceedings of JRWRTC, 2009. [bib]
  38. Symbolic State Traversal for WCET Analysis
    S. Wilhelm, and B. Wachter
    International Conference on Embedded Software, 2009. [bib]
  39. Designing Predictable Multicore Architectures for Avionics and Automotive Systems
    R. Wilhelm, C. Ferdinand, C. Cullmann, D. Grund, J. Reineke, and B. Triquet
    Workshop on Reconciling Performance with Predictability (RePP), 2009. [pdf]  [bib]
  40. The Worst-case Execution Time Problem—Overview of Methods and Survey of Tools
    R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström
    ACM Transactions on Embedded Computing Systems (TECS), 7 (3), 2008. [doi]  [bib]
  41. Abstract Interpretation with Applications to Timing Validation
    R. Wilhelm, and B. Wachter
    CAV, 2008. [pdf]  [bib]
  42. Sensitivity of Cache Replacement Policies
    J. Reineke, and D. Grund
    Technical Report, SFB/TR 14 AVACS, 2008. [pdf]  [bib]
  43. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008. [pdf]  [slides]  [bib]
  44. WCET Analysis for Preemptive Systems
    S. Altmeyer, and G. Gebhard
    Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2008. [bib]
  45. Parametric Timing Analysis for Complex Architectures
    S. Altmeyer, C. Hümbert, B. Lisper, and R. Wilhelm
    Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), 2008. [bib]
  46. Caches in WCET Analysis
    J. Reineke
    Universität des Saarlandes, 2008. [pdf]  [slides]  [bib]
  47. New Developments in WCET Analysis
    C. Ferdinand, F. Martin, C. Cullmann, M. Schlickling, I. Stein, S. Thesing, and R. Heckmann
    Program Analysis and Compilation. Theory and Practice. Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer Verlag, 2007. [bib]
  48. A Framework for Static Analysis of VHDL Code
    M. Schlickling, and M. Pister
    Proceedings of 7th International Workshop on Worst-case Execution Time (WCET) Analysis, 2007. [ps]  [bib]
  49. Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
    S. Wilhelm, and B. Wachter
    Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis, 2007. [pdf]  [bib]
  50. Timing Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Real-Time Systems, 37 (2), 2007. [doi]  [pdf]  [slides]  [bib]
  51. Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
    J. Eisinger, I. Polian, B. Becker, A. Metzner, S. Thesing, and R. Wilhelm
    9th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2006), 2006. [bib]
  52. A Definition and Classification of Timing Anomalies
    J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
    Proceedings of 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2006. [pdf]  [slides]  [bib]
  53. Determining Bounds on Execution Times
    R. Wilhelm
    Handbook on Embedded Systems, CRC Press, 2006. [bib]
  54. Predictability of Cache Replacement Policies
    J. Reineke, D. Grund, C. Berg, and R. Wilhelm
    Technical Report, SFB/TR 14 AVACS, 2006. [pdf]  [bib]
  55. The Worst Case Execution Time Tool Challenge 2006: The External Test
    L. Tan
    2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), 2006. [url]  [bib]
  56. The Worst Case Execution Time Tool Challenge 2006
    L. Tan
    Technical Report, University Duisburg-Essen, 2006. [pdf]  [bib]
  57. Parametric WCET Analysis, Parameter Framework and Parametric Path Analysis
    S. Altmeyer
    Universität des Saarlandes, 2006. [bib]
  58. PLRU Cache Domino Effects
    C. Berg
    6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006. [url]  [pdf]  [bib]
  59. Timing Analysis and Timing Predictability
    R. Wilhelm
    FMCO 2004, 2005. [bib]
  60. Efficient Analysis of Pipeline Models for WCET Computation
    S. Wilhelm
    Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis, 2005. [bib]
  61. Requirements for and Design of a Processor with Predictable Timing
    C. Berg, J. Engblom, and R. Wilhelm
    Design of Systems with Predictable Behaviour, 2004. [url]  [bib]
  62. Component-Wise Instruction-Cache Behavior Prediction
    A. Rakib, O. Parshin, S. Thesing, and R. Wilhelm
    ATVA 2004, 2004. [bib]
  63. Design for Timing Predictability
    L. Thiele, and R. Wilhelm
    Real-Time Systems, 28, 2004. [bib]
  64. Formal Analysis of Processor Timing Models
    R. Wilhelm
    Model Checking Software, 11th International SPIN Workshop, 2004. [bib]
  65. Why AI + ILP is Good for WCET, But MC Is Not, Nor ILP Alone
    R. Wilhelm
    VMCAI 2004, 2004. [url]  [bib]
  66. The Influence of Processor Architecture on the Design and the Results of WCET Tools
    R. Heckmann, M. Langenbach, S. Thesing, and R. Wilhelm
    Proceedings of the IEEE, 91 (7), 2003. [bib]
  67. An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics
    S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach, R. Wilhelm, and C. Ferdinand
    Proceedings of the International Performance and Dependability Symposium (IPDS), 2003. [bib]
  68. Validierung des Zeitverhaltens von kritischer Echtzeit-Software
    C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, R. Heckmann, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, M. Schmidt, A. A. Evstiougov-Babaev, and R. Wilhelm
    GI Jahrestagung (1), 2003. [pdf]  [bib]
  69. Pipeline Modeling for Timing Analysis
    M. Langenbach, S. Thesing, and R. Heckmann
    Proceedings of the Static Analyses Symposium (SAS), 2002. [bib]
  70. Reliable and Precise WCET Determination for a Real-Life Processor
    C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm
    Embedded Software Workshop, 2001. [bib]
  71. Fast and Precise WCET Prediction by Separate Cache and Path Analyses
    H. Theiling, C. Ferdinand, and R. Wilhelm
    Real-Time Systems, 18 (2/3), 2000. [bib]
  72. Run-Time Guarantees for Real-Time Systems—The USES Approach
    C. Ferdinand, D. Kästner, M. Langenbach, F. Martin, M. Schmidt, J. Schneider, H. Theiling, S. Thesing, and R. Wilhelm
    Proceedings of Informatik '99 – Arbeitstagung Programmiersprachen, 1999. [bib]
  73. Fast and Efficient Cache Behavior Prediction for Real-Time Systems
    C. Ferdinand, and R. Wilhelm
    Real-Time Systems, 17(2/3), 1999. [bib]
  74. Pipeline Behaviour Prediction for Superscalar Processors by Abstract Interpretation
    J. Schneider, and C. Ferdinand
    In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999. [bib]
  75. Pipeline Behaviour Prediction for Superscalar Processors
    J. Schneider, C. Ferdinand, and R. Wilhelm
    Technical Report, FB 14 - Informatik, Universität des Saarlandes, 1999. [bib]
  76. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Science of Computer Programming, 1998. [bib]
  77. On Predicting Data Cache Behaviour for Real-Time Systems
    C. Ferdinand, and R. Wilhelm
    ACM SIGPLAN Workshop 1998 on Languages, Compilers, and Tools for Embedded System, 1998. [bib]
  78. Statische Pipeline-Analyse für Echtzeitsysteme
    J. Schneider
    Technical Report, Universität des Saarlandes, 1998. [bib]
  79. Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis
    H. Theiling, and C. Ferdinand
    Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS), 1998. [bib]
  80. Cache Behavior Prediction for Real-Time Systems
    C. Ferdinand
    Technical Report, Universität des Saarlandes, 1997. [bib]
  81. Applying Compiler Techniques to Cache Behavior Prediction
    C. Ferdinand, F. Martin, and R. Wilhelm
    Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems, 1997. [ps]  [bib]
  82. Cache Behavior Prediction by Abstract Interpretation
    C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt
    Technical Report, Universität des Saarlandes, 1997. [bib]
  83. Cache Behavior Prediction by Abstract Interpretation
    M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm
    Proceedings of SAS'96, Static Analysis Symposium, 1996. [bib]