Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

<table class="table-group" id="tab3"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td class="align_left">Place</td><td class="align_center">Operational meaning</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td class="align_left">Pcw</td><td class="align_center">ARINC664 network is operational</td></tr><tr><td class="align_left">Pcf</td><td class="align_center">ARINC664 network is failed</td></tr><tr><td class="align_left">Pc1w</td><td class="align_center">ARINC664 network channel A is operational</td></tr><tr><td class="align_left">Pc1f</td><td class="align_center">ARINC664 network channel A is failed</td></tr><tr><td class="align_left">Pc2w</td><td class="align_center">ARINC664 network channel B is operational</td></tr><tr><td class="align_left">Pc2f</td><td class="align_center">ARINC664 network channel B is failed</td></tr><tr><td class="align_left">Pcn</td><td class="align_center">Number of channels in failed state</td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Places in GSPN model for ARINC664 network.</div>

International Journal of Aerospace Engineering

tab3

Table 3

Table 3: Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method 