Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.scico.2007.01.014
Title: Chronos: A timing analyzer for embedded software
Authors: Li, X.
Liang, Y. 
Mitra, T. 
Roychoudhury, A. 
Keywords: Worst Case Execution Time (WCET) analysis
Issue Date: 2007
Citation: Li, X., Liang, Y., Mitra, T., Roychoudhury, A. (2007). Chronos: A timing analyzer for embedded software. Science of Computer Programming 69 (1-3) : 56-67. ScholarBank@NUS Repository. https://doi.org/10.1016/j.scico.2007.01.014
Abstract: Estimating the Worst Case Execution Time (WCET) of real-time embedded software is an important problem. WCET is defined as the upper bound b on the execution time of a program P on a processor X such that for any input the execution time of P on X is guaranteed to not exceed b. Such WCET estimates are crucial for schedulability analysis of real-time systems. In this paper, we present Chronos, a static analysis tool for generating WCET estimates of C programs. It performs detailed micro-architectural modeling to capture the timing effects of the underlying processor platform. Consequently, we can provide safe but tight WCET estimate of a given C program running on a complex modern processor. Chronos is an open-source distribution specifically suited to the needs of the research community. We support processor models captured by the popular SimpleScalar architectural simulator rather than targeting specific commercial processors. This makes the Chronos flexible, extensible and easily accessible to the researcher. © 2007 Elsevier B.V. All rights reserved.
Source Title: Science of Computer Programming
URI: http://scholarbank.nus.edu.sg/handle/10635/39286
ISSN: 01676423
DOI: 10.1016/j.scico.2007.01.014
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

126
checked on Oct 20, 2018

WEB OF SCIENCETM
Citations

67
checked on Oct 3, 2018

Page view(s)

115
checked on Oct 13, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.