Applying and optimizing Trajectory approach for performance evaluation of AFDX avionics network
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Worst-case end-to-end delay analysis of an avionics AFDX network
Proceedings of the Conference on Design, Automation and Test in Europe
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Analyzing end-to-end functional delays on an IMA platform
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Verification of an AFDX infrastructure using simulations and probabilities
RV'10 Proceedings of the First international conference on Runtime verification
Engineering and analyzing multi-switch networks with single point of control
Proceedings of the 1st International Workshop on Worst-Case Traversal Time
Existing offset assignments are near optimal for an industrial AFDX network
ACM SIGBED Review - Special Issue on the 10th International Workshop on Real-time Networks (RTN 2011)
An extension of the OMNeT++ INET framework for simulating real-time ethernet with high accuracy
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
Bandwidth allocation under end-to-end percentile delay bounds
International Journal of Network Management
Evolving robust networks for systems-of-systems
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Optimal design of virtual links in AFDX networks
Real-Time Systems
Hi-index | 0.00 |
Architectures of avionics networks, such as that of the Airbus A380, currently know important evolutions. This is principally due to the increase in the complexity of the embedded systems, in term of rise in number of integrated functions and their connectivity. The evolution of Switched Ethernet technologies allows their implementation as an avionics architecture (AFDX: Avionics Full Duplex Switched Ethernet). The problem is then to prove that no frame will be lost by the network (no switch queue will overflow) and to evaluate the end-to-end transfer delay through the network. The objective of this paper is to present and shortly compare three methods for the evaluation of end-to-end delays: network calculus, queuing networks simulation and model checking.