McAiT公司 swMATH ID: 9947 软件作者： 吕明松；关，楠；邓清旭；余、葛；易、王 描述： McAiT–多核实时软件的时序分析仪。我们介绍了McAiT，一种用于估计在多核处理器上运行的程序的最坏情况执行时间（WCET）的工具。McAiT的亮点在于，它利用时间自动机来建模程序与其环境交互的计时行为（基于抽象解释的本地缓存分析结果）和广泛的片上共享资源，如共享总线和共享缓存。McAiT还允许建模复杂的任务模型，如同步、抖动等。大量实验表明，McAiT方法实现了高分析精度。该工具还支持经典的隐式路径枚举技术（IPET），并结合最坏情况下的共享资源访问延迟进行WCET估计，为用户提供灵活的权衡分析精度以提高效率。 主页： 网址：http://www.neu-rtes.org/mcait/ 相关软件： 棱镜;重新校准;辛西娅;UPPAAL TIGA公司;CMC公司;速度;CoVer公司;DREAM工具;高超声速;IF-2.0型;税收;TREX公司;兔子;克洛诺斯;模仿者;OTAWA公司;CPA检查器 引用于： 1文件 标准条款 1出版物描述软件 年份 McAiT——一种多核实时软件时序分析仪吕明松；关，楠；邓清旭；余、葛；易、王 2011 3位作者引用 1 朱尔根·丁格尔 1 鲁迪、凯伦 1 Waez，Md Tawhid Bin 连载1篇 1 计算机科学评论 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文