Please wait a minute...
浙江大学学报(工学版)
JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE)
    
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
Download:   PDF(1813KB) HTML
Export: BibTeX | EndNote (RIS)      

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.

Published: 01 April 2015
CLC:  TP 311  
  V 474  
Corresponding Authors: 王慧泉,男,副研究员,硕导     E-mail: hqwang@zju.edu.cn
Service
E-mail this article
Add to my bookshelf
Add to citation manager
E-mail Alert
RSS
Articles by authors
Cite this article:

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), 2015, 49(4): 724-731.

URL:

http://www.zjujournals.com/eng/10.3785/j.issn.1008-973X.2015.04.017     OR     http://www.zjujournals.com/eng/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] WANG Haiyan, CHENG Yan . Dual service selection method based on coefficient of variation[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2017, 51(6): 1197-1204.
[2] YUAN You-wei-, YU Jia, ZHENG Hong-sheng, WANG Jiao-jiao. Cloud workflow scheduling algorithm based on novelty ranking and multi-quality of service[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2017, 51(6): 1190-1196.
[3] XU Rong-bin, SHI Jun, ZHANG Peng-fei, XIE Ying. Similarity measurement of transition mapping relation using Petri net[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2017, 51(6): 1205-1213.
[4] CHANG Chao, LIU Ke-sheng, TAN Long-dan, JIA Wen-chao. Data flow analysis for C program based on graph model[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2017, 51(5): 1007-1015.
[5] WANG Ji kui . Bayesian conflicting Web data credibility algorithm[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2016, 50(12): 2380-2385.
[6] TU Ding, CHEN Ling, CHEN Gen cai, WU Yong, WANG Jing chang. Hierarchical online NMF for detecting and tracking topics[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2016, 50(8): 1618-1626.
[7] YANG Sha, YE Zhen yu, WANG Shu gang, TAO Hai, LI Shi jian. Perception enhanced intelligent robotic arm system[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2016, 50(6): 1155-1159.
[8] LUO Lin, SU Hong ye, BAN Lan. Nonparametric bayesian based on  mixture of dirichlet process in application of fault detection[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2015, 49(11): 2230-2236.
[9] WANG Ji-kui, LI Shao-bo. Quality evaluation algorithm for conflicting data sources based on true value finding[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2015, 49(2): 303-318.
[10] CAI Hua-lin, CHEN Gang, CHEN Ke. Spatial matching on multi-type resource[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2015, 49(1): 69-78.
[11] YU Dong-jin, YIN Yu-yu, WU Meng-meng, LIU Yu. QoS prediction for Web services based on hybrid collaborative filtering[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2014, 48(11): 2039-2045.
[12] KE Hai-feng, YING Jing. Real-time license character recognition technology based on R-ELM[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2014, 48(7): 1209-1216.
[13] LIU Zhi-hui, ZHANG Quan-ling. Research overview of big data technology[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2014, 48(6): 957-972.
[14] TIAN Tian,GONG Dun-wei. Evolutionary generation of test data for path coverage through selecting target paths based on coverage difficulty[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2014, 48(5): 948-994.
[15] KE Hai-feng, YING Jing. Real-time license character recognition technology based on R-ELM[J]. JOURNAL OF ZHEJIANG UNIVERSITY (ENGINEERING SCIENCE), 2014, 48(2): 0-0.