基于分层式有限状态机和Petri网的航天器仿真器控制系统设计

本文针对一种航天器地面仿真器控制系统采用的主程序和硬件定时中断服务程序结合实现实时性的机制.利用分层式有限状态机理论对主程序和中断程序各自内部的任务状态转换关系进行分析.利用Petri网理论对主程序和中断程序的并发性任务和资源共享状况进行分析.结合两种理论各自擅长的建模分析技术,高效、清晰、完整的表示出了控制流程,为软件工程化设计中详细设计和代码实现提供了准确的模型.系统的实际应用结果证明了上述方法的有效性.