-
题名实时控制系统程序模式的WCET自动分析方法
被引量：1
- 1
-
-
作者
侯小静
姬孟洛
黄辰林
舒云星
阎奔
-
机构
洛阳理工学院计算机与信息工程学院
国防科学技术大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2017年第8期56-62,68,共8页
-
基金
国家自然科学基金"基于复合传感器阵列的多火源融合定位方法研究"(61503174)
河南省基础与前沿技术研究计划项目"实时嵌入式系统WCET的精确分析研究"(152300410115)
+1 种基金
河南省科技攻关计划项目"基于PLC控制技术与Saa S云服务模式的智能运维系统关键技术研究"(162102210276)
河南省科技厅国际科技合作项目"基于二维码离散视觉识别模式的物流机器人路径规划与导引的研究"(152102410053)
-
文摘
基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。
-
关键词
程序模式
最差情况执行时间分析
实时控制系统
控制流图
线性规划
-
Keywords
program mode
Worst-Case Execution Time （WCET） analysis
real-time control system
control flowgraph （CFG）
linear programming
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名一种源程序到控制流图的自动生成方法
被引量：7
- 2
-
-
作者
单永明
-
机构
山西大学计算机科学系
-
出处
《小型微型计算机系统》
CSCD
北大核心
1996年第10期45-49,共5页
-
文摘
将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。该方法和技术也可应用于程序分析及软件维护等方面。
-
关键词
软件工程
程序控制流图
逆向工程
-
Keywords
Software engineering, control flowgraph, Abstract machine M
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名动态流图法对核电厂数字化仪控系统的可靠性评价
被引量：7
- 3
-
-
作者
周世梁
王浩
田聪
-
机构
华北电力大学
非能动核能安全技术实验室
-
出处
《核科学与工程》
CAS
CSCD
北大核心
2018年第1期88-98,共11页
-
基金
国家自然科学基金(71301049)
中央高校基本科研基金(2016MS60
2016MS39)
-
文摘
基于软件和微处理器的数字化技术已广泛应用于核电厂仪表与控制(I&C)系统。近十年来,在建或部分已投运的核电厂均已采用全数字化仪表与控制系统(DI&CS)进行参数的监控与控制。核电厂控制系统的全数字化极大提高了控制系统的性能。由于DI&CS运行过程中存在动态交互,传统静态故障树分析(FTA)不能描述这种动态的交互特性,而动态流图法(DFM)可较好地描述系统间的各种动态交互。因此采用DFM评价核电厂DI&CS自动功率控制系统(APC)的可靠性。给定三组初始条件,即传感器故障、输出闭锁装置与主处理器故障和主辅处理器故障,利用DFM的归纳分析,得出了存在对应故障情况下控制棒实际位移与正常条件下的偏差;给定义当前时刻控制棒实际位移较正常条件下偏小的顶事件,利用DFM演绎分析,得出顶事件发生贡献最大的原因为当前时刻SRB(输出闭锁装置)切换失效,主处理器输出偏小,其他节点正常的故障组合。
-
关键词
可靠性分析
动态流图法
DI&CS
自动功率控制系统
-
Keywords
Reliability research
Dynamic flowgraph methodology
DI＆CS
Automatic power control system
-
分类号
TL362
[核科学技术—核技术及应用]
-
-
题名Android本地恶意应用鉴别系统的实现
- 4
-
-
作者
廖元之
-
机构
南京邮电大学
-
出处
《信息安全与技术》
2016年第4期56-60,共5页
-
基金
江苏省大学生科技创新训练计划(stitp)资助(项目编号:SZD2015008)
-
文摘
近年来,Android手机由于其出色的用户体验,吸引了大量的用户,同时也因为它的开源特性,也极易受到恶意软件的攻击,其中本地恶意软件尤为恶劣。论文针对Android平台上本地恶意应用软件,提出了基于代码基本块控制流比较的鉴别方法。通过代码中基本块的分离,控制流图的构造及其信息的抽象比较,设计实现了一套Android平台上本地代码恶意应用鉴别系统。
-
关键词
安卓
本地代码
控制流图
-
Keywords
android
native code
control flowgraph
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
