航天器C51语言软件中断资源冲突分析方法

doi:10.3969/j.issn.1674-1579.2015.04.012

摘要/Abstract

摘要： 对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果，提出基于静态分析技术的C51语言软件资源访问冲突分析方法，并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题，也可以推广到其他处理器.

关键词: 航天器软件, C51语言, 中断, 资源冲突, 静态分析

Abstract: Three interrupt resource conflict instances of spacecraft software in C51 language are summarized. The existing methods of software resource conflict analysis are summarized and analyzed. Based on static analysis technique, a new resource conflict analysis method is advanced on C51 language software, and the solutions for above 3 instances are given.

Key words: spacecraft software, C51 language, interrupt；resource conflict；static analysis

中图分类号:

TP311.5

侯成杰. 航天器C51语言软件中断资源冲突分析方法[J]. 空间控制技术与应用, 2015, 41(4): 58-62.

HOU Cheng-Jie. Interrupt Resource Conflict Analysis for Spacecraft C51 Language Software[J]. , 2015, 41(4): 58-62.

参考文献

［1］杨芳，齐璇，董丽，等.嵌入式软件中断系统资源冲突检测技术研究［J］. 计算机工程与设计，2010，31（23）：50365039. YANG F,QI X,DONG L，et al.Research of interrupt system resource conflict detection technology for embedded software［J］.Computer Engineering and Design, 2010，31（23）：50365039. ［2］霍纬，于洪涛，冯晓兵，等.静态检测中断驱动程序的数据竞争［J］. 计算机研究与发展，2011，48（12）：22902299. HUO W，YU H T，FENG X B, et al. Static race detection of interruptdriven programs［J］.Journal of Computer Research and Development, 2011，48（12）：22902299. ［3］REGEHR J, COOPRIDER N. Interrupt verification via thread verification［J］. Electron Notes Theoretical Computer Science, 2007,174(9):139150. ［4］段永颢，陈睿.基于启发式的静态中断数据竞争检测方法［J］. 计算机工程与设计，2013，34（1）：140145. DUAN Y H,CHEN R. Heuristic static data race detection for interruptdriven software［J］.Computer Engineering and Design，2013，34（1）：140145. ［5］赵国亮，蒋勇，孔令兵.用代码分析技术检测软件缺陷［J］.计算机工程与设计，2011，32（8）：27412744. ZHAO G L,JIANG Y,KONG L B. Software bug detection using code analysis technology［J］.Computer Engineering and Design,2011,32(8) :27412744. ［6］杨洪路，宫云战，高文龄,等.软件安全静态检测技术与工具［J］.信息化纵横，2009(9)：7072. YANG H L, GONG Y Z，GAO W L, et al. Static analysis of software security techniques and tools［J］.Microcomputer & Its Application,2009(9):7072. ［7］王光卫，范明钰. 源静态分析技术的理论和实践发展［J］. 计算机安全,2011(1)：710. WANG G W, FAN M Y. Theory and practice of source code analysis［J］.Network and Computer Security,2011(1):710. ［8］杨朝红，宫云战，肖庆, 等.基于模型的软件测试［J］. 北京化工大学学报,2007,34(增刊1)：8588. YANG Z H，GONG Y Z，XIAO Q W，et al. The software testing based on testing model［J］. Journal of Beijing University of Chemical Technology,2007,34（sup1）:8588. ［9］吴萍，陈意云，张健.多线程程序数据竞争的静态检测［J］.计算机研究与发展,2006，43（2）：329335. WU P, CHEN Y Y, ZHANG J. Static datarace detecion for multithread programs［J］.Journal of Computer Research and Development, 2006，43（2）：329335.作者简介：侯成杰（1972—），男，高级工程师，研究方向为软件测试与软件产品保证技术.

[1]	陈睿, 于婷婷, 贾春鹏, 李超, 高栋栋, 江云松, 杨孟飞. 航天嵌入式软件数组越界缺陷特征研究[J]. 空间控制技术与应用, 2021, 47(2): 1-9.
[2]	陈立前, 吴国福, 姜加红. 航天嵌入式软件静态分析技术[J]. 空间控制技术与应用, 2021, 47(2): 86-92.
[3]	孙川川, 高瑛珂, 李圣龙, 赵云富, 梁贤赓. 面向宇航应用的高可靠SoC异常处理系统设计[J]. 空间控制技术与应用, 2020, 46(3): 78-.
[4]	高猛, 滕俊元, 陈睿, 孙民. 航天器软件典型缺陷模式的自动检测技术[J]. 空间控制技术与应用, 2019, 45(5): 72-.
[5]	李振松, 李光旭, 李晓锋, 索旭华, 陈朝晖. 面向航天器嵌入式软件的在轨修复方法[J]. 空间控制技术与应用, 2019, 45(1): 66-.
[6]	李振松, 杜建伟, 党纪红. 基于DSP平台的航天器软件在轨维护实现方法研究*[J]. 空间控制技术与应用, 2017, 43(6): 61-66.
[7]	陈睿, 杨孟飞. 基于编码规则的中断数据访问冲突检测方法[J]. 空间控制技术与应用, 2017, 43(3): 59-65.
[8]	周育逵, 杨桦, 乔磊. 基于EventB的中断管理需求和设计形式化建模与验证方法[J]. 空间控制技术与应用, 2017, 43(3): 71-78.
[9]	赵性颂, 董晓刚, 杨晓龙, 牛和明, 高猛. 执行机构驱动单元软件的设计与分析[J]. 空间控制技术与应用, 2015, 41(5): 53-.
[10]	侯成杰. 航天器C语言软件常见编程错误分析及检测方法研究[J]. 空间控制技术与应用, 2013, 39(6): 53-57.