McAiT swMATH ID: 9947 Software Authors: Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge; Yi, Wang Description: McAiT – A timing analyzer for multicore real-time software. 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. Homepage: http://www.neu-rtes.org/mcait/ Related Software: OTAWA; CPAchecker; REDLIB; Synthia; UPPAAL TIGA; CMC; Tempo; CoVer; DREAM Tool; HyTech; IF-2.0; TAXYS; TREX; Rabbit; Kronos; PRISM; IMITATOR Cited in: 1 Publication Standard Articles 1 Publication describing the Software Year McAiT -- a timing analyzer for multicore real-time software Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge; Yi, Wang 2011 Cited by 3 Authors 1 Dingel, Juergen 1 Rudie, Karen 1 Waez, Md Tawhid Bin Cited in 1 Serial 1 Computer Science Review Cited in 1 Field 1 Computer science (68-XX) Citations by Year