Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Control Flow Based Static Execution Time Analysis Using Symbolic Execution
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering.
2022 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

To ensure the correctness of real time systems, it is important to determine the execution time of tasks. The worst case execution time of each task needs to be found in order to determine if the system is schedulable. This thesis aims at bounding the execution time of programs analyzed by KLEE, a symbolic execution engine. This is done by estimating the cycles required on the Cortex-M4 processor. A custom fork of KLEE has been created which outputs additional information about the program under analysis. This information is used by a tool written in Rust which reconstructs the corresponding control flow in optimized assembly code. KLEE analyzes an intermediate representation language, LLVM IR. This representation is used in the compilation process of many programming languages. One of these languages is Rust which has been the primary focus of the tool. Testing has been done on applications written with the RTIC framework. The measured cycles of these applications has been correctly bounded for all test cases.

Place, publisher, year, edition, pages
2022. , p. 40
Keywords [en]
WCET, symbolic execution, LLVM
National Category
Computer Engineering
Identifiers
URN: urn:nbn:se:ltu:diva-92608OAI: oai:DiVA.org:ltu-92608DiVA, id: diva2:1689154
Educational program
Computer Science and Engineering, master's level
Supervisors
Examiners
Available from: 2022-08-25 Created: 2022-08-22 Last updated: 2022-08-25Bibliographically approved

Open Access in DiVA

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

Search in DiVA

By author/editor
Sundell, Isak
By organisation
Department of Computer Science, Electrical and Space Engineering
Computer Engineering

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

urn-nbn

Altmetric score

urn-nbn
Total: 251 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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