Bachelor and Master Theses

Title: Extension of the WCET benchmark program suite
Subject: Computer Science
Level: Advanced
Description: The purpose of Worst-Case Execution Time (WCET) analysis is to find safe upper bounds to the running time of the program. The WCET analysis group at Mälardalen University has collected a set of 30+ benchmark programs to be used for testing and valuation of WCET tools. Now, this benchmark suite must be further developed and extended. For example:

- add larger code sizes constituting full applications (necessary)
- code examples from industry (necessary)
- programs that are targeting testing of program analysis for, e.g., instruction caches, data caches, branch predictions and/or other type of hardware features (necessary)
- code with highly context-sensitive execution behaviour, programs with complex low-level code (like bit operations and shifts), use of dynamic memory, mode-specific behaviour, tasks with multiple roots, tasks wrapped in a loop, and programs using function pointers (optional - maybe these constructs are found in the industrial codes)
- programs with multiple input values (necessary)
- a test harness which calls each benchmark with a predefined (large) set of test vectors (necessary)
- define input limits. i.e., bounds on input variables (necessary)
- worst-case input vector when possible (necessary)
- create binaries for a common processor (ARM7?) and analyze using aiT (optional)
- upgrade the web page with statistics for the programs, like number of functions, function calls, variables, etc. Also include graphs generated by various WCET tools
- work with the WCET benchmark committee and steering group (optional)
- test all benchmarks using SWEET (necessary) and other WCET tools, like aiT and Bound-T (optional)

This work is also connected to the "WCET Competition" which is planned for 2011.

The current benchmarks can be found at
Prel. end date: 2011-05-25
Presentation date: 2012-01-10
Student: Mohammad Nazrul Islam
IDT supervisor: Jan Gustafsson, +46-21-101462
Examinator: Björn Lisper
Björn Lisper, +46-21-151709

Rapport och bilagor


Senaste uppdatering



2012-01-10, 09:52

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