Approximation of Worst-case Execution Time for Preemptive ...
Approximation of Worst-case Execution Time for Preemptive ...
Approximation of Worst-case Execution Time for Preemptive ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Results: Real Applications<br />
• Only a few loops had to be manually<br />
bounded<br />
Application<br />
LaserPointer<br />
Hexaglide<br />
Robojet<br />
User annotations<br />
Calls Bounds<br />
5 0 / N.a.<br />
4 2 / 258<br />
17 0 / 207<br />
Code Size<br />
1000 LOC<br />
2200 LOC<br />
1600 LOC<br />
Matteo Corti, ETH Zurich, LCTES 2000 21