Combining Simulation and Formal Methods for System-Level Performance Analysis
Combining Simulation and Formal Methods for System-Level Performance Analysis
复制标题
结合仿真和形式化方法进行系统级性能分析
DOI：
10.1109/date.2006.244109
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
L. Thiele
中科院分区：
文献类型：
--
作者：
S. Künzli;Francesco Poletti;L. Benini;L. Thiele
最近对嵌入式系统性能分析的研究表明了形式化组合模型和方法的趋势。这些组合方法可用于通过组合各个组件的形式分析模型来确定嵌入式系统的性能。如果不存在具有所需精度的正式组件模型，则使用基于仿真的方法进行系统级性能分析。仿真运行时间通常较长，从而催生了本文中描述的新方法：将分析方法与基于仿真的方法相结合以加速仿真。我们描述了仿真模型如何与形式分析框架结合，指定这种组合所需的接口，并使用案例研究展示该方法的适用性
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the performance of embedded systems by composing formal analytical models of the individual components. In case there exist no formal component models with the required precision, simulation-based approaches are used for system-level performance analysis. The often high runtimes of simulation runs lead to the new approach described in this paper: Analytical methods are combined with simulation-based approaches to speed up simulation. We describe how the simulation models can be coupled with the formal analysis framework, specify the interfaces needed for such a combination and show the applicability of the approach using a case study