首页    期刊浏览 2024年11月28日 星期四
登录注册

文章基本信息

  • 标题:The Heptane Static Worst-Case Execution Time Estimation Tool
  • 本地全文:下载
  • 作者:Damien Hardy ; Benjamin Rouxel ; Isabelle Puaut
  • 期刊名称:OASIcs : OpenAccess Series in Informatics
  • 电子版ISSN:2190-6807
  • 出版年度:2017
  • 卷号:57
  • 页码:1-12
  • DOI:10.4230/OASIcs.WCET.2017.8
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Estimation of worst-case execution times (WCETs) is required to validate the temporal behavior of hard real time systems. Heptane is an open-source software program that estimates upper bounds of execution times on MIPS and ARM v7 architectures, offered to the WCET estimation community to experiment new WCET estimation techniques. The software architecture of Heptane was designed to be as modular and extensible as possible to facilitate the integration of new approaches. This paper is devoted to a description of Heptane, and includes information on the analyses it implements, how to use it and extend it.
  • 关键词:Worst-Case Execution Time Estimation; Static Analysis; WCET Estimation Tool; Implicit Path Enumeration Technique
国家哲学社会科学文献中心版权所有