T-timed Discrete Petri Net Modeling of Bus-based Satellite Aviation System
Shijie Zhang · Jisuanji fangzhen · 2009
The performance and reliability of satellite are determined by aviation system (AS) scheme, because AS is the management center of satellite and it performs the mission of parameters collecting, data dealing, information extraction and various control mode executing, etc. The bus-based micro-satellite aviation system scheme was proposed and the corresponding T- timed discrete PetriNet model was designed. Then the performance analysis and evaluation was discussed. The mathematical simulation results show that the bus-based aviation system is more suitable in or-board real time computation.