Aircraft are composed of many electronic systems: sensors, displays, navigation equipment and communication elements. These elements require a reliable interconnection, which is a major challenge for communication networks as high reliability and predictability requirements must be verified for safe operation. In addition, their verification via hardware deployments is limited because these are costly and make difficult to try different architectures and configurations, thus delaying the design and development in this area. Therefore, verification at early stages in the design process is of great importance and must be supported by simulation. In this context, this work presents an event-driven link level framework and simulator for the validation of avionics networks. The presented tool supports communication protocols such as Avionics Full-Duplex Switched Ethernet (AFDX), which is a common protocol in avionics, as well as Ethernet, used with static routing. Alsa, accurate results are facilitated by the simulator through the utilization of realistic models for the different devices. The proposed platform is evaluated in Clean Sky's Disruptive Cockpit for Large Passenger Aircraft architecture scenario showing capabilities of the simulator. The speed of the verification is a key factor in its application, so the computational cost is analysed, proving that the execution time is linearly dependent on the number of messages sent.

翻译：飞机由众多电子系统组成：传感器、显示器、导航设备和通信元件。这些元件需要可靠的互联，这对通信网络而言是一项重大挑战，因为必须验证高可靠性和高可预测性要求以确保安全运行。此外，通过硬件部署进行验证受到限制，因为其成本高昂且难以尝试不同的架构和配置，从而延误了该领域的设计和开发。因此，在设计过程的早期阶段进行验证至关重要，且必须通过模拟来支持。在此背景下，本文提出了一种用于验证航空电子网络的事件驱动链路级框架和模拟器。该工具支持航空电子全双工交换以太网（AFDX）等航空电子领域常用协议，以及采用静态路由的以太网。同时，模拟器通过利用不同设备的真实模型提供精确结果。所提出的平台在洁净天空计划的大型客机颠覆性驾驶舱架构场景中进行了评估，展示了模拟器的能力。验证速度是其应用中的关键因素，因此对计算成本进行了分析，证明执行时间与发送消息的数量呈线性关系。