https://www.mdu.se/

mdu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • 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älardalens högskola, Akademin för innovation, design och teknik.
2011 (Engelska)Ingår i: Proceedings - 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, Newport Beach, CA, 2011, s. 127-135Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Newport Beach, CA, 2011. s. 127-135
Serie
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011
Nyckelord [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
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:mdh:diva-15939DOI: 10.1109/ISORC.2011.25Scopus ID: 2-s2.0-79958001935ISBN: 9780769543680 (tryckt)OAI: oai:DiVA.org:mdh-15939DiVA, id: diva2:562741
Konferens
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
Tillgänglig från: 2012-10-25 Skapad: 2012-10-24 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus
Av organisationen
Akademin för innovation, design och teknik
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 44 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf