一种应用于航空电子系统时间触发通信的重构系统和重构方法

摘要

本发明公开了一种应用于航空电子系统时间触发通信的重构系统和重构方法，重构系统是在传统航空电子系统中增加有：端系统故障记录模块、资源检查模块、配置生成模块和重构执行模块。重构方法包括有在端系统出现故障后选择重构策略的步骤，根据冗余端系统的备份资源执行迁移式重构的步骤，根据可占用空闲资源执行抢占式重构的步骤，对于资源不足则执行降级式重构的步骤。本发明重构方法在应用迁移的基础上，建立应用到消息的关联，针对不同的资源约束条件，以设计消息二次调度的方式来解决端系统模块上应用失效的故障问题。该重构方法基于可满足性模理论调度方法，能够使航空电子系统运行时支持端系统故障的恢复。