Please wait a minute...
浙江大学学报(工学版)
通信工程、自动化技术     
基于增量链接的可回滚星载软件在轨更新方法
汪宏浩, 王慧泉, 金仲和
浙江大学 微小卫星研究中心,浙江 杭州 310027
Rollback-able on-board software upgrade method based on incremental link
WANG Hong-hao, WANG Hui-quan, JIN Zhong-he
Micro-satellite Research Center, Zhejiang University, Hangzhou 310027, China
 全文: PDF(1813 KB)   HTML
摘要:

为了减少对测控通道的占用时间,提高在轨更新过程的安全性和可靠性,提出基于增量链接、并可回滚至更新前状态的星载软件在轨更新方法.通过固定未修改的函数和变量内存空间,降低软件修改前、后内存空间布局的差异,将更新操作归结为对内存空间的写入和删除操作,减少上注补丁数据量,简化星上更新操作过程;针对安全性和可靠性,星上生成更新操作的逆操作补丁用于回滚,提供应对更新出错的回滚策略.试验结果表明,利用该方法进行更新,卫星无需重启,补丁上注时间短,更新操作正确,回滚操作有效,并成功应对各种更新出错情况.

Abstract:

A rollback-able on-board software upgrade method based on the incremental link was proposed in order to reduce the occupied time of TT&C channel and improve the safety and reliability for on-board software upgrade process. The method reduced the memory space layout difference between the original and modified software by fixing the memory space of unmodified functions and variables. The uploaded patch size was reduced and on-board software upgrade process was simplified by attributing the upgrade operations to memory write and read operations. An inverse operation patch was generated for each upgrade operation for rolling back to the previous state, and the corresponding rollback scheme was provided in order to enhance safety and reliability. Experimental results show that the method shortens the time of uploading patches, performs correct upgrade and rollback functionalities and effectively deals with exceptions without rebooting the satellite.

出版日期: 2015-04-01
:  TP 311  
作者简介: 汪宏浩(1989—),男,博士生,从事皮卫星星载计算机设计的研究.E-mail: billsedison@163.com
服务  
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章  

引用本文:

汪宏浩, 王慧泉, 金仲和. 基于增量链接的可回滚星载软件在轨更新方法[J]. 浙江大学学报(工学版), 10.3785/j.issn.1008-973X.2015.04.017.

WANG Hong-hao, WANG Hui-quan, JIN Zhong-he. Rollback-able on-board software upgrade method based on incremental link. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 10.3785/j.issn.1008-973X.2015.04.017.

链接本文:

http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2015.04.017        http://www.zjujournals.com/eng/CN/Y2015/V49/I4/724

[1] 包海超,杨根庆,李华旺.小卫星星载软件微内核的设计[J].计算机工程,2008,34(9): 81-82.
BAO Hai-chao, YANG Gen-qing, LI Hua-wang. Micro kernel design of small satellite software [J]. Computer Engineering, 2008, 34(9): 81-82.
[2] ZHANG Y, JIANG J. Bibliographical review on reconfigurable fault-tolerant control systems [J]. Annual Reviews in Control, 2008, 32(2): 229-252.
[3] LEVESON N G. Role of software in spacecraft accidents [J]. Journal of spacecraft and Rockets, 2004, 41(4): 564-575.
[4] 张然峰,郝贤鹏,金龙旭,等.空间相机软件在轨重注方法研究与实现[J].光机电信息,2011, 28(6): 30-34.
ZHANG Ran-feng, HAO Xian-peng, JIN Long-xu, et al. Study and realization on method of software in space camera on-board reprogramming [J]. OME Information, 2011, 28(6): 30-34.
[5] ROSA J, CRAVEIRO J, RUFINO J. Exploiting AIR composability towards spacecraft onboard software update [C]∥ Actas do INForum-Simposio de Informatica. Braga: [s. n.], 2010: 675-686.
[6] 李磊霞,王宇,林宝军,等.基于宏定义动态链接的模块化星载软件升级方法研究[J].空间科学学报,2010, 30(2): 180-184.
LI Lei-xia, WANG Yu, LIN Bao-jun, et al. Research of software updating for micro-satellite in the orbit based on dynamic link with macros [J]. Chinese Journal of Space Science, 2010, 30(2): 180-184.
[7] GJB 1198. 1A-2004, 航天器测控和数据管理第l部分:PCM遥控[S].北京:国防科学技术工业委员会, 2004.
[8] 杨牧,王昊,张钰,等.抗辐射加固的皮卫星用实时操作系统设计[J].浙江大学学报:工学版, 2011, 45(6): 1021-1026.
YANG Mu, WANG Hao, ZHANG Yu, et al. Design of radiation-hardened real-time operating system for pico-satellite [J]. Journal of Zhejiang University: Engineering Science, 2011, 45(6): 1021-1026.
[9] BUTLER R, PENNOTTI M. The evolution of software and its impact on complex system design in robotic spacecraft embedded systems [J]. Procedia Computer Science, 2013, 16: 747756.
[10] KIM D K, TILEVICH E, RIBBENS C J. Dynamic software updates for parallel high-performance applications [J]. Concurrency and Computation: Practice and Experience, 2011, 23(4): 415-434.
[11] NEAMTIU I, HICKS M, STOYLE G, et al. Practical dynamic software updating for C [C]∥ Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2006: 72-83.
[12] HICKS M, NETTLES S. Dynamic software updating [J]. ACM Transactions on Programming Languages and Systems, 2005, 27(6): 1049-1096.
[13] KIM D K, TILEVICH E, RIBBENS C J. Shortening time-to-discovery with dynamic software updates for parallel high performance applications [R]. Virginia Tech: Department Of Computer Science, 2009.
[14] STEIGER C, FURNELL R, MORALES J. OBSM operations automation through the use of on-board control procedures [C]∥ Space OPS 2004 Conference. Montreal: AIAA, 2004: 115.
[15] 徐伟,朴永杰.航天相机控制器在轨软件重注[J].光电工程, 2013, 40(4): 65-71.
XU Wei, PIAO Yong-jie. Re-injection technology for software in aerospace camera controller on orbit [J]. Opto-Electronic Engineering, 2013, 40(4): 65-71.
[16] 安军社,刘艳秋,孙辉先.软件的动态维护与实现[J].计算机工程, 2003, 29(2): 238-239.
AN Jun-she, LIU Yan-qiu, SUN Hui-xian. Implementation of on-board software maintenance [J]. Computer Engineering. 2003, 29(2): 238-239.
[17] THI A T, TSO K S, ALKALAI L, et al. On-board guarded software upgrading for space missions [C]∥ Proceedings of the 18th Digital Avionics Systems Conference. St Louis: IEEE, 1999: 7.B.417.B.48.
[18] LI W, ZHANG Y, YANG J, et al. UCC: update-conscious compilation for energy efficiency in wireless sensor networks [C]∥ Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2007: 383-393.
[19] KIYOHARA R, MII S, MATSUMOTO M, et al. A new method of fast compression of program code for OTA updates in consumer devices [J]. IEEE Transactions on Consumer Electronics, 2009, 55(2): 812-817.
[20] BELLAACHIA A, RASSAN I A. Efficiency of prefix and non-prefix codes in string matching over compressed databases on handheld devices [C]∥ Proceedings of the 2005 ACM Symposium on Applied Computing. New York: ACM, 2005: 993-997.
[21] BESZDES , FERENC R, GYIMTHY T, et al. Survey of code-size reduction methods [J]. ACM Computing Surveys (CSUR), 2003, 35(3): 223-267.
[22] 田祖伟,杨恒伏,罗阳旭.基于增量链接的PE文件信息隐藏技术研究[J].计算机科学,2012, 39(12): 9193.
TIAN Zu-wei, YANG Heng-fu, LUO Yang-xu. Research of PE file information hiding based on incremental link [J]. Computer Science, 2012, 39(12): 91-93.
[23] TIS C. Executable and linking format (ELF) specification [S]. [S. l.]: Tool Interface Standard Committee, 1995.
[24] 何熊文.一种通用遥控注入数据格式的设计与应用[J].航天器工程,2008, 17(1): 94-99.
HE Xiong-wen. Design and application of a common spacecraft telecommand data format [J]. Spacecraft Engineering, 2008, 17(1): 94-99.

