Bachelor and Master Theses

Title: Master Thesis - Developing an ALF interpreter for the SWEET WCET analysis tool
Subject: Computer Science
Level: Advanced
Description: The thesis project will be performed in close collaboration with the WCET research team at MDH.

The Worst-Case Execution Time (WCET) of a program is its longest possible running time on a certain hardware. The WCET is important to estimate well in hard real-time systems, where deadlines must be met. WCET analysis finds such estimates by analyzing the code. An important part of the analysis is flow analysis, where constraints on the possible program flows (like bounds on the number of loop iterations) are found.

SWEET is a tool for Worst-Case Execution Time (WCET) analysis developed at Mälardalen University. ALF is a language able to represent any program in a way that is suitable for flow analyses like those in SWEET (the ALF language is close to assembler). The semantics of ALF is well defined. Given ALF code as input, SWEET can perform a flow analysis of the program.

In this thesis project, an interpreter for ALF will be developed. An interpreter for ALF has many uses: for instance, a program whose input is fixed or whose flow information is not dependent on input values can be analyzed simply by running it in the interpreter while recording appropriate information. Another use is for debugging tools generating ALF.

The thesis project consists of the following:
(1) Learn the ALF language
(2) Obtain information from the research team what features the interpreter should contain.
(3) Design and implement the interpreter in C++ in the existing framework.
(4) Evaluate your implementation and write a thesis report.
Company: MDH, kontaktperson: Christer Sandberg
Prel. end date: 2009-07-15
Presentation date: 2009-07-07
Student: Saranya Natarajan
IDT supervisor: Bjrn Lisper, +46-21-151709
Examinator: Andreas Ermedahl
Andreas Ermedahl, +46-21-107334
Misc: The suggested thesis work is available to non-SE-Master students as well.

Rapport och bilagor


Senaste uppdatering



2009-09-11, 11:37

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2018.05.24