[1]Mitchell T R. A standard test language-GOAL[C]∥The 10th Workshop on Design Automation. 1973: 87-96.
[2]Garner J T. Satellite control: a comprehensive approach[M]. New York: John Wiley and Sons, 1996.
[3]Harrison M, McLennan M. Effective Tcl/Tk programming[M]. Reading, M.A., Harlow, England: Addison-Wesley Professional, 1998.
[4]Integral Systems Incorporation. EPOCH T&C STOL programmer’s reference manual[R]. ISI-EPOCH-0094, 1992.
[5]IEEE Standard Coordinating Committee. ATLAS 2000 requirements document revision 2.1[R]. New York: USA: IEEE,1996.
[6]张建泉.面向航天应用的自动测试语言研究[D]. 北京: 中国科学院空间科学与应用研究中心, 2005.
Zhang Jianquan. Study of automatic test language for spacecraft application system[D]. Beijing: Center for Space Science and Applied Research Graduate University of Chinese Academy of Sciences, 2005. (in Chinese)
[7]李征宇. 卫星测试操作语言及其集成支持环境研究[D]. 北京: 中国科学院空间科学与应用研究中心, 2004.
Li Zhengyu. Study of language for satellite testing and operation and its integrated support environment[D]. Beijing: Center for Space Science and Applied Research Graduate University of Chinese Academy of Sciences, 2004. (in Chinese)
[8]王胜军. ATLAS语言的编译系统[D]. 吉林: 吉林大学, 2006.
Wang Shengjun. The compiler system of ATLAS [D]. Jilin: Jilin University, 2006. (in Chinese)
[9]KSC[EB/OL].[2007-10-10]. http:∥www.ksc.nasa.gov.
[10]NASA[EB/OL].[2007-09-06]. http:∥www.nasa.gov.
[11]International Business Machines Corporation. SLCC ATOLL user’s manual, IBM[R]. 70-F11-0001, 1970.
[12]John F.Kennedy Space Center. Requirements for a standard language for test and ground operations[R]. KSC-TR-1111, 1971.
[13]John F. Kennedy Space Center. Ground operations aerospace language-syntax diagrams handbook[R]. KSC-TR-1213, 1973.
[14]John F.Kennedy Space Center. Ground operations aerospace language-textbook[R]. KSC-TR-1228,1973.
[15]ESA[EB/OL].[2007-12-18]. http:∥www.esa.int/esaCP/index.html.
[16]王庆成. 卫星电气测试的有力工具[J].航天器工程,1992,3:36-40, 58.
Wang Qingcheng. A powerful tool of satellite electrical test [J]. Spacecraft Engineering, 1992, 3:36-40, 58. (in Chinese)
[17]Garner J T,Jones M. ETOL and ESA communication satellite programmes [J]. Journal of the British Interplanetary Society,1987, 40(9): 427-431.
[18]Morisio M, Seaman C B, Basili V R, et al. COTS-based software development: processes and open issues[J]. Journal of Systems and Software, 2002, 61 (3):189-199.
[19]Ousterhout J K. Tcl and the Tk toolkit[M]. Massachusetts: Addison-Wesley Professional, 1994.
[20]Integral Systems Incorporation[EB/OL].[2007-11-08]. http:∥www.integ.com.
[21]Integral Systems Incorporation. EPOCH T&C principle of operation[R]. ISI-EPOCH-0003, 1992.
[22]IEEE Standard Coordinating Committee. Standard test language for all systems common/abbreviated test language for all systems(C/ATLAS)[S]. New York, USA: IEEE, 1995.
[23]IEEE Standard Coordinating Committee. ATLAS 2000 introductory guide Rev B [R]. New York, USA: IEEE, 1997.
[24]IEEE Standard Coordinating Committee.ATLAS 2000 functional specification[R]. New York, USA: IEEE, 1997.
[25]IEEE Standard Coordinating Committee. ATLAS 2000 architecture document revision 3.0 [R]. New York, USA: IEEE, 1997.
[26]IEEE Standard Coordinating Committee.Users manual for the signal and method modeling language[R]. Draft. New York, USA: IEEE, 1998.
[27]TYX Corporation. PAWS/developer’s studio[EB/OL].[2008-05-06]http:∥www.tyx.com/pawsdeva.html.
[28]王宪文.航天器测试控制语言设计与实现方法研究 [J].航天器工程,2007,16(2): 57-63.
Wang Xianwen. Design and realization method of the test and control language for spacecraft overall checkout[J]. Spacecraft Engineering, 2007, 16(2):57-63. (in Chinese)
[29]北京航空航天大学. XXXX卫星自动化测试系统需求分析 [R]. 北京:北京航空航天大学, 2008.
Beijing University of Aeronautics and Astronautics. Requirements for XXXX satellite automatic test system [R]. Beijing: Beijing University of Aeronautics and Astronautics, 2008. (in Chinese)
[30]Szyperski C, Gruntz D, Murer S. Component-software: beyond object-oriented programming [M]. Boston: Addison-Wesley/ACM Press, 2002.
[31]Papazoglou M P, Georgakopoulos D. Service oriented computing: introduction[J]. Communications of the ACM, 2003, 46 (10): 24-28.
[32]王庆成. 航天器电测技术[M]. 北京:中国科学技术出版社, 2007.
Wang Qingcheng. Electrical test technology of spacecraft[M]. Beijing: Chinese S&T Press, 2007. (in Chinese)
[33]Chen Y Y, Ge L, Hua B J, et al. Design of a certifying compiler supporting proof of program safety[C]∥The 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering. 2007: 127-136. |