面向复杂航空电子系统的GSPN任务可靠性建模研究

摘要

考虑资源备份与重构的动态特征,采用广义随机Petri网对具有资源备份机制的典型航空电子系统架构进行可靠性建模,通过在TimeNet平台中开展模型仿真,基于功能模块的可用度指标对系统任务可靠性进行了评估应用,得到的瞬态仿真结果有效预测了该系统可用度时域特性,稳态分析结果经数值验证具有较高的精度,该建模方法为航空电子系统动态可靠性评估提供了参考.