This translation is older than the original page and might be outdated. See what has changed.

Static Analysis of Embedded Systems Software


This seminar will deal with different static analysis approaches for embedded systems software. The topics are:

  • Static analysis
    • Data flow analysis
    • Control flow analysis
  • Abstract interpretation
  • Shape analysis
  • Worst case execution time

A portion of the topics will deal with the according basics while other topics will deal with the application of these approaches.


The seminar is a block seminar. The first meeting will be either at the end of the semester holidays or at the beginning of the winter semester. The presentations will take place in February 2009 on two consecutive dates. There will mandatory deadlines for the papers and slides inbetween.


  • Participation on all dates
  • Getting familiar with the topic on your own
  • Written elaboration of 10-15 pages / person using our template
  • Presentation of 30 minutes (strict) / person
  • Deadlines are strict (you can mail the files. You won't get the Schein if you miss any of the deadlines more than once!)
  • The paper and slides must be composed by you only. All sources and aids must be specified and quotes must be marked.


  • Template for the written elaboration


This website uses cookies. By using the website, you agree with storing cookies on your computer. If you do not agree please leave the website.More information about cookies

RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany