Publications about Bound-T

Conference papers

"Worst-Case Execution Time Analysis for Digital Signal Processors"
European Signal Processing Conference 2000 (EUSIPCO 2000)
abstract, paper (pdf), poster (pdf)

"Using a Worst-Case Execution Time Tool for Real-Time Verification of the DEBIE Software"
Data Systems in Aerospace 2000 (DASIA 2000)
abstract, paper (pdf)

Workshops

"Computing Time as a Program Variable: A Way Around Infeasible Paths"
8th International Workshop on Worst-Case Execution Time (WCET) Analysis
abstract, paper (pdf), presentation (pdf, OpenOffice source, photo of speaker)

"Analysing Switch-Case Tables by Partial Evaluation"
7th International Workshop on Worst-Case Execution Time (WCET) Analysis
abstract, paper (pdf), presentation (pdf, OpenOffice source)

"Using a WCET Analysis Tool in Real-Time Systems Education"
Euromicro Worst-Case Execution Time Workshop 2005 (WCET 2005)
abstract, paper (pdf), presentation (pdf)

"Challenges in Calculating the WCET of a Complex On-Board Satellite Application"
Euromicro Worst-Case Execution Time Workshop 2003 (WCET 2003)
abstract, paper (pdf)

"Static Execution Time Analysis"
1st Finnish Static Analysis Seminar (FiSAS 2003)
abstract, presentation (pdf)

"Status of the Bound-T WCET tool"
Euromicro Worst-Case Execution Time Workshop 2002 (WCET 2002)
abstract, paper (pdf), presentation (pdf)

"Space Systems Finland and the Bound-T WCET tool"
Euromicro Worst-Case Execution Time Workshop 2001 (WCET 2001)
abstract, presentation (pdf)

Applications

"WCET Challenge 2006: Bound-T Analysis of the Benchmarks"
abstract, report (pdf)

"WCET Analysis of Automatically Generated Code for CC-Systems AB"
abstract, report (pdf)

Related publications

"WCET Tool Challenge 2008: status report"
8th International Workshop on Worst-Case Execution Time (WCET) Analysis
slides (pdf)

"WCET Tool Challenge 2008: Report"
8th International Workshop on Worst-Case Execution Time (WCET) Analysis
abstract, report (pdf)

"The Worst-Case Execution Time Problem - Overview of Methods and Survey of Tools"
ACM Transactions on Embedded Computing Systems, Volume 7, Issue 3 (April 2008), pp. 36:1-36:53.
abstract, Publisher site: ACM TECS

"Compiler Support for WCET Analysis: a Wish List"
Euromicro Worst-Case Execution Time Workshop 2003 (WCET 2003)
abstract, paper (pdf)

Valid HTML 4.01 Transitional