关键词: 卫星, 控制系统, 时序模型, 时序约束

Abstract: A mathematical timing modeling and analysis method for control system of satellites are proposed. The importance of mathematical timing modeling is illuminated by the analysis of ESA and NASA’s methods and tools in timing model. To design and analyze the timing, a mathematical timing modeling method is introduced in detail, which includes decompounding model, distributing model, and margin model. The describing tool based on workflow is introduced, by which the parameters can be obtained to analyze the timing and indicate the timing testing.

Key words: satellite, control system, timing model, timing constraint