TY - GEN
T1 - McAiT - A timing analyzer for multicore real-time software
AU - Lv, Mingsong
AU - Guan, Nan
AU - Deng, Qingxu
AU - Yu, Ge
AU - Yi, Wang
PY - 2011/10/19
Y1 - 2011/10/19
N2 - 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 of on-chip shared resources, such as shared buses and shared caches. McAiT also allows for modeling complex task models, such as synchronization, jitter, etc. High analysis precision is achieved by the McAiT approach, which is demonstrated by extensive experiments. The tool also supports the classical Implicit Path Enumeration Technique (IPET) combined with worst-case shared resource access delay for WCET estimation, to provide the users with the flexibility to trade analysis precision for efficiency.
AB - 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 of on-chip shared resources, such as shared buses and shared caches. McAiT also allows for modeling complex task models, such as synchronization, jitter, etc. High analysis precision is achieved by the McAiT approach, which is demonstrated by extensive experiments. The tool also supports the classical Implicit Path Enumeration Technique (IPET) combined with worst-case shared resource access delay for WCET estimation, to provide the users with the flexibility to trade analysis precision for efficiency.
UR - http://www.scopus.com/inward/record.url?scp=80054054516&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-24372-1_29
DO - 10.1007/978-3-642-24372-1_29
M3 - Conference article published in proceeding or book
SN - 9783642243714
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 414
EP - 417
BT - Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Proceedings
T2 - 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011
Y2 - 11 October 2011 through 14 October 2011
ER -