基于编码规则的中断数据访问冲突检测方法

来源 :空间控制技术与应用 | 被引量 : 0次 | 上传用户：kf3567

【摘要】

：

针对＂重复加锁解锁＂和＂volatile修饰符误用＂两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺

【作者】

：

陈睿杨孟飞

【机构】

：

北京控制工程研究所,北京轩宇信息技术有限公司,中国空间技术研究院

【出处】

：

空间控制技术与应用

【发表日期】

：

2017年3期

【关键词】

：

数据访问冲突编码规则静态分析航天嵌入式软件 data race coding rule static analysis aerospace embedde

【基金项目】

：

国家自然科学基金资助项目（91118007,61632005）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对＂重复加锁解锁＂和＂volatile修饰符误用＂两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.

其他文献

喇嘛甸油田降低电网线损的措施

电网的线损主要由两部分组成:①固定损耗即所有变压器、测量仪表、二次电路等励磁回路的铁耗;②可变损耗即线路和变压器等与电流平方成正比的铜耗及无功损耗.

期刊

喇嘛甸油田电网线损损耗措施

天然气计量技术在气田上的应用

1.天然气计量技术发展现状随着科学技术的不断进步,新的计量仪表不断涌现.新计量仪表的出现为天然气计量水平的提高提供了有力的技术支持.(1)旋进旋涡流量计.流体流入流量传

期刊

天然气计量技术气田超声波流量计弯管流量计质量流量计集气站

航天器周期时变模态参数闭环在轨辨识的子空间方法

考虑在轨闭环航天器的参数辨识，利用子空间方法辨识大型闭环航天器的周期时变模态参数和控制器的增益参数．讨论了反馈控制器增益矩阵在状态空间方程中的坐标变换情况．利用该方法

期刊