【摘 要】
:
基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的
【机 构】
:
洛阳理工学院计算机与信息工程学院,国防科学技术大学计算机学院
论文部分内容阅读
基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。
其他文献
哈尔滨市是全国农业综合开发投资重点区域之一。从1988年起至今已累计投入资金12.6亿元,特别是近几年来,年投资规模已由最初的几百万元增至2亿元以上。
针对容迟网络消息投递率低、网络时延高的问题,提出一种基于节点历史相遇信息和位置信息选取下一跳路由节点的算法。利用节点间历史相遇信息,筛选出与目的节点相遇次数最多的
病例初产妇,25岁.妊娠39周临产住院.妊娠早、中期无不适感,7个月后经常腹痛,住院前半月阴道流臭味黄水.查体:营发育养良好、心肺正常.孕足月腹型,宫高30cm,腹围90cm,胎心正常
本文从网络运行安全的角度分析了银行数据中心空调系统合规建设的相关问题。
以邻苯二酚为底物,对澳洲青苹中的多酚氧化酶进行了探讨。分别研究了pH值、温度、底物浓度及抑制剂等因素对多酚氧化酶活性的影响,结果表明:澳洲青苹多酚氧化酶最适pH值为6.5
目的:研究血管紧张素-(1—7)[Ang-(1—7)]对血管紧张素Ⅱ(AngⅡ)诱导的脐静脉内皮细胞(HUVEC)单核细胞趋化蛋白-1(MCP-1)和细胞间黏附分子-1(ICAM-1)的影响,阐明Ang-(1—7)对AngⅡ在炎症方面
针对大规模多输入多输出系统天线数量过多使得预编码算法计算量增加的问题,提出一种基于协作的天线选择与预编码联合算法。该算法通过降低小区间和用户间干扰,避免传统预编码
以平安信托为例的资金管理现状的分析重点研究了其资金运作和管理所存在的问题,并以此为基点,提出相应的信托资金管理对策和保障措施,已达到规范信托资金管理,提高资金使用效
2005年7月,我国进行人民币汇率制度改革,从过去单一钉住美元的汇率制度转为参照一篮子货币的、有管理的浮动汇率制度,市场上形成了强烈的人民币升值预期,国家统计局公布的美
在2008年爆发的国际金融危机的影响之下,国外很多企业集团纷纷破产,中国也受到这场金融危机的牵制,国内很多大型企业发展受阻,众多小企业也走向破产的边缘。财务危机ST的发生