TTP/C协议可靠性建模与分析

TTP/C是一种基于TTA架构的高容错总线协议,针对其分布式、多点串行以及基于时间触发等特点,以系统可靠性理论和随机Petri网(SPN)理论为基础,设计一种基于SPN的可靠性分析模型。通过设定相关事件的发生时延,利用PIPE 4.3.0分析软件对该模型求解,得出TTP/C理论上的可靠度。文中提出的模型和仿真方法实现了对传统可靠性分析方法的继承和突破。仿真结果表明,TTP/C总线协议具有较低的故障率,可以满足航天航空控制应用领域的要求。

基于广义随机Petri网的鱼雷系统级测试性参数确定方法

在装备论证阶段,提出科学合理的测试性指标要求,可以有效指导测试性设计。目前鱼雷武器系统还缺乏有效的测试性参数定量分析方法,在综合比较现有各种测试性需求分析模型的基础上,提出了一种基于广义随机Petri网的测试性建模方法。通过构建鱼雷武器系统基层级维修保障流程的广义随机Petri网模型,得到状态可达图,并利用同构法,求解了测试性参数与可用度之间的关系;以可用度和平均故障修复时间为设计指标,对国外某型鱼雷的测试性参数进行了求解,并利用Petri网建模工具PIPE4.3.0软件进行了仿真分析,验证了模型和算法的有效性。