Downloads

Schneller Einstieg in die statische Analyse

• Worst-case execution time prediction by static program analysis (113 kB)
• Static memory and timing analysis of embedded systems code (149 kB)
• Computing the worst case execution time of an avionics program by abstract interpretation (190 kB)
• WCET Tool Challenge 2006 final report (570 kB)
• Design of a WCET-aware C compiler (151 kB)
• Execution time analysis and optimisation techniques in the model-based development of a flight control software (1,9 MB)

Einführungsfolien (PDF)

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

Unabhängige Rezensionen

• Abschlußbericht WCET Tool Challenge 2006, Universität Duisburg-Essen (570 kB)
• Abschlußbericht WCET Tool Challenge 2011, Universität Kiel (578 kB)
• Vergleich diverser WCET-Tools durch die Universität Stuttgart (609 kB)
• Praktische Erfahrungen der MTU Friedrichshafen
  mit der Integration und Qualifizierung von CompCert, Valex, Astrée und RuleChecker (600 kB)

Ausgewählte Veröffentlichungen

• Determining reliable and precise execution time bounds of real-time software, Reinhard Wilhelm. IEEE Computer Society, IT Professional 22/3, May–June 2020.
• D. Kästner, L. Mauborgne, C. Ferdinand. Detecting Safety- and Security-Relevant Programming Defects by Sound Static Analysis (Best Paper Award). 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.
• D. Kästner, J. Barrho, U. Wünsche, M. Schlickling, B. Schommer, M. Schmidt, C. Ferdinand, X. Leroy, S. Blazy. CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler. In ERTS 2018: Embedded Real Time Software and Systems, 9th European Congress, Jan 2018, Toulouse, France.
• D. Kästner, A. Miné, L. Mauborgne, X. Rival, J. Feret, P. Cousot, A. Schmidt, H. Hille, S. Wilhelm, C. Ferdinand. Finding All Potential Runtime Errors and Data Races in Automotive Software. SAE Technical Paper 2017-01-0054, SAE World Congress 2017, Detroit, April 2017.
• B. Dreyer, C. Hochberger, A. Lange, S. Wegener and A. Weiss. Continuous non-intrusive hybrid WCET estimation using waypoint graphs (PDF, 660kB). Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).
• H. Falk, S. Altmeyer, P. Hellinckx, B. Lisper, W. Puffitsch, C. Rochange, M. Schoeberl, R. Bo Sørensen, P. Waegemann and S. Wegener. TACLeBench: a benchmark collection to support worst-case execution time research (PDF, 443kB). Proceedings of the 16th International Workshop on Worst-Case Execution-Time Analysis (WCET 2016).
• 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. T-CREST: Time-predictable Multi-Core Architecture for Embedded Systems. Journal of Systems Architecture, 61/2015, pp. 449–471.

Diplomarbeiten mit aiT

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

Sonstige

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