11.2 基于HSRN的飞控计算机系统可靠性分析