-
题名基于FC-AE-1553总线协议的报文通信方法
- 1
-
-
作者
周洋洋
赵昶宇
-
机构
海军装备部驻天津地区第二军事代表室
天津津航计算技术研究所
-
出处
《科技与创新》
2024年第17期174-176,共3页
-
文摘
提出一种FC-AE-1553总线协议报文通信方法,主控制器主机模块接收上位机控制指令并存储在消息队列中,主机模块中每次从消息队列中将实际接收到的上位机控制指令存储到主控制器可编程逻辑模块的堆栈中,并建立接收的控制指令序号和堆栈中控制指令序号的映射关系。可编程逻辑模块通过FC-AE-1553总线将该控制指令发送给桥接器模块,桥接器模块通过MIL-STD-1553总线向终端模拟器设备发送,避免出现控制指令被覆盖现象,节省了硬件资源开销,并显著提高了处理上位机控制指令的实时性和可靠性。该方法尤其适用于上位机每次发送的控制指令中涉及的RT地址和RT子地址不多,但上位机控制指令发送频率较快的情形。
-
关键词
FC-AE-1553总线
网络控制器
DMA控制
指令覆盖
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
-
题名一种基于程序功能标签切片的制导符号执行分析方法
被引量：4
- 2
-
-
作者
甘水滔
王林章
谢向辉
秦晓军
周林
陈左宁
-
机构
(数学工程与先进计算国家重点实验室
(计算机软件新技术国家重点实验室(南京大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2019年第11期3259-3280,共22页
-
基金
国家自然科学基金(91318301,61170066,6147179)~~
-
文摘
提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实验结果表明,通过对binutils、gzip、coreutils等10个不同软件中的20个应用工具上的分析,OPT-SSE与KLEE提供的主流搜索策略相比,代码目标制导速度平均提升到4.238倍,代码目标制导成功率平均提升了31%,程序指令覆盖率平均提升了8.95%,程序分支覆盖率平均提升了8.28%.
-
关键词
制导符号执行
分支覆盖率
指令覆盖率
搜索策略
程序切片
-
Keywords
guided symbolic execution
branch coverage
instruction coverage
search strategy
program slice
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
