Abstract
This paper proposes the use of formal semantics as a basis for worst-case execution time (WCET) analysis. Specifically, the semantics of a RISC assembly language is formally defined using recent advances in rewrite-based semantics, and then is used to discover and eliminate erroneous execution paths in the context ofWCET analysis. This paper makes two novel contributions: (1) it shows that using a formal semantics of the employed language can be practically feasible in WCET analysis (not only theoretically desirable); and (2) it shows that the discovery and elimination of erroneous execution paths can not only improve the WCET estimation, but can also be achieved using off-the-shelf technology for rewrite-based semantics.
| Original language | English (US) |
|---|---|
| Pages | 43-52 |
| Number of pages | 10 |
| State | Published - 2011 |
| Event | 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011 - Porto, Portugal Duration: Jul 5 2011 → Jul 5 2011 |
Other
| Other | 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011 |
|---|---|
| Country/Territory | Portugal |
| City | Porto |
| Period | 7/5/11 → 7/5/11 |
ASJC Scopus subject areas
- Computer Science Applications
- Software