机构名称：
¥ 1.0
分布式实时嵌入式系统的重新配置包括更改或修改子系统和/或子系统配置，以便更好地服务于某个目的 [1]。在航空电子系统中，模式变化自然用于适应不断变化的飞行操作条件。虽然模式是预先确定的，但它们可以通过重新配置来实现。重新配置可用于容忍可能导致某些关键功能因外部环境变化、系统用户请求或甚至应用程序中的定时事件而丢失的故障。L¨ofwenmark 等人的调查。[2] 表明容错架构仍然是一个重要的研究领域，将容错与时序保证相结合仍未解决，例如在多核架构存在的情况下。当系统组件发生故障时，可重构航空电子平台会将之前分配给故障组件的功能移动到另一个可用的系统组件中。这种重构方案除了提高可靠性之外，还可以在整个飞机生命周期的演进能力方面发挥作用。从 20 世纪末到现在的 21 世纪，商用飞机的使用寿命一直在增加 [3]，现已达到稳定状态。此外，维护、维修和大修 (MRO) 市场预计将产生强劲的未来需求，因为世界各地的军事空军决定升级传统飞机而不是采购新平台 [4]，从而延长了军用机队的使用寿命。例如，在巴西，最近的一次大修带来了
使用形式化分析保证航空电子重构方案的时间安排
主要关键词
相关文件推荐
