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
|
| _version_ | 1797058938578927616 |
|---|---|
| author | Wilhelm, S Wachter, B |
| author_facet | Wilhelm, S Wachter, B |
| author_sort | Wilhelm, S |
| collection | OXFORD |
| description | 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 program. Partial state space exploration is not sound. A full exploration can become too expensive. We present a novel symbolic method for WCET analysis based on abstract pipeline models which produces sound results and is scalable in terms of the considered hardware states. |
| first_indexed | 2024-03-06T19:57:08Z |
| format | Conference item |
| id | oxford-uuid:26031b13-7df5-40ce-94a8-5fcaa5110d61 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:57:08Z |
| publishDate | 2015 |
| record_format | dspace |
| spelling | oxford-uuid:26031b13-7df5-40ce-94a8-5fcaa5110d612022-03-26T11:58:34ZSymbolic state traversal for WCET analysisConference itemhttp://purl.org/coar/resource_type/c_5794uuid:26031b13-7df5-40ce-94a8-5fcaa5110d61Department of Computer Science2015Wilhelm, SWachter, BStatic 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 program. Partial state space exploration is not sound. A full exploration can become too expensive. We present a novel symbolic method for WCET analysis based on abstract pipeline models which produces sound results and is scalable in terms of the considered hardware states. |
| spellingShingle | Wilhelm, S Wachter, B Symbolic state traversal for WCET analysis |
| title | Symbolic state traversal for WCET analysis |
| title_full | Symbolic state traversal for WCET analysis |
| title_fullStr | Symbolic state traversal for WCET analysis |
| title_full_unstemmed | Symbolic state traversal for WCET analysis |
| title_short | Symbolic state traversal for WCET analysis |
| title_sort | symbolic state traversal for wcet analysis |
| work_keys_str_mv | AT wilhelms symbolicstatetraversalforwcetanalysis AT wachterb symbolicstatetraversalforwcetanalysis |