国际航空航天工程杂志》上
研究文章

基于FTGPN综合模块化航空电子系统的安全分析方法

表3

地方GSPN模型ARINC664网络。
的地方 操作意义
P连续波 ARINC664网络操作
Pcf ARINC664网络失败
Pc1w ARINC664网络通道操作
Pc1f ARINC664网络渠道是失败了
Pc2w ARINC664网络通道B是操作
Pc2f ARINC664网络通道B是失败了
Pcn 失败国家的频道数量