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...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
2015
|