第 1 章 ARINC 429 教程介绍...................................................................................................................1 关于 ARINC....................................................................................................2 什么是 ARINC 429?......................................................................................2 ARINC 429 用法.......................................................................................3 ARINC 429 电气特性.......................................................................................3 协议....................................................................................................................5 位时序和斜率....................................................................................................6 ARINC 429 字格式....................................................................................7 奇偶校验....................................................................................................................7 SSM.............................................................................................................7 数据.............................................................................................................8 SDI.............................................................................................................8 标签.............................................................................................................8 传输顺序.............................................................................................
第 1 章 ARINC 429 教程介绍................................................................................................................1 关于 ARINC....................................................................................................2 什么是 ARINC 429?......................................................................................2 ARINC 429 用法................................................................................................3 ARINC 429 电气特性......................................................................................3 协议.............................................................................................................5 位时序和斜率.......................................................................................6 ARINC 429 字格式....................................................................................7 奇偶校验.............................................................................................................7 SSM.............................................................................................................7 数据.............................................................................................................8 SDI.............................................................................................................8 标签.............................................................................................................8 传输顺序.............................................................................................................8 ARINC 429 数据类型.....................................................................................9 BCD 数据编码.....................................................................................9 BNR 数据编码.....................................................................................9 混合格式.....................................................................................................10 离散数据格式.....................................................................................11 维护数据.....................................................................................................12数据转换方法................................................................................................12 面向位的协议.......................................................................................15
ARINC 规范 429,“数字信息传输系统 (DITS)”,于 1977 年首次发布,自此成为航空公司最广泛使用的 ARINC 标准。选择此航空公司标准的名称是为了避免将其描述为“数据总线”。尽管 ARINC 429 是一种数据传输工具,但它并不符合数据总线的正常定义。典型的数据总线通过一组线路在多个点之间提供多向数据传输。ARINC 429 的简单单向数据流严重限制了这种能力,但相关的低成本和安装的完整性为航空公司提供了一个提供优质服务的系统,已有二十多年的历史。有关航空电子标准的更多信息,请访问 URL http://www.arinc.com/aeec。
表 1.设备 ID 部分列表 ...................................................................... 4 表 2.ARINC 429 特性摘要 ...................................................................... 5 表 3.ARINC 位特性............................................................................. 6 表 4.BCD 数据的 SSM 代码 ...................................................................... 7 表 5.BNR 数据的 SSM 代码 ...................................................................... 7 表 6.专用离散示例 .............................................................................11 表 7.BCD 标签示例.............................................................................13 表 8.BNR 标签示例.............................................................................13 表 9.表 6 和 7 的设备 ID .............................................................13 表 10.消息标签 241 的序列 ................................................................14 表 11.使用面向位通信的系统及其地址标签 ..............................................................................................17
摘要 本文讨论了飞行员显示可视化速度的问题。航空电子设备中使用的软件必须遵循许多标准规定的严格规则。研究使用了 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-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的高数据率。
摘要。本文介绍了我们使用形式化方法开发符合 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总线是由美国航空电子设备制造商、定期航空公司、飞机制造商以及其他国家航空公司联合成立的航空无线电公司,所制定的一系列统一的工业标准和规范[1-2]。PC/104嵌入式系统具有功耗低、体积小、工作温度范围宽、可靠性高等突出优点[3-5]。早期实现ARINC-429的数据传输方式一般采用单片机控制系统[6-8],但存在通信速率低、时序控制不够灵活的不足,不适合ARINC-429的高速通信。
摘要。本文介绍了我们使用形式化方法开发符合 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总线是由美国航空电子设备制造商、定期航空公司、飞机制造商以及其他国家航空公司联合成立的航空无线电公司,所制定的一系列统一的工业标准和规范[1-2]。PC/104嵌入式系统具有功耗低、体积小、工作温度范围宽、可靠性高等突出优点[3-5]。早期实现ARINC-429的数据传输方式一般采用单片机控制系统[6-8],但存在通信速率低、时序控制不够灵活的不足,不适合ARINC-429的高速通信。