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

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

表4

在ARINC664 GSPN模型网络的转换。
过渡 操作意义 触发率(1 / h)
Tcf ARINC664网络从操作失败 - - - - - -
Tcr ARINC664网络从未能操作 - - - - - -
Tc1f ARINC664网络通道从操作失败
Tc1r ARINC664网络通道从未能操作 0.001
Tc2f ARINC664网络通道B从操作失败
Tc2r ARINC664网络通道B从未能操作 0.001