Symbolic state traversal for WCET analysis
Static worst-case execution time analysis of real-time tasks is based on abstract models that capture the timing behavior of the processor on which the tasks run. For complex processors, task-level execution time bounds are obtained by a state exploration which involves the abstract model and the pr...
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Conference item |
| Argitaratua: |
2015
|