通信工程、自动化技术 |
|
|
|
|
基于增量链接的可回滚星载软件在轨更新方法 |
汪宏浩, 王慧泉, 金仲和 |
浙江大学 微小卫星研究中心,浙江 杭州 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 |
[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] BESZDES , FERENC R, GYIMTHY 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. |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|