-
题名基于表格的中断数据冲突静态分析方法
被引量：8
- 1
-
-
作者
黄晨
董燕
王小丽
虞砺琨
-
机构
北京控制工程研究所
-
出处
《空间控制技术与应用》
CSCD
北大核心
2016年第5期57-62,共6页
-
基金
国家自然科学基金资助项目(91118007)
-
文摘
中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效.
-
关键词
中断冲突
数据关联性
操作关联性
时序冲突
-
Keywords
interrupt conflict
data association
operating relevance
timing conflict
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名嵌入式软件中断系统资源冲突检测技术研究
被引量：13
- 2
-
-
作者
杨芳
齐璇
董丽
叶东升
-
机构
中国航天科工集团第二研究院
北京系统工程研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第23期5036-5038,5059,共4页
-
文摘
由于中断触发的随机性和不确定性,导致中断缺陷引发的问题时有发生,而且通常是不易追踪的严重软件故障,因此对中断系统软件的测试就提出了很高的要求,但是目前可用于中断系统资源冲突检测的工具缺乏。为有效检测由中断的资源冲突引发的软件问题,在分析了与中断相关的典型故障模式的基础上,提出了一种针对嵌入式软件中断系统的资源冲突进行检测的技术和方法。实验结果表明,该方法可有效检测出软件中与中断相关的资源冲突问题。
-
关键词
中断
资源冲突
形式化描述
副作用分析
嵌入式软件
检测
-
Keywords
interrupt
resources conflicts
formalization describes
side effect analysis
embedded software
detecting
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名航天器C51语言软件中断资源冲突分析方法
被引量：7
- 3
-
-
作者
侯成杰
-
机构
北京控制工程研究所
-
出处
《空间控制技术与应用》
CSCD
北大核心
2015年第4期58-62,共5页
-
基金
国家自然科学基金资助项目(F020208)
-
文摘
对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.
-
关键词
航天器软件
C51语言
中断
资源冲突
静态分析
-
Keywords
spacecraft software
C51 language
interrupt
resource conflict
static analysis
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名双向实时通信冲突解决方案研究
- 4
-
-
作者
侯丹
何欣
-
机构
北京空间机电研究所
-
出处
《现代电子技术》
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
[电子电信—通信与信息系统]
-