[1] 袁友伟, 余佳, 郑宏升, 王娇娇. 基于新颖性排名和多服务质量的云工作流调度算法[J]. 浙江大学学报(工学版), 2017, 51(6): 1190-1196.
[2] 许荣斌, 石军, 张鹏飞, 谢莹. Petri网的映射变迁关系相似性度量[J]. 浙江大学学报(工学版), 2017, 51(6): 1205-1213.
[3] 王海艳, 程严. 基于离散系数的双向服务选择方法[J]. 浙江大学学报(工学版), 2017, 51(6): 1197-1204.
[4] 常超, 刘克胜, 谭龙丹, 贾文超. 基于图模型的C程序数据流分析[J]. 浙江大学学报(工学版), 2017, 51(5): 1007-1015.
[5] 王继奎. 贝叶斯冲突Web数据可信度算法[J]. 浙江大学学报(工学版), 2016, 50(12): 2380-2385.
[6] 涂鼎, 陈岭, 陈根才, 吴勇, 王敬昌. 基于在线层次化非负矩阵分解的文本流主题检测[J]. 浙江大学学报(工学版), 2016, 50(8): 1618-1626.
[7] 杨莎, 叶振宇, 王淑刚, 陶海, 李石坚, 潘纲, 朱斌. 感认知增强的智能机械手系统[J]. 浙江大学学报(工学版), 2016, 50(6): 1155-1159.
[8] 罗林, 苏宏业, 班岚. Dirichlet过程混合模型在非线性过程监控中的应用[J]. 浙江大学学报(工学版), 2015, 49(11): 2230-2236.
[9] 王继奎, 李少波. 基于真值发现的冲突数据源质量评价算法[J]. 浙江大学学报(工学版), 2015, 49(2): 303-318.
[10] 蔡华林,陈刚,陈珂. 多类别复合资源的空间匹配[J]. 浙江大学学报(工学版), 2015, 49(1): 69-78.
[11] 俞东进,殷昱煜,吴萌萌,刘愉. 基于混合协同过滤的Web服务QoS预测方法[J]. 浙江大学学报(工学版), 2014, 48(11): 2039-2045.
[12] 柯海丰,应晶. 基于R-ELM的实时车牌字符识别技术[J]. 浙江大学学报(工学版), 2014, 48(7): 1209-1216.
[13] 刘智慧, 张泉灵. 大数据技术研究综述[J]. 浙江大学学报(工学版), 2014, 48(6): 957-972.
[14] 田甜,巩敦卫. 基于覆盖难度选择路径的测试数据进化生成[J]. 浙江大学学报(工学版), 2014, 48(5): 948-994.
[15] 柯海丰,应晶. 基于R-ELM的实时车牌字符识别技术[J]. J4, 2014, 48(2): 0-0.