OTAWA公司 swMATH ID: 20500 软件作者： 巴拉布里加，克莱门特；Cassé，Hugues；克莉丝汀·罗切（Christine Rochange）；帕斯卡·塞恩拉特 描述： OTAWA：用于自适应WCET分析的开放工具箱。在硬实时系统的设计中，对最坏情况下的执行时间的分析已成为强制性的：为了确定一个任务时间表，以确保最终期限都能满足，绝对有必要知道每个任务的执行时间上限。本文中介绍的OTAWA工具箱设计用于托管WCET分析领域研究所得的算法，以便将它们组合起来计算紧密的WCET估计。它具有一个抽象层，将分析与目标硬件和指令集体系结构解耦，以及一组促进新方法实现的功能。 主页： http://dl.ifip.org/db/conf/seus/seus2010/BallabrigaCRS10.pdf 关键词： 实时;最坏情况下的执行时间;静态分析 相关软件： McAiT公司;CPA检查器;污水处理厂;斯马卡;r-TuBound公司;石溪;吉隆坡机场;有限责任公司;lp_解决;转向器 引用于： 1文件 标准条款 1出版物描述软件 年份 OTAWA：一个用于自适应WCET分析的开放工具箱巴拉布里加，Clément；Cassé，Hugues；克莉丝汀·罗切（Christine Rochange）；帕斯卡·塞恩拉特 2010 3位作者引用 1 詹斯·努普 1 科瓦奇，劳拉·伊尔迪科 1 雅各布兹维奇梅尔 连载1篇 1 符号计算杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文