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

Fingerprint

Semantics
Reduced instruction set computing

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

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.

Towards semantics-based WCET analysis. / Asǎvoae, Mihail; Lucanu, Dorel; Roşu, Grigore.

2011. 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.

Research output: Contribution to conferencePaper

Asǎvoae, M, Lucanu, D & Roşu, G 2011, 'Towards semantics-based WCET analysis', 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, 7/5/11 - 7/5/11 pp. 43-52.
Asǎvoae M, Lucanu D, Roşu G. Towards semantics-based WCET analysis. 2011. 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.
Asǎvoae, Mihail ; Lucanu, Dorel ; Roşu, Grigore. / Towards semantics-based WCET analysis. 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.10 p.
@conference{6d2cf999c6d649de97d92be24a509038,
title = "Towards semantics-based WCET analysis",
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.",
author = "Mihail Asǎvoae and Dorel Lucanu and Grigore Roşu",
year = "2011",
month = "1",
day = "1",
language = "English (US)",
pages = "43--52",
note = "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 ; Conference date: 05-07-2011 Through 05-07-2011",

}

TY - CONF

T1 - Towards semantics-based WCET analysis

AU - Asǎvoae, Mihail

AU - Lucanu, Dorel

AU - Roşu, Grigore

PY - 2011/1/1

Y1 - 2011/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84902322330&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84902322330&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:84902322330

SP - 43

EP - 52

ER -