-
题名基于表格的中断数据冲突静态分析方法
被引量：8
- 1
-
-
作者
黄晨
董燕
王小丽
虞砺琨
-
机构
北京控制工程研究所
-
出处
《空间控制技术与应用》
CSCD
北大核心
2016年第5期57-62,共6页
-
基金
国家自然科学基金资助项目(91118007)
-
文摘
中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效.
-
关键词
中断冲突
数据关联性
操作关联性
时序冲突
-
Keywords
interrupt conflict
data association
operating relevance
timing conflict
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名双向实时通信冲突解决方案研究
- 2
-
-
作者
侯丹
何欣
-
机构
北京空间机电研究所
-
出处
《现代电子技术》
2013年第14期48-50,54,共4页
-
文摘
在工业生产中,产品了获得工业设备信息,需要实时与计算机进行通信。工业设备获取传感器的信息,需要RS 485,SPI,CAN等接口实时与传感器设备通信。当二者同时时,微控制器产生中断冲突,造成设备数据丢失或控制计算机的通信死机。为了保证产品的稳定性,提出了一种基于双微控制器,并同时利用异步FIFO实现双向通信的速度匹配和数据交换。实验证明该方法有效地解决双向实时通信产生的通信的中断冲突,保证工业设备的稳定性和数据通信的准确。
-
关键词
双微控制器
异步FIFO
双向实时通信
中断冲突
-
Keywords
dual microprocessor
asynchronous FIFO
two-way real-time communication
interruption conflict
-
分类号
TN911-34
[电子电信—通信与信息系统]
-
