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 liangyun@comp.nus.edu.sg to obtain a password.

News: Chronos has been extended with a level 2 Unified Cache Modeling.  Unified Cache Modeling for WCET Analysis and Layout Optimizations, Sudipta Chattopadhyay and Abhik Roychoudhury IEEE Real-time System Symposium (RTSS) 2009.

The extended distribution will be available in 2010.

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