.png){kind=icon}
返回
Execution cost interval refinement in static software analysis
.png){kind=icon}
PRE
AI
DOI：10.1016/S1383-7621(00)00053-9.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Embedded system software timing and power consumption or, in general, execution costs are state- and input-data dependent. Therefore, formal analysis of such dependencies leads to execution cost intervals rather than single values. These intervals depend on system concurrency, execution paths and process states, as well as on target architecture properties. This paper presents an approach to modeling and analysis of process behavior using intervals. Unlike other static software analysis approaches, it considers program properties and the execution context, i.e. the current state and input of a process. The example of an ATM switch component demonstrates significant improvements in analysis precision. (C) 2001 Elsevier Science B.V. All rights reserved.
Keyword:
software timing analysis
real-time systems
embedded system design
design automation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
3.0K
被引数:
4.2K
机构
暂无机构信息
.png){kind=icon}
没有更多内容