公共文化服务平台

共 9 条记录，以下是 1-9

全选清除导出

排序方式：

实时系统程序最差情况执行时间(WCET)的分析被引量：4: 2006年; 事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET分析的定义和组成,重点总结其中的程序流事实分析方法,并指出程序流事实分析存在的问题和WCET分析的研究热点。; 姬孟洛齐治昌; 关键词：实时系统软件工程

基于OWAMP的网络性能测量技术被引量：6: 2009年; 根据流媒体和实时应用为代表的新型网络应用模式对网络性能指标和精确测量的要求,参考相关网络性能测量建议,设计基于OWAMP协议的网络性能测量系统,探讨产生测量数据包的不同分布和测量数据包的大小差异对最终测量结果产生的影响等关联测量方法学的问题,并进行仿真评估,验证系统中对若干测量方法学选取的合理性。; 宋焱淼皇安伟穆源王芳; 关键词：时延丢包率带宽

基于抽象解释自动导出针对WCET分析的程序流信息的方法被引量：1: 2006年; 通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术,本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况下的执行时间(WCET)。; 姬孟洛齐治昌; 关键词：实时系统 WCET

一种基于抽象解释和通用单调数据流框架的值范围分析方法被引量：11: 2006年; 安全而又精确的值范围分析对编译器优化至关重要.系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架,包括精确的定义、分析和完整的正确性证明.与一般的值范围分析方法不同,该框架不仅包括抽象解释,还包括与之对应的具体解释,以及相应的正确性证明.; 姬孟洛王怀民李梦君董威齐治昌; 关键词：编译器优化软件工程

WCET分析中面向对象程序多态性问题的解决方法被引量：2: 2006年; 用面向对象建模语言(如统一建模语言UML)设计并用面向对象程序设计语言(如C++)实现实时系统是实时系统开发领域的一个趋势,但面向对象的主要特征(如多态性)却使程序最差情况执行时间(Worst-Case ExecutionTi me,WCET)更加难以分析。本文通过把UML设计信息引入WCET分析来解决此问题。考虑到UML关联关系描述了两个或多个具体类之间的对应关系,因此本文要求指定关联角色的多重性,并假定能够建立关联关系与其在程序中表示的对应关系。在已知关联角色多重性的基础上,本文计算特定循环的执行计数并确定在超(虚)类调用位置上每个具体类的对象个数,该循环使用超类变量遍历统一表示的关联角色对象。通过和Corti等人方法的结合,本文方法能够自动计算具有多态性特征的面向对象程序的WCET。实验结果表明,本文研究的情形在面向对象程序中普遍存在。; 姬孟洛李书浩秦杰齐治昌; 关键词：多态性面向对象程序 WCET分析实时系统软件工程

UML模型中并发对象的组合验证被引量：1: 2005年; 本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全局状态图,以缓解状态爆炸问题。; 董威王戟齐治昌; 关键词：并发对象 UML模型 STATECHARTS 自动机状态图

在模型检验工具SMV中实现进程阻塞被引量：1: 2006年; 模型检验技术是开发高可信软硬件系统的重要途径。目前已经有许多成熟的模型检验工具,SMV就是其中一种常用的工具,可以进行同步或异步系统的自动验证。在异步模型检验中,SMV可以描述进程,但不能直接描述进程的阻塞。本文提出了一种在SMV中利用公平性约束实现阻塞的方法。; 王常春董威; 关键词：SMV

UML Statecharts的层次组合验证被引量：1: 2005年; 该文在用层次自动机结构化表示UMLStatecharts的基础上,把Statecharts的层次结构特点纳入到组合验证中,使得对实现规范的验证可以通过把系统的某些层次精化部分用更抽象的规约代替来进行,以缓解模型检验中的状态爆炸问题。; 董威王戟齐治昌; 关键词：UML

一种基于抽象解释的WCET自动分析工具被引量：16: 2006年; 利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法；并在白盒测试工具NPCA的基础上利用该方法实现了WCET分析工具NPCA-WCET。; 姬孟洛李军王馨齐治昌

全选清除导出

共1页<1>

国家自然科学基金(60303013)