机构名称：
¥ 1.0
航空电子设备 (avionics) 是飞机上的复杂分布式系统。随着软件中实现的功能越来越多，这些系统的复杂性也在不断增加。由于性能的提高，硬件单元不再必须专用于单一系统功能。例如，多核处理器促进了这一趋势，因为它们可以在较小的功率范围内提供更高的系统性能。在航空电子设备中，如果仍然满足所有安全要求，现在可以将多个系统功能集成到单个硬件单元上。这种方法可以进一步优化系统架构，大幅减少空间、重量和功率 (SWaP) 占用空间，从而提高运输能力。但是，当前安全关键系统中的复杂性需要自动化软件部署过程，以便挖掘进一步降低 SWaP 的潜力。本文以现实的飞行控制系统为例，介绍了一种基于模型的新方法，用于自动化软件部署过程。该方法基于正确性构造原则，并作为系统工程工具集的一部分实施。此外，还提出了指标和优化标准，进一步帮助自动评估和改进生成的部署。本文最后讨论了在整个航空电子系统工程工作流程中更紧密地集成这种方法。关键词：航空电子；系统工程；软件部署；软件架构；安全关键系统
在复杂航空电子设备上部署安全关键型应用程序...
主要关键词
相关文件推荐
