mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Accurate measurement-based WCET analysis in the absence of source and binary code
Department of Computer Science, Umm Al-Qura University, Makkah, Saudi Arabia.
Mälardalen University, School of Innovation, Design and Engineering.
2011 (English)In: Proceedings - 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, CA, 2011, p. 127-135Conference paper, Published paper (Refereed)
Abstract [en]

Estimating the worst-case execution time (WCET) of real-time embedded systems is compulsory for the verification of their correct functioning. Traditionally, the WCET of a program is estimated assuming availability of the program's binary which is disassembled to reconstruct the program, and in some cases its source code to derive useful high-level execution information. However, in certain scenarios the program's owner requires that the binary of the program not be reverse-engineered to protect intellectual property, and in extreme situations, the program's binary is not available for the analysis, in which case it is substituted by program-execution traces. In this paper we show that we can obtain WCET estimates for programs based on runtime-generated or owner-provided time-stamped execution traces and without the need to access the source code or reverse-engineer the binaries of the programs. We show that we can provide very accurate WCET estimations using both integer linear programming (ILP) and constraint logic programming (CLP). Our method generates safe and tight WCET estimations for all the benchmarks used in the evaluation.

Place, publisher, year, edition, pages
Newport Beach, CA, 2011. p. 127-135
Series
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011
Keywords [en]
Black-Box Analysis, Measurements, Real-Time Systems, Testing, Timing Analysis, Worst-Case Execution-Time Analysis, Black boxes, Constraint logic programming, Execution informations, Execution trace, Integer Linear Programming, Measurement-based, Real-time embedded systems, Source codes, Worst-case execution time, Computer programming languages, Embedded systems, Estimation, Inductive logic programming (ILP), Integer programming, Real time systems
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-15939DOI: 10.1109/ISORC.2011.25Scopus ID: 2-s2.0-79958001935ISBN: 9780769543680 (print)OAI: oai:DiVA.org:mdh-15939DiVA, id: diva2:562741
Conference
14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011; Newport Beach, CA;28 March 2011 through 31 March 2011
Available from: 2012-10-25 Created: 2012-10-24 Last updated: 2018-01-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus
By organisation
School of Innovation, Design and Engineering
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 29 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf