Download, Installation, and Usage

Chronos is released under GNU General Public License (GPL). However, the third party tools working together with Chronos (SimpleScalar and lp_solve) have their own licenses. The GPL license implies that you are free to use and modify Chronos source code for your work. 

We only request that anybody using original/modified version of Chronos include the following citation in their articles (you will need a line \usepackage{url} in your main LaTeX file to include this citation).

@article{Chronos-tool,

author = "Xianfeng Li and Yun Liang and Tulika Mitra and Abhik Roychoudury",

title = "Chronos: A Timing Analyzer for Embedded Software",

journal="Science of Computer Programming",

volume="69",

number="1-3",

pages="56-67"

year = "2007",

note = "\url{http://www.comp.nus.edu.sg/~rpembed/chronos}"

}

 Use the links below to download the Chronos toolsets. A password is required for download. Please fill out this form and send to sudiptac@comp.nus.edu.sg to obtain a password.

Chronos 4.1 prototype

This release of Chronos provides a prototype of our work on scope aware data cache analysis. Scope-aware data cache analysis for WCET estimation, Bach Khoa Huynh, Lei Ju, Abhik Roychoudhury. NUS Tech Report 20/10, 2010.

Currently, it only supports scope-aware analysis of L1 data cache. Some features (e.g. infeasible path detection, branch prediction, out-of-order pipeline analysis) are disabled. Please check the README file in the package for more details.

Chronos 4.0 toolset

Chronos has been extended to include a level 2 unified cache. Unified cache modeling for WCET analysis and layout optimizations, Sudipta Chattopadhyay and Abhik Roychoudhury. 30th IEEE Real Time System Symposium (RTSS), December 2009.

The current cache analysis supported by Chronos is as described in the above paper. We have a new technique for address analysis and data cache analysis which can give much tighter WCET estimates in presence of data cache. This is planned for the next release Chronos 4.1. Please revisit this page soon for more updates.

Chronos 3.0 toolset

Chronos has been extended to include infeasible path detection. Efficient Detection and Exploitation of Infeasible Paths for Software Timing Analysis, Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen. 43rd ACM/IEEE Design Automation Conference (DAC), July 2006.

Chronos 2.0 toolset