Jinjie Wen, Zhengxu Zhao, Qian Zhong, Journal of Information Processing Systems Vol. 15, No. 6, pp. 1472-1488, Dec. 2019  

10.3745/JIPS.04.0153
Keywords: formal method, Interplanetary Transportation, Net Assessment, Teleoperation System, Trustworthy Evidence
Fulltext: PDF Full Text PubReader

Abstract

Critical elements in the China’s Lunar Exploration reside in that the lunar rover travels over the surrounding undetermined environment and it conducts scientific exploration under the ground control via teleoperation system. Such an interplanetary transportation mission teleoperation system belongs to the ground application system in deep space mission, which performs terrain reconstruction, visual positioning, path planning, and rover motion control by receiving telemetry data. It plays a vital role in the whole lunar exploration operation and its so-called trustworthy evidence must be assessed before and during its implementation. Taking ISO standards and China’s national military standards as trustworthy evidence source, the net assessment model and net assessment method of teleoperation system are established in this paper. The multi-dimensional net assessment model covering the life cycle of software is defined by extracting the trustworthy evidences from trustworthy evidence source. The qualitative decisions are converted to quantitative weights through the net assessment method (NAM) combined with fuzzy analytic hierarchy process (FAHP) and entropy weight method (EWM) to determine the weight of the evidence elements in the net assessment model. The paper employs the teleoperation system for interplanetary transportation as a case study. The experimental result drawn shows the validity and rationality of net assessment model and method. In the final part of this paper, the untrustworthy elements of the teleoperation system are discovered and an improvement scheme is established upon the “net result”. The work completed in this paper has been applied in the development of the teleoperation system of China’s Chang’e-3 (CE-3) “Jade Rabbit-1” and Chang’e-4 (CE-4) “Jade Rabbit-2” rover successfully. Besides, it will be implemented in China’s Chang’e-5 (CE-5) mission in 2019. What’s more, it will be promoted in the Mars exploration mission in 2020. Therefore it is valuable to the development process improvement of aerospace information system.

Statistics
Cite this article