Towards semantics-based WCET analysis

Mihail Ašavoae, Dorel Lucanu, Grigore Rosu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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)
Title of host publication11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held at the 23rd Euromicro Conference on Real-Time Systems
PublisherEUROMICRO
Pages43-52
Number of pages10
ISBN (Print)9781632663153
StatePublished - Jan 1 2011
Event11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held at the 23rd Euromicro Conference on Real-Time Systems - Porto, Portugal
Duration: Jul 5 2011Jul 5 2011

Publication series

Name11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held at the 23rd Euromicro Conference on Real-Time Systems

Other

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

ASJC Scopus subject areas

  • Computer Science Applications

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

Cite this