Bachelor and Master Theses

Title: Testing a Timing Analysis tool: SWEET
Subject: Computer Science
Level: Basic
Description: The main purpose of analysis of timing behavior of real time systems is to find the worst case execution time (WCET). SWEET (Swedish Execution Time Analysis Tool) is a static WCET analysis tool. This thesis mainly focuses on three objectives. Firstly, we have found existing real time programs and analyzed them by SWEET. In addition to this, we have created own large programs (larger than 14KLOC) to find the limits of the program size that can be handled by SWEET and observed the result and the analysis time for these program. Secondly, we have created very useful examples to explain SWEET properties and to show that SWEET is capable to analyze not only real time programs, but also other types of C programs handling array/matrix, string etc. For example, we have created a program to explain how the selection of different merge points affects SWEET analysis. At last, during analysis we have encountered some problems which have lead us to find a number of hidden bugs in SWEET.
Start date: 2013-01-01
Prel. end date: 2013-06-14
Presentation date: 2013-06-14
Student: Bal Krishna Nyaupane balkrishnanyaupane@yahoo.com
Prerequisites: Programming in C, real time systems
IDT supervisor: Jan Gustafsson
jan.gustafsson@mdh.se, +46-21-101462

Rapport och bilagor

Size

Senaste uppdatering

TR1406.docx

75739

2013-05-31, 08:23

TR1406.pdf

673595

2013-06-07, 10:37


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