Time-accurate Middleware for the Virtualization of Communication Protocols
Rafael Scarduelli (LAAS-VERTICS), Pierre-Alain Bourdil, Silvano Dal, Zilio (LAAS-VERTICS), Didier Le Botlan (LAAS-VERTICS), P.-A Bourdil

TL;DR
This paper presents a time-accurate middleware for virtualizing avionics communication protocols like AFDX, enabling reliable simulation-based testing to replace costly physical tests.
Contribution
It introduces formal models and a prototype middleware for AFDX protocol virtualization that ensures temporal accuracy in simulations.
Findings
Formal models accurately capture AFDX temporal constraints
Middleware enables reliable virtual testing of communication protocols
Runtime monitors verify time-accuracy of middleware behavior
Abstract
Communication between devices in avionics systems must be predictable and deterministic, and data must be delivered reliably. To help the system architects comply with these requirements, network protocol standards like ARINC 429 and AFDX were created. Even though the behaviour of each component in a network is well defined, it is still necessary to test extensively every applications before deployment. But physical test benches used in the aircraft development process are complex and expensive platforms. In order to limit the need for physical tests, we propose a time-accurate middleware for virtualizing communication protocols that can be used to replace physical tests with simulations. We specified three formal models of AFDX networks that take into account temporal constraints with different levels of precision. We also developed a prototype for a network virtualization middleware…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsReal-Time Systems Scheduling · Engineering and Test Systems · Safety Systems Engineering in Autonomy
