Research on Modeling of Satellite On-orbit Operation Procedure
Wei Shuai Lv, Xiaoyu He, Wei Qin · Journal of Physics Conference Series · 2020
Abstract Aiming at the demand of the TT&C system for the on-orbit satellite to automatically perform various operations, the paper proposes a modeling technology for on-orbit operation procedures. Based on the formal method, a grammer specification of operating rules is formulated, and modeling rules of operating rules are defined by XML Schema. The process of graphical editing, serialization and deserialization of operating rules is presented. Practical application shows that it can improve the design and execution efficiency of operating procedures.