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

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

表5

地方RDC GSPN模型和IMA系统。
的地方 操作意义
Pbw RDC是操作
P男朋友 RDC失败
P房颤 IMA系统是失败的