Towards semantics-based WCET analysis

Mihail Asǎvoae, Dorel Lucanu, Grigore Roşu

Research output: Contribution to conferencePaper

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 languageEnglish (US)
Pages43-52
Number of pages10
StatePublished - Jan 1 2011
Event11th 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 2011Jul 5 2011

Other

Other11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011
CountryPortugal
CityPorto
Period7/5/117/5/11

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Fingerprint Dive into the research topics of 'Towards semantics-based WCET analysis'. Together they form a unique fingerprint.

  • Cite this

    Asǎvoae, M., Lucanu, D., & Roşu, G. (2011). Towards semantics-based WCET analysis. 43-52. Paper presented at 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.