## 5 Results and Discussion
### Experimental Validation of Quantitative Reliability Calculations
#### 5.2.1 Quantitative Calculation of Reliability of Sea to Air Missions
\begin{table}
\begin{tabular}{c c c} \hline
**AADL Unit/Logical Relationship Name** & **GO Operator Types** & **Operator Number** \\ \hline RF integrated equipment & 5 & 1 \\ Optical frequency & 5 & 2 \\ Target recognition software & 6 & 5 \\ Track generation software & 6 & 6 \\ Situation display software & 1 & 7 \\ Display device & 6 & 8 \\ Situation recognition software & 6 & 9 \\ Threat assessment software & 6 & 10 \\ Decision allocation software & 6 & 11 \\ Target accusation software & 6 & 12 \\ Computing service equipment 1 & 1 & 20 \\ Computing service equipment 5 & 1 & 21 \\ Computing service equipment 2 & 1 & 23 \\ Computing service equipment 6 & 1 & 24 \\ Computing service equipment 3 & 1 & 26 \\ Computing service equipment 7 & 1 & 27 \\ Computing service equipment 4 & 1 & 29 \\ Computing service equipment 8 & 1 & 30 \\ Remote Air Defense Equipment & 1 & 13 \\ Short range air defense equipment & 1 & 14 \\ Electronic interference & 1 & 15 \\ Network equipment 1 & 1 & 18 \\ Network equipment 2 & 1 & 19 \\ Power supply 1 & 5 & 16 \\ Power supply 2 & 5 & 17 \\ \hline \end{tabular}
\end{table} 
Table 14: Numbered list of operators for sea-to-air mission units. \[ \begin{array}{l}A_{R22}(1)=[P_{C16}(1)P_{C18}(1)P_{C20}(1)+P_{C17}(1)P_{C19}(1)P_{ C21}(1)\\ -P_{C16}(1)P_{C18}(1)P_{C17}(1)P_{C20}(1)P_{C21}(1)P_{C19}(1)]\\ -C_{1}[P_{C16}(1)P_{C18}(1)+P_{C17}(1)P_{C19}(1)-P_{C16}(1)P_{C17}(1)P_{C18}(1)P _{C19}(1)]\\ \\ A_{R25}(1)=[P_{C16}(1)P_{C18}(1)P_{C23}(1)+P_{C17}(1)P_{C19}(1)P_{C24}(1)\\ -P_{C16}(1)P_{C18}(1)P_{C17}(1)P_{C23}(1)P_{C24}(1)P_{C19}(1)]\\ -C_{2}[P_{C16}(1)P_{C18}(1)+P_{C17}(1)P_{C19}(1)-P_{C16}(1)P_{C17}(1)P_{C18}(1) P_{C19}(1)]\\ \\ A_{R28}(1)=[P_{C16}(1)P_{C18}(1)P_{C26}(1)+P_{C17}(1)P_{C19}(1)P_{C24}(1)\\ -P_{C16}(1)P_{C18}(1)P_{C17}(1)P_{C23}(1)P_{C27}(1)P_{C19}(1)]\\ -C_{3}[P_{C16}(1)P_{C18}(1)+P_{C17}(1)P_{C19}(1)-P_{C16}(1)P_{C17}(1)P_{C18}(1 )P_{C19}(1)]\\ \\ A_{R31}(1)=[P_{C16}(1)P_{C18}(1)P_{C29}(1)+P_{C17}(1)P_{C19}(1)P_{C24}(1)\\ -P_{C16}(1)P_{C18}(1)P_{C17}(1)P_{C23}(1)P_{C30}(1)P_{C19}(1)]\\ -C_{4}[P_{C16}(1)P_{C18}(1)+P_{C17}(1)P_{C19}(1)-P_{C16}(1)P_{C17}(1)P_{C18}(1 )P_{C19}(1)]\end{array}  \tag{37}\]  
\[ \begin{array}{l}A_{R31}(1)=[P_{C16}(1)P_{C18}(1)P_{C29}(1)+P_{C17}(1)P_{C19} (1)P_{C24}(1)\\ -P_{C16}(1)P_{C18}(1)P_{C17}(1)P_{C23}(1)P_{C30}(1)P_{C19}(1)]\\ -C_{4}[P_{C16}(1)P_{C18}(1)+P_{C17}(1)P_{C19}(1)-P_{C16}(1)P_{C17}(1)P_{C18}(1 )P_{C19}(1)]\end{array}  \tag{38}\]  
Taking \(C_{1}=C_{2}=C_{3}=C_{4}=\lambda\beta=0.00075\) and substituting it into the unit reliability data in Table 6 calculates the mission success probability to be 0.8815. The results of the quantitative calculations for the sea to air mission are presented in Figure 11.  
Based on the designed AADL transformed GO diagram model, the unit reliability data in Table 6 are filled into the corresponding operator unit reliability on the GO method analysis platform, the quantitative calculation results of the GO diagram model can be obtained, thus, the output of the system is 32-1 and the calculated value of mission reliability is 0.8815.