Chronos: A timing analyzer for embedded software

This publication has 14 references indexed in Scilit:

• The worst-case execution-time problem—overview of methods and survey of tools
  ACM Transactions on Embedded Computing Systems, 2008
• Worst-Case Execution Time and Energy Analysis
  Published by Taylor & Francis ,2007
• Modeling out-of-order processors for WCET analysis
  Real-Time Systems, 2006
• Performance analysis of hard-real-time embedded software
  International Journal of Embedded Systems, 2006
• Modeling Control Speculation for Timing Analysis
  Real-Time Systems, 2005
• The influence of processor architecture on the design and the results of WCET tools
  Proceedings of the IEEE, 2003
• Automatic detection and exploitation of branch constraints for timing analysis
  IEEE Transactions on Software Engineering, 2002
• The SimpleScalar tool set, version 2.0
  ACM SIGARCH Computer Architecture News, 1997
• Calculating the maximum execution time of real-time programs
  Real-Time Systems, 1989
• Reasoning about time in higher-level language software
  IEEE Transactions on Software Engineering, 1989