Mgr. Pavel Čadek, DiS.

Bachelor's thesis

Analýza počtu iterací cyklů

Loop iteration count analysis
Abstract:
Tato práce poskytuje podrobný popis dosud používaných metod pro automatickou analýzu maximálního počtu iterací cyklů v imperativním kódu. Jmenovitě jsou to techniky abstraktní interpretace a pattern matching. Na konci práce je stručný přehled dostupných nástrojů, které nějakým způsobem provádějí analýzu počtu iterací cyklů.
Abstract:
This thesis describes methods for loop bound analysis, which are used in current WCET (worst-case execution time) analysis tools. Namely it is loop bound analysis by abstract interpretation and analysis by pattern matching. At the end of the thesis there are described four tools for WCET analysis.
 

Keywords

statická analýza analýza počtu iterací cyklů WCET nejdelší doba běhu algoritmu abstraktní interpretace pattern matching SWEET TuBound AiT Bound-T loop bound analysis worst-case execution time
 
Language used: Czech
Date on which the thesis was submitted / produced: 21. 5. 2012
Identifier: https://is.muni.cz/th/yfsy0/

Thesis defence

  • Date of defence: 20. 6. 2012
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: Mgr. Marek Trtík, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution