mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Identifiers
URN: urn:nbn:se:mdh:diva-24444OAI: oai:DiVA.org:mdh-24444DiVA: diva2:694784
Subject / course
Computer Science
Supervisors
Available from: 2014-02-07 Created: 2014-02-07 Last updated: 2014-02-07Bibliographically approved

Open Access in DiVA

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

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 105 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: 104 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf