Downloads

Introductory papers

• Worst-case execution time prediction by static program analysis (113kB)
• Static memory and timing analysis of embedded systems code (149kB)
• Computing the worst case execution time of an avionics program by abstract interpretation (190kB)
• Design of a WCET-aware C compiler (151kB)
• Execution time analysis and optimisation techniques in the model-based development of a flight control software (1.9MB)
• Real time spent on real time, an introduction to timing analysis in Communications of the ACM, October 2020.

Introductory slides (PDF)

• Astrée — proving the absence of runtime errors (3.1MB)
• aiT — worst-case execution time analyzer (3.2MB)
• StackAnalyzer — proving the absence of stack overflows (3.2MB)

Independent reviews

• WCET Tool Challenge 2006 final report (570kB)
• WCET Tool Challenge 2011 final report (578kB)
• Comparison of WCET tools by University of Stuttgart (609kB)
• Practical experience on integrating and qualifying CompCert (600kB)

Success stories

• TU Munich, Institute of Flight System Dynamics (5MB)
• MTU Friedrichshafen (600kB)

Select publications

• Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software. D. Kästner, C. Mallon, L. Mauborgne, S. Schank, S. Wilhelm, C. Ferdinand. SAE Technical Paper 2023-01-0591, SAE World Congress 2023, Detroit, April 2023.
• Static Data and Control Coupling Analysis. D. Kästner, L. Mauborgne, S. Wilhelm, C. Mallon, C. Ferdinand. In ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, June 2022, Toulouse, France.
• Obtaining DO-178C Certification Credits by Static Program Analysis. D. Kästner, M. Pister, C. Ferdinand. In ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, June 2022, Toulouse, France.
• 
  Testing Implementation Soundness of a WCET Analysis Tool, R. Wilhelm, M. Pister, G. Gebhard, and D. Kästner. In Jian-Jia Chen, Ed., A Journey of Embedded and Cyber-Physical Systems, Springer Open Access, 2021. ISBN 978-3-030-47487-4 (eBook).
• Determining reliable and precise execution time bounds of real-time software, Reinhard Wilhelm. IEEE Computer Society, IT Professional 22/3, May–June 2020.
• High-Precision Sound Analysis to Find Safety and Cybersecurity Defects (Best Paper Award). D. Kästner, L. Mauborgne, S. Wilhelm, C. Ferdinand. In ERTS 2020: Embedded Real Time Software and Systems, 10th European Congress, Jan 2020, Toulouse, France.
• Detecting Spectre Vulnerabilities by Sound Static Analysis. D. Kästner, L. Mauborgne, C. Ferdinand, H. Theiling. In CYBER 2019: Proceedings of the Fourth International Conference on Cyber-Technologies and Cyber-Systems, Porto, 2019.
• Analyze this! Sound static analysis for integration verification of large-scale automotive software. D. Kästner, B. Schmidt, M. Schlund, L. Mauborgne et al. SAE Technical Paper 2019-01-1246, 2019.
• Obtaining Worst-Case Execution Time Bounds on Modern Microprocessors. D. Kästner, M. Pister, S. Wegener, C. Ferdinand. Embedded World Congress, Nuremberg, 2018.
• CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler. D. Kästner, J. Barrho, U. Wünsche, M. Schlickling, B. Schommer, M. Schmidt, C. Ferdinand, X. Leroy, S. Blazy. In ERTS 2018: Embedded Real Time Software and Systems, 9th European Congress, Jan 2018, Toulouse, France.
• Detecting Safety- and Security-Relevant Programming Defects by Sound Static Analysis (Best Paper Award). D. Kästner, L. Mauborgne, C. Ferdinand. In CYBER 2017: Proceedings of the Second International Conference on Cyber-Technologies and Cyber-Systems, Barcelona, 2017. Published by IARIA XPS Press, pp.  26–31, ISSN: 2519-8599, ISBN: 978-1-61208-605-7.
• Benchmarking Static Code Analyzers. J. Herter, D. Kästner, C. Mallon, R. Wilhelm. In SAFECOMP’17: Proceedings of the International Conference on Computer Safety, Reliability and Security, Trento, 2017. Springer LNCS 10488, 197-212, Springer, Heidelberg.
• Finding All Potential Runtime Errors and Data Races in Automotive Software. D. Kästner, A. Miné, L. Mauborgne, X. Rival, J. Feret, P. Cousot, A. Schmidt, H. Hille, S. Wilhelm, C. Ferdinand. SAE Technical Paper 2017-01-0054, SAE World Congress 2017, Detroit, April 2017.
• Finding all potential run-time errors and data races in automotive software. D. Kästner, A. Miné, A. Schmidt, H. Hille et al. SAE Technical Paper 2017-01-0054, 2017.
• Continuous non-intrusive hybrid WCET estimation using waypoint graphs (PDF, 660kB). B. Dreyer, C. Hochberger, A. Lange, S. Wegener and A. Weiss. Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).
• TACLeBench: a benchmark collection to support worst-case execution time research (PDF, 443kB). H. Falk, S. Altmeyer, P. Hellinckx, B. Lisper, W. Puffitsch, C. Rochange, M. Schoeberl, R. Bo Sørensen, P. Waegemann and S. Wegener. Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).
• T-CREST: Time-predictable Multi-Core Architecture for Embedded Systems. M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley, R. Capasso, J. Garside, K. Goossens, S. Goossens, S. Hansen, R. Heckmann, S. Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop, Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha, C. Silva, J. Sparsø, and A. Tocchi. Journal of Systems Architecture, 61/2015, pp. 449–471.

Master’s theses using aiT

• Static WCET Analysis of Task-Oriented Code for Construction Vehicles (1.2MB)
• Applying Static WCET Analysis to Automotive Communication Software (300kB)
• Evaluation of Static Time Analysis for CC Systems (610kB)
• Evaluation of Methods for Dynamic Time Analysis for CC-Systems AB (1.7MB)
• Static Timing Analysis of Real-Time Operating System Code (197kB)
• Evaluating Static WCET Analysis for a Commercial RTOS (2.4MB)

Miscellaneous

• NASA UA report: Technical Support to the National Highway Traffic Safety Administration (NHTSA) on the Reported Toyota Motor Corporation (TMC) Unintended Acceleration (UA) Investigation (PDF, 11.3MB)