XiaoMi-AI文件搜索系统
World File Search SystemARINC
DNA/DNR-ARINC-664系列
董事会基于运行DO-178认证操作系统的Freescale 8347处理器。在PowerDNA模式下，立方体/机架本身也使用UC，因此，尽管该单元未通过DO-178认证，但操作系统已经大大减少了认证时间的事实。高级用户还可能希望在板的固件中实现特定功能，以使用自定义μC代码实现。尽管多种调试工具对立方体/机架得到了很好的支持，但板上提供了诊断RS-232端口，可轻松访问板功能的最低级别。
ARINC 661 的多用途交互式应用程序 (MPIA)
摘要。本文介绍了我们使用形式化方法开发符合 ARINC 661 规范标准的人机界面 (HMI) 的经验，该界面可用于交互式驾驶舱应用程序。此开发依赖于我们在 FORMEDICIS 1 项目中提出并正式定义的 FLUID 建模语言。FLUID 包含指定 HMI 所需的基本功能。为了开发多用途交互式应用程序 (MPIA) 用例，我们遵循以下步骤：使用 FLUID 语言编写 MPIA 的抽象模型；此 MPIA FLUID 模型用于生成 Event-B 模型，以检查功能行为、用户交互、安全属性以及与域属性相关的交互；Event-B 模型还用于使用 ProB 模型检查器检查时间属性和可能的情况；最后，使用 PetShop CASE 工具将 MPIA FLUID 模型转换为交互式协作对象 (ICO)，以验证动态行为、视觉属性和任务分析。这些步骤依赖于不同的工具来检查内部一致性以及可能的 HMI 属性。最后，使用 FLUID 对 MPIA 案例研究进行正式开发并将其嵌入到其他正式技术中，证明了我们在 FORMEDICIS 项目中定义的方法的可靠性、可扩展性和可行性。
使用硬件优化 ARINC 661 的 OpenGL 渲染...
摘要 本文讨论了飞行员显示可视化速度的问题。航空电子设备中使用的软件必须遵循许多标准规定的严格规则。研究使用了 OpenGL Safety Critical (SC)，并在飞机实时操作系统 JetOS 中运行 Vivante GPU 硬件支持。航空电子标准之一 ARINC 661 定义了在驾驶舱显示系统中呈现的应用程序。它提出了高效使用 OpenGL SC 以确保可接受的可视化速度的问题。由于 ARINC 661 服务器准备的应用程序的特殊性，未来飞机平台（带有 Vivante GPU 的 i.MX6 处理器）的可视化速度太慢，无法满足航空要求。我们提出并实施了一种高效的可视化速度加速算法。首先优化了 OpenGL 调用。但这种优化不能直接集成到 ARINC 661 服务器中。因此，我们设计并阐述了一个特殊的中间模块。所提出的方法可以实现飞机飞行员显示器可接受的可视化速度。关键词 1 飞行员显示，可视化速度，实时操作系统，OpenGL Safety Critical，GPU加速，ARINC 661服务器
正式开发用于 ARINC 661 的多用途交互式应用程序 (MPIA)
摘要。本文介绍了我们使用形式化方法开发符合 ARINC 661 规范标准的人机界面 (HMI) 的经验，该界面可用于交互式驾驶舱应用程序。此开发依赖于我们在 FORMEDICIS 1 项目中提出并正式定义的 FLUID 建模语言。FLUID 包含指定 HMI 所需的基本功能。为了开发多用途交互式应用程序 (MPIA) 用例，我们遵循以下步骤：使用 FLUID 语言编写 MPIA 的抽象模型；此 MPIA FLUID 模型用于生成 Event-B 模型，以检查功能行为、用户交互、安全属性以及与域属性相关的交互；Event-B 模型还用于使用 ProB 模型检查器检查时间属性和可能的情况；最后，使用 PetShop CASE 工具将 MPIA FLUID 模型转换为交互式协作对象 (ICO)，以验证动态行为、视觉属性和任务分析。这些步骤依赖于不同的工具来检查内部一致性以及可能的 HMI 属性。最后，使用 FLUID 对 MPIA 案例研究进行正式开发并将其嵌入到其他正式技术中，证明了我们在 FORMEDICIS 项目中定义的方法的可靠性、可扩展性和可行性。
ARINC-429-OPAL-RT
OPAL-RT 是 PC/FPGA 实时数字模拟器、硬件在环 (HIL) 测试设备和快速控制原型 (RCP) 系统开发领域的全球领导者，用于设计、测试和优化电网、电力电子、电机驱动器、汽车工业、火车、飞机和各个行业以及研发中心和大学中使用的控制和保护系统。opal-rt.com
ARINC-429-OPAL-RT
OPAL-RT 是 PC/FPGA 实时数字模拟器、硬件在环 (HIL) 测试设备和快速控制原型 (RCP) 系统开发领域的全球领导者，用于设计、测试和优化电网、电力电子、电机驱动器、汽车工业、火车、飞机和各个行业以及研发中心和大学中使用的控制和保护系统。opal-rt.com
ARINC-429-OPAL-RT
OPAL-RT 是 PC/FPGA 实时数字模拟器、硬件在环 (HIL) 测试设备和快速控制原型 (RCP) 系统开发领域的全球领导者，用于设计、测试和优化电网、电力电子、电机驱动器、汽车工业、火车、飞机和各个行业以及研发中心和大学中使用的控制和保护系统。opal-rt.com
ARINC-429-OPAL-RT
OPAL-RT 是 PC/FPGA 实时数字模拟器、硬件在环 (HIL) 测试设备和快速控制原型 (RCP) 系统开发领域的全球领导者，用于设计、测试和优化电网、电力电子、电机驱动器、汽车工业、火车、飞机和各个行业以及研发中心和大学中使用的控制和保护系统。opal-rt.com
ARINC-429 - OPAL-RT
OPAL-RT 是基于 PC/FPGA 的实时数字模拟器、硬件在环 (HIL) 测试设备和快速控制原型 (RCP) 系统开发领域的全球领导者，用于设计、测试和优化电网、电力电子、电机驱动器、汽车工业、火车、飞机和各个行业以及研发中心和大学中使用的控制和保护系统。opal-rt.com
ARINC-429机载通信收发系统
随着超大规模集成电路技术的飞跃发展，综合航空电子设备，集成度越来越高。数据总线对于设备快速、高效、可靠的数据传输具有不可替代的作用。ARINC-429总线是由美国航空电子设备制造商、定期航空公司、飞机制造商以及其他国家航空公司联合成立的航空无线电公司，由各公司制定的一系列统一的工业标准和规范[1-2]。PC/104嵌入式系统具有功耗低、体积小、工作温度范围宽、可靠性高等突出优点[3-5]。早期实现ARINC-429的数据传输方式一般采用MCU控制系统[6-8]，但存在通信速率低、时序控制不够灵活的不足，不适合ARINC-429的高速通信。FPGA(Field Programmable Gate Array，现场可编程门阵列)具有工作主频高、可以并行处理数据等优点。针对传统方法的缺点，本文采用FPGA作为定时和译码控制芯片，采用16位数据总线，芯片采用ARINC429，HI-8582总线，使机载通信设备的传输速率达到100kbit/s的高数据率。