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
Fully-Automatic Derivation of Exact Program-Flow Constraints for a Tighter Worst-Case Execution-Time Analysis
Department of Computer Science, Umm Al-Qura University, Makkah, Saudi Arabia .
2011 (English)In: Proceedings of the 11th IEEE International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XI), 2011, 200-208 p.Conference paper, Published paper (Refereed)
Abstract [en]

Obtaining tight worst-case execution-time (WCET) estimations of real-time tasks is crucial since overly-pessimistic estimations are deemed impractical. One way of making WCET estimations tighter is to incorporate more program-flow information e.g., context-sensitive loop bounds, infeasible-path and same-path information, etc. In this paper we present and evaluate a completely automatic analysis that dynamically derives program-flow information to use in WCET analysis. Flow information is derived by a combination of test-data generation and parsing of program-execution traces to obtain flow-fact hypotheses which are then fed to a model checker to establish their correctness. Experimental evaluation shows that our method help achieve considerable tightness in WCET estimations at a manageable cost.

Place, publisher, year, edition, pages
2011. 200-208 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-13698DOI: 10.1109/SAMOS.2011.6045462ISBN: 9781457708008 (print)OAI: oai:DiVA.org:mdh-13698DiVA: diva2:466244
Conference
2011 11th International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011; Samos; Greece; 18 July 2011 through 21 July 2011
Available from: 2011-12-15 Created: 2011-12-15 Last updated: 2014-05-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 91 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