  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.
