McAiT - A Timing Analyzer for Multicore Real-Time Software

Abstract

We present McAiT, a tool for estimating the Worst-Case Execution Times (WCET) of programs running on multicore processors. The highlight of McAiT is that it leverages timed automata to model both the timing behaviors of the programs’ interaction with its environment (based on the results of local cache analysis by abstract interpretation) and a broad range… (More)
DOI: 10.1007/978-3-642-24372-1_29

Topics

2 Figures and Tables

Statistics

02040201520162017
Citations per Year

Citation Velocity: 6

Averaging 6 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Lv2011McAiTA, title={McAiT - A Timing Analyzer for Multicore Real-Time Software}, author={Mingsong Lv and Nan Guan and Qingxu Deng and Ge Yu and Wang Yi}, booktitle={ATVA}, year={2011} }