orCAD Pspice的参数分析与最差情况分析

随着电子技术的飞速发展,传统的电路设计方法已不能满足要求。orCAD Pspice的参数分析与最差情况分析将大幅改善设计过程复要的操作,既直观又方便快速。以两个常用电路为例,简要介绍两种分析方法的应用。

实时系统程序最差情况执行时间(WCET)的分析

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

实时控制系统程序模式的WCET自动分析方法

基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。

具有公用机多组工件生产调度的Pα_2/β′/C_(max)问题

基于确定型平行机调度问题的Ｍｕｌｔｉｆｉｔ算法， 提出适应于ｋ 组工件、（ｋ＋１） 组处理机（其中一组为公用机） 的情况的新算法； 分析了此算法的可行性和最差情况性能指标， 并证明当ｋ＝ ２ 时， 性能指标界在 ［ ５４ ， ４３ ］ 内；