XiaoMi-AI文件搜索系统
World File Search System航空电子
航空航天、国防和航空电子设备用硅胶技术
我们还制定了严格的产品测试协议，采用 ASTM 标准测试方法。根据您的规格，产品在生产过程中以及发布之前必须符合某些标准。您收到的每批货物都会附有分析证书。
TI 太空、航空电子和国防组件 - TI E2E
增强型产品 TI 的增强型产品 (EP) 产品组合包括 750 多种商用现货 (COTS) 产品，这些产品涵盖了整个电路板，可为您打造适用于恶劣环境应用的解决方案。这些产品提供多样性和设计灵活性，同时仍满足航空电子、国防和工业标准，可在需要高质量和长使用寿命的环境中运行。任何恶劣操作环境和长使用寿命应用领域的设计人员都可以从这个广泛的产品组合中受益。此外，虽然这些产品是为恶劣环境设计的，但超过 90% 的产品符合 EAR99 标准，可以在世界任何地方无限制销售。
IWMSE：航空电子领域基于 NoC 的 MPSoC 中的动态重构
现代基于片上网络的多处理器片上系统 (NoC-based MPSoCs) 具有更高的性能潜力，但也可能允许在飞机等复杂系统中将相同功能集中在更少的设备上。尽管有这些优势，但航空电子行业仍然不愿采用多核技术，因为必须满足可预测性等软件要求才能保证安全性和可靠性。多核处理器的应用对这些要求的影响尚未完全了解。因此，我们的研究是由航空电子领域中与多核应用相关的软件需求驱动的。我们解决系统行为的动态方面，并研究灵活分区和在线任务迁移作为一种在共享计算平台上提高资源利用率的方法。
适用于多任务飞行器的分布式集成模块化航空电子平台
图表目录.......................................................................................................................................................................................................................................................................................................................................................................................................................... xvii
美国陆军通用航空电子架构系统 (CAAS) 产品线：案例研究
案例研究总是很难制作，因为它们需要来自人们的内部信息，而这些人通常太忙，无法花时间与外界分享，这是可以理解的。每一个成功的案例研究都是相关人员和组织慷慨解囊的结果。这个也不例外。如果没有美国陆军技术应用计划办公室 (TAPO) 和爱荷华州锡达拉皮兹罗克韦尔柯林斯通用航空电子架构系统 (CAAS) 项目人员的时间、精力、热情和耐心，本报告不可能完成。我们特别感谢罗克韦尔柯林斯的 Steve Overbeck、Scott White 和 John Terry 以及 TAPO 员工。
在复杂的航空电子硬件架构上部署安全关键型应用程序
航空电子设备 (avionics) 是飞机上的复杂分布式系统。随着软件中实现的功能越来越多，这些系统的复杂性也在不断增加。由于性能的提高，硬件单元不再必须专用于单一系统功能。例如，多核处理器促进了这一趋势，因为它们可以在较小的功率范围内提供更高的系统性能。在航空电子设备中，如果仍然满足所有安全要求，现在可以将多个系统功能集成到单个硬件单元上。这种方法可以进一步优化系统架构，大幅减少空间、重量和功率 (SWaP) 占用空间，从而提高运输能力。但是，当前安全关键系统中的复杂性需要自动化软件部署过程，以便挖掘进一步降低 SWaP 的潜力。本文以现实的飞行控制系统为例，介绍了一种基于模型的新方法，用于自动化软件部署过程。该方法基于正确性构造原则，并作为系统工程工具集的一部分实施。此外，还提出了指标和优化标准，进一步帮助自动评估和改进生成的部署。本文最后讨论了在整个航空电子系统工程工作流程中更紧密地集成这种方法。关键词：航空电子；系统工程；软件部署；软件架构；安全关键系统
使用形式化分析保证航空电子重构方案的时间安排
分布式实时嵌入式系统的重新配置包括更改或修改子系统和/或子系统配置，以便更好地服务于某个目的 [1]。在航空电子系统中，模式变化自然用于适应不断变化的飞行操作条件。虽然模式是预先确定的，但它们可以通过重新配置来实现。重新配置可用于容忍可能导致某些关键功能因外部环境变化、系统用户请求或甚至应用程序中的定时事件而丢失的故障。L¨ofwenmark 等人的调查。[2] 表明容错架构仍然是一个重要的研究领域，将容错与时序保证相结合仍未解决，例如在多核架构存在的情况下。当系统组件发生故障时，可重构航空电子平台会将之前分配给故障组件的功能移动到另一个可用的系统组件中。这种重构方案除了提高可靠性之外，还可以在整个飞机生命周期的演进能力方面发挥作用。从 20 世纪末到现在的 21 世纪，商用飞机的使用寿命一直在增加 [3]，现已达到稳定状态。此外，维护、维修和大修 (MRO) 市场预计将产生强劲的未来需求，因为世界各地的军事空军决定升级传统飞机而不是采购新平台 [4]，从而延长了军用机队的使用寿命。例如，在巴西，最近的一次大修带来了
航空电子软件计算机生命周期管理系统作为支持航空运输可持续发展的工具
摘要：本文介绍了空军技术学院 (AFIT) 在构建对飞行安全至关重要的计算机支持和软件生命周期管理系统方面开展的分析和设计工作的部分结果。开展的工作旨在开发方法并进行验证和测试，以检测所开发的航空电子软件中的错误，以确保其符合 DO-178C 标准的要求以及该标准的生产、认证和机载实施。作者根据航空电子机载设备及其软件的构建和认证（其中包括 DO-254、DO-178C、AQAP 2210、ARP 4761、ARP 4754A）的实施要求开发了一个原始计算机系统。进行的分析涉及三组基本的航空电子软件开发过程，即软件规划、创建和集成。针对每个过程组，都提供了在构建的计算机系统中实施的解决方案示例。讨论了使用分支过程预测集成航空电子系统中实施的软件漏洞的新方法的理论基础。结果表明，预测未来软件版本中的漏洞的可能性可能会对评估软件生命周期中与软件安全相关的风险产生重大影响。指出，现有的一些定量模型
IWMSE：航空电子领域中基于 NoC 的 MPSoC 中的动态重新配置
现代基于片上网络的多处理器片上系统 (NoC-based MPSoCs) 具有更高的性能潜力，但也可能允许在飞机等复杂系统中将相同功能集中在更少的设备上。尽管有这些优势，但航空电子行业仍然不愿采用多核技术，因为必须满足可预测性等软件要求才能保证安全性和可靠性。多核处理器的应用对这些要求的影响尚未完全了解。因此，我们的研究是由航空电子领域中与多核应用相关的软件需求驱动的。我们解决系统行为的动态方面，并研究灵活分区和在线任务迁移作为一种在共享计算平台上提高资源利用率的方法。