期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
包含依赖输入分支程序的符号化WCET分析 被引量：2
1
作者 姬孟洛 齐治昌 王怀民 《软件学报》 EI CSCD 北大核心 2006年第3期628-637,共10页
符号化WCET(worst-caseexecutiontime)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确地估算WCET.提出了一种针对其分支直接依赖于输入数据的程序的符号化WCE... 符号化WCET(worst-caseexecutiontime)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确地估算WCET.提出了一种针对其分支直接依赖于输入数据的程序的符号化WCET分析方法.首先对Blieberger方法进行扩充,使得WCET符号表达式能够表达依赖输入分支,然后利用程序的控制依赖图对符号表达式进行化简,从而产生带条件的WCET符号表达式,即不同的条件对应不同的符号表达式.与已有方法不同,符号化WCET公式直接依赖于输入参数,使得运行时的WCET估算更加简单直接. 展开更多
关键词 参数化最大执行时间wcet分析 wcet分析 程序分析 实时系统 软件工程
下载PDF
基于RPU的TTI程序设计和分析方法
2
作者 高银康 陈香兰 +3 位作者 龚小航 蒋滨泽 李曦 周学海 《计算机研究与发展》 EI CSCD 北大核心 2024年第1期98-119,共22页
实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问... 实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问题,并且基于TTI指令集实现的实时处理单元(real-time processing unit,RPU)证明了TTI指令集的可行性和有效性.但是目前的工作缺少对于TTI程序设计和分析方法的研究.所以,基于TTI指令集和RPU,提出了TTI指令集可以表达的4种时间语义,给出了TTI程序的设计范式.并且构建了TTI程序时间行为的表示方法——TFG+,TFG+是对TFG的扩展,TFG+区分了TTI程序中时间语义指令和普通代码段,可以表示TTI程序的控制流信息、用户规定的时间行为和TTI程序平台相关的时间属性.最后,提出了TTI程序的时间分析方法以及时间安全性检查方法,为TTI程序的设计和部署提供了依据. 展开更多
关键词 实时嵌入式系统 时间可预测性 时间语义指令集 实时处理器 wcet分析
下载PDF
可平台迁移的最坏执行时间分析
3
作者 刘育芳 张立臣 《计算机工程与设计》 CSCD 北大核心 2006年第8期1317-1320,共4页
当前的很多最坏执行时间分析工具都是针对特定的编程语言或特定的编译器的,因而缺乏平台间的迁移性,从而不能被广泛使用。介绍了一种基于Java字节码的可平台迁移的最坏执行时间分析方法。该分析方法包括两方面:一是对字节码(java byteco... 当前的很多最坏执行时间分析工具都是针对特定的编程语言或特定的编译器的,因而缺乏平台间的迁移性,从而不能被广泛使用。介绍了一种基于Java字节码的可平台迁移的最坏执行时间分析方法。该分析方法包括两方面:一是对字节码(java bytecode)的高层分析,提取出程序数据流和控制流信息;二是对Java虚拟机的底层分析,获得虚拟机的时间模型。最后这两种分析结合得到程序的最坏执行时间。同时还探讨了将来的研究方向。 展开更多
关键词 实时系统 最坏执行时间分析 可迁移的最坏执行时间分析 JAVA字节码 JAVA虚拟机
下载PDF
信息物理系统实时任务WCET的研究 被引量：1
4
作者 刘辉 张立臣 许阳 《计算机技术与发展》 2012年第4期126-129,共4页
信息物理系统(CPS)是最近几年才出现的一个新的交叉领域的研究概念,它被普遍认为是计算机信息处理技术史上的下一次革命,将会改变人与现实物理世界之间的交互方式,具有广泛的应用前景。简要介绍了CPS的概念、一些新的特性。研究了CPS实... 信息物理系统(CPS)是最近几年才出现的一个新的交叉领域的研究概念,它被普遍认为是计算机信息处理技术史上的下一次革命,将会改变人与现实物理世界之间的交互方式,具有广泛的应用前景。简要介绍了CPS的概念、一些新的特性。研究了CPS实时性方面的最坏执行时间(WCET)分析的组成部分、获取方法和计算算法,并比较了几种算法的优劣,列举了这一领域一些研究进展,讨论了WCET分析这一领域中存在的问题,给出了将来的研究方向。 展开更多
关键词 信息物理系统 wcet分析 可调度分析
下载PDF
一种实时Java程序的WCET分析新方法研究
5
作者 吴国伟 李张 《微计算机信息》 2009年第12期223-224,235,共3页
软件的最坏执行时间是实时系统的时间可信基础,Java语言的动态特性使程序的最坏执行时间分析较悲观和难以预测,本文提出了一种基于Java字节码的面向实时Java程序的最坏执行时间分析新方法,该方法引入一个注释类对源程序进行注释,然后将... 软件的最坏执行时间是实时系统的时间可信基础,Java语言的动态特性使程序的最坏执行时间分析较悲观和难以预测,本文提出了一种基于Java字节码的面向实时Java程序的最坏执行时间分析新方法,该方法引入一个注释类对源程序进行注释,然后将编译产生的Java类文件作为方法的分析对象,解决了实时Java程序中由于动态分配问题带来的预测不确定的问题,实验表明,该方法可以使对实时Java程序的最坏情况执行时间预测更加安全和精确。 展开更多
关键词 实时JAVA 实时系统 wcet分析 JAVA字节码
下载PDF
多余处理器时间回收与最坏执行时间分析
6
作者 刘育芳 张立臣 《计算机工程与应用》 CSCD 北大核心 2005年第28期41-43,64,共4页
通常的最坏执行时间分析方法的结果过于悲观(overpessimistic),根据这种结果进行调度将导致资源的极大浪费。面向对象的编程语言由于具有封装、继承、多态的特点,使得按照通常的方法获得的最坏执行时间更加悲观。解决这个问题的一个办... 通常的最坏执行时间分析方法的结果过于悲观(overpessimistic),根据这种结果进行调度将导致资源的极大浪费。面向对象的编程语言由于具有封装、继承、多态的特点,使得按照通常的方法获得的最坏执行时间更加悲观。解决这个问题的一个办法就是限制面向对象语言这些特点的使用,但这又导致最终的实时系统不够灵活,失去了面向对象语言的优点。文章以实时JAVA系统为例,介绍了将运行中赚取时间(gaintime)的回收与最坏执行时间分析相结合的方法,这种方法既提高了资源的使用率,又保证了系统的灵活性和性能。 展开更多
关键词 实时系统 赚取时间回收 最坏执行时间分析 时间分析 回收 处理器 面向对象语言 OVER 编程语言 执行时间
下载PDF
两种基于符号的最坏执行时间分析方法的比较与分析 被引量：1
7
作者 刘育芳 张立臣 《微电子学与计算机》 CSCD 北大核心 2006年第5期60-62,共3页
通常的最坏执行时间分析方法只是得到一个常数,然后将这个常数应用在所有的地方,这将造成所得的值过于悲观(overpessimistic)。如果能以一个代数表达式代替,其中影响程序执行时间的一些未知值(如调用参数,运行平台参数等)都用参数来表示... 通常的最坏执行时间分析方法只是得到一个常数,然后将这个常数应用在所有的地方,这将造成所得的值过于悲观(overpessimistic)。如果能以一个代数表达式代替,其中影响程序执行时间的一些未知值(如调用参数,运行平台参数等)都用参数来表示,然后在具体的环境中再根据具体的情况进行实例化,那么所获得的最坏执行时间将更加接近于实际的值。文章讨论了基于符号的最坏执行时间分析方法,分析了其特点,对两种基于符号的最坏执行时间分析方法进行了比较和研究,并给出了将来的研究方向。 展开更多
关键词 实时系统 最坏执行时间 基于符号的最坏执行时间分析
下载PDF
一种基于抽象解释的WCET自动分析工具 被引量：10
8
作者 姬孟洛 李军 +1 位作者 王馨 齐治昌 《计算机工程》 CAS CSCD 北大核心 2006年第14期54-56,共3页
利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法；并在白盒测试工具NPCA的基础上利用该方法实现了WCET分析工具NPCA-WCET。
关键词 实时程序 wcet分析工具 抽象解释
下载PDF
实时控制系统程序模式的WCET自动分析方法 被引量：1
9
作者 侯小静 姬孟洛 +2 位作者 黄辰林 舒云星 阎奔 《计算机工程》 CAS CSCD 北大核心 2017年第8期56-62,68,共8页
基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相... 基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。 展开更多
关键词 程序模式 最差情况执行时间分析 实时控制系统 控制流图 线性规划
下载PDF
Model-level WCET analysis of real-time system based on FPN
10
作者 JIN Yong-xian LI Shu-yu 《通讯和计算机（中英文版）》 2008年第1期67-72,81,共7页
关键词 实时系统 最差事例执行时间 模糊PETRI网 系统分析
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部