wcet_lp
Subproject |
R2 |
Categories |
Model checker for hard & soft real-time systems |
Overview |
Static timing analysis computes an upper bound on the execution time of tasks. To this end, all timing-relevant parameters must be known statically at analysis time. Parametric timing analysis weakens this restriction. Instead of deriving a single numeric bound, it derives a parametric timing formula. The tool wcet_lp implements the parametric path analysis - the main part of the parametric timing analysis - based on a combinatorial approach. |
E. Althaus, S. Altmeyer, and R. Naujoks. Precise and efficient parametric path analysis. In Björn de Sutter, editor, Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, 2011. To appear. |
|
Mälardalen Benchmarks |
|
Download |
Click here for binary & manual. |
Manual |
(see above) |
Status |
Proof of Concept |