卫星控制系统时序建模分析方法研究

Timing Modeling and Analysis Method for Satellite Control System

分析国内外卫星控制系统时序分析与设计方法和方法的现状,阐述了对时序进行数学建模的重要性.提出了针对时序设计过程的数学建模分析方法和时序描述的工作流图方法,通过系统性的时序建模,可求解出时序过程中的所有时间参数,以便用于时序分析和指导时序测试.

A mathematical timing modeling and analysis method for control system of satellites are pro- posed. 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 ob- tained to analyze the timing and indicate the timing testing.