麦盖特

多核实时软件的时序分析器。我们给出了在多处理器上运行程序的最差执行时间(wcre)。McAiT的亮点在于它利用时间自动机(timed automata)对程序与其环境交互的时序行为(基于抽象解释的局部缓存分析结果)和广泛的片上共享资源(如共享总线和共享缓存)进行建模。McAiT还允许对复杂的任务模型进行建模,例如同步、抖动等。McAiT方法可以获得很高的分析精度,这已经被大量的实验所证明。该工具还支持经典的隐式路径枚举技术(IPET)与最坏情况下共享资源访问延迟相结合的WCET估计,为用户提供了灵活的分析精度与效率的权衡。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考 2篇文章,1标准件)

显示结果1到2,共2个。
按年份排序(引用)

  1. Waez,Md Tawhid Bin;Dingel,Juergen;Rudie,Karen:实时系统开发的时间自动机调查(2013)
  2. 吕明松;关楠;邓清旭;俞,葛;易,王:McAiT——一种多核实时软件时序分析器(2011)ioport公司