基于信息流的卫星导航系统可靠性建模与分析

摘要

卫星导航系统是分布式的复杂动态系统,系统可靠性要求较高,对系统可靠性分析设计和评估具有十分迫切的需求,需要用随机动态方法仿真系统可靠性.本文针对卫星导航系统时间相关的行为特点,采用动态着色Petri网建立基于导航信息流的可靠性动态模型方法,描述和分析评估系统可靠性.本文使用TimeNet工具,基于信息流按照结构化特点分层次建立卫星导航系统随机着色Petri网络模型,分析了卫星导航系统的可用性和信号连续性.该方法适用于复杂动态系统的可靠性分析,可用于预测评估卫星导航系统的可靠性.