Title page for etd-1223111-120912


[Back to Results | New Search]

URN etd-1223111-120912
Author Wen-Chuan Hao
Author's Email Address No Public.
Statistics This thesis had been viewed 5361 times. Download 344 times.
Department Computer Science and Engineering
Year 2011
Semester 1
Degree Master
Type of Document
Language English
Title Integrating the SWEET WCET Analyzer into ARM-GCC with Extra WCFP Information to Enable WCET-Targeted Compiler Optimizations
Date of Defense 2011-12-06
Page Count 72
Keyword
  • real-time system
  • static analysis
  • TCD
  • ALF
  • SWEET
  • WCET
  • Abstract Finding the worst-case execution time (WCET) on a hard real-time system is extremely important. Only static WCET analysis can give us an upper bound of WCET which guarantees the deadline, however, industrial practice still relies on measurement-based WCET analysis, even for many hard real-time systems; because static analysis tools are not a mature technology.
    We use SWEET (SWEdish Execution Time tool) to provide WCET analysis support for the ARM. SWEET is a static WCET analyzer developed by the Mälardalen Real-Time Research Center (MRTC). We modified ARM-GCC to obtain input files in specific format for SWEET: ALF, TCD, and MAP. Besides, for WCET optimization supporting and over-optimizing issue, we modified SWEET to obtain additional worst-case flow path (WCFP) and the second worst-case information.
    By testing with benchmark files from [1], our modified ARM-GCC can create correct input files for SWEET, and also the modified SWEET can produce additional worst-case information.
    Advisory Committee
  • Chung-Nan Lee - chair
  • Chun-Hung Lin - co-chair
  • Steve W. Haga - advisor
  • Files
  • etd-1223111-120912.pdf
  • Indicate in-campus at 0 year and off-campus access at 5 year.
    Date of Submission 2011-12-23

    [Back to Results | New Search]


    Browse | Search All Available ETDs

    If you have more questions or technical problems, please contact eThesys