The integrated modular avionics （IMA） architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management （HM/FM） scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets （SPN） to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.
Wan JianxiongXiang XudongBai XiaoyingLin ChuangKong XiangzhenLi Jianxiang
针对分组交换网性能评价问题,首先运用确定网络演算理论与方法,分析了航空全双工交换以太网(AFDX,Avionics Full DupleX Switched Ethernet)中数据传输的性能,证明了AFDX数据传输的确定性,给出了保障可靠数据传输网络参数的配置方案;其次,围绕有线-无线混合(WcW)网中贯穿流的随机特性,利用随机网络演算理论与方法,分析并推导出了WcW网络的数据传输性能边界。
