用于验证 AFDX 与以太网航空电子网络的事件驱动链路级仿真器
网络与互联网体系结构
2025-01-23 v1 性能
摘要
飞机由许多电子系统组成:传感器、显示器、导航设备和通信元件。这些元件需要可靠的互连,这对通信网络而言是一项重大挑战,因为必须验证高可靠性和可预测性要求以确保安全运行。此外,通过硬件部署进行验证受到限制,因为这成本高昂且难以尝试不同的架构和配置,从而延误了该领域的设计与开发。因此,在设计过程的早期阶段进行验证至关重要,且必须由仿真提供支持。在此背景下,这项工作提出了一个用于验证航空电子网络的事件驱动链路级框架和仿真器。所提出的工具支持诸如航空电子全双工交换式以太网 (Avionics Full-Duplex Switched Ethernet, AFDX) 等通信协议,这是航空电子领域中的常见协议,以及采用静态路由的以太网。此外,仿真器通过对不同设备使用现实模型来提供准确的结果。所提出的平台在 Clean Sky 面向大型客机的颠覆性驾驶舱架构场景中进行了评估,展示了仿真器的能力。验证速度是其应用的关键因素,因此我们分析了计算成本,证明执行时间与发送的消息数量呈线性关系。
引用
@article{arxiv.2312.13969,
title = {An event-driven link-level simulator for validation of AFDX and Ethernet avionics networks},
author = {Pablo Vera-Soto and Javier Villegas and Sergio Fortes and José Pulido and Vicente Escaño and Rafael Ortiz and Raquel Barco},
journal= {arXiv preprint arXiv:2312.13969},
year = {2025}
}