Change search
ReferencesLink to record
Permanent link

Direct link
Testing a Timing Analysis tool: SWEET
Mälardalen University, School of Innovation, Design and Engineering.
2013 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

The main purpose of analysis of timing behavior of real time systems is to verify that the systemmeets its timing requirements. One important part of this analysis is to find the worst caseexecution time (WCET) of the software in the system. SWEET (Swedish Execution TimeAnalysis Tool) is a tool, developed at IDT in Västerås, that calculates the WCET by staticanalysis. The calculated WCET must be safe, i.e., it must never underestimate the real WCET.The tool should be able to handle large programs efficiently. It must also calculate correct resultsfor different types of program constructs.This thesis mainly focuses on verifying these two requirements for SWEET. Firstly, we havecreated large programs (larger than 14 KLOC) to find the limits of the program size that can behandled by SWEET and observed the result and the analysis time for these programs. Secondly,we have created a number of useful examples to test special features of SWEET and to showhow SWEET is capable to analyze different types of C programs, handling arrays/matrices,strings, etc.During analysis we have encountered some problems, which have pointed out a number of bugsin SWEET.

Place, publisher, year, edition, pages
2013. , 40 p.
National Category
Engineering and Technology
URN: urn:nbn:se:mdh:diva-24444OAI: diva2:694784
Subject / course
Computer Science
Available from: 2014-02-07 Created: 2014-02-07 Last updated: 2014-02-07Bibliographically approved

Open Access in DiVA

fulltext(360 kB)75 downloads
File information
File name FULLTEXT01.pdfFile size 360 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 75 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 84 hits
ReferencesLink to record
Permanent link

Direct link