|Author's Email Address
||This thesis had been viewed 5361 times. Download 344 times.|
||Computer Science and Engineering|
|Type of Document
||Integrating the SWEET WCET Analyzer into ARM-GCC with Extra WCFP Information to Enable WCET-Targeted Compiler Optimizations|
|Date of Defense
|| real-time system
||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 , our modified ARM-GCC can create correct input files for SWEET, and also the modified SWEET can produce additional worst-case information.
||Chung-Nan Lee - chair|
Chun-Hung Lin - co-chair
Steve W. Haga - advisor
Indicate in-campus at 0 year and off-campus access at 5 year.|
|Date of Submission