Sciweavers

WCET
2003
13 years 5 months ago
Challenges in Calculating the WCET of a Complex On-board Satellite Application
Calculating the WCET of mission-critical satellite applications is a challenging issue. The European Space Agency is currently undertaking the CryoSat mission, consisting of a rad...
Manuel Rodríguez, Nuno Silva, João E...
WCET
2003
13 years 5 months ago
Fully Automatic, Parametric Worst-Case Execution Time Analysis
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
Björn Lisper