WCET 工具基于测量、静态分析或两者混合的组合之一。 基于测量的 WCET 工具 这些工具测量代码的短节段在目标环境(在真实硬件上)上的执行时间。测量结果来自外部硬件单元,如示波器,或通常通过处理器时钟获取。 基于测量的分析可以产生“最坏观察”执行时间,通常称为“高水位时间”,并提供其发生可能性的证据。在实践中,基
项目地址:Heptane WCET Tool 3.aiT WCET Analyzer 简介:虽然 aiT 是一个商用工具,但它有一些免费的版本供学术使用。aiT 是一个成熟的 WCET 分析工具,主要针对工业实时系统的 WCET 分析。 特点: 静态分析技术,精确分析程序的控制流和数据流。 支持多种主流嵌入式处理器,如 ARM、PowerPC 和 TriCore。 支持平台:...
摘要:利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法;并在自盒测试工具NPCA的基础上, 利用该方法实现了WCET分析工具NPCA—WCET。 关健词:实时程序;WCET分析工具;抽象解释 AnAutomaticWCET Analysis ToolBasedonAbstract
项目规模:嵌入式系统WCET(最坏执行时间)分析工具 1套;软件缺陷及安全漏洞检查工具 1套。 招标内容与范围:本招标项目划分为标段2个标段,本次招标为其中的: 001 第1包;002 软件缺陷及安全漏洞检查工具 三、投标人资格要求 001 第1包;002 软件缺陷及安全漏洞检查工具: 投标方在投标时应提供原厂商针对本项目的投标...
嵌入式系统WCET(最坏执行时间)分析工具国际招标公告(1) 发布时间:2019-09-22 中招国际招标有限公司受招标人委托对下列产品及服务进行国际公开竞争性招标,于2019-09-22在中国国际招标网公告。本次招标采用传统招标方式,现邀请合格投标人参加投标。 1、招标条件 项目概况:
一种基于抽象解释的WCET自动分析工具.pdf,第32卷第14期 计算机工程 2006年7月 2006 V01.32 №14 ComputerEngineering July ·软件技术与数据库· 文章编号:1000-_3428(20%)14—彻54—03文献标识码;A 中圈分类号:TP277 一种基于抽象解释的WCET自动分析工具 姬盂洛1,李