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
Source: 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

124
checked on Dec 13, 2017

WEB OF SCIENCETM
Citations

60
checked on Dec 13, 2017

Page view(s)

77
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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