航空电子系统规模和复杂度的迅速增长, 对时间触发网络的容错能力和可靠性提出了更高的要求。重构作为故障处理的一项重要技术, 可以提高系统的容错能力和可靠性, 延长系统的生命周期。在基于应用迁移的重构策略研究基础上, 根据航空电子时间触发网络中不同资源约束条件, 针对端系统模块级故障导致其上驻留应用失效的问题, 提出了迁移、抢占、降级3种重构方式; 针对时间触发网络, 建立应用和消息的关联, 基于可满足性模理论提出了一种支持端系统模块重构的消息调度算法; 最后, 通过仿真实验, 从实时性角度验证了重构算法的合理性。

In recent years, rapid expansion of scale and increase of complexity of the avionics system bring higher demands on fault tolerance and reliability of Time-Triggered (TT) network.As an important technology of fault management, reconfiguration can improve fault tolerance and reliability of a specific system, and prolong its lifespan as well.In this paper, based on the reconfiguration strategy of application migration and according to different resource constraints in the avionics time-triggered network, three kinds of reconfiguration methods are proposed, namely, migration, preemption and degradation, so as to tackle the problem of application failure of the end system due to modular failure.Whats more, the relation between applications and messages in TT network is established, and a message scheduling algorithm based on Satisfiability Modulo Theories (SMT) is proposed, which can support fault recovery of the end system.The case study based on the real-time test shows that the proposed reconfiguration strategies are reasonable.