Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Performance Guarantees in Communication Networks
Performance Guarantees in Communication Networks
Methods for bounding end-to-end delays on an AFDX network
ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
Network calculus: a theory of deterministic queuing systems for the internet
Network calculus: a theory of deterministic queuing systems for the internet
Schedulability analysis of flows scheduled with FIFO: application to the expedited forwarding class
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Worst-case end-to-end delay analysis of an avionics AFDX network
Proceedings of the Conference on Design, Automation and Test in Europe
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
Synthesis of communication schedules for TTEthernet-based mixed-criticality systems
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
| Hi-index | 0.00 |
AFDX (Avionics Full Duplex Switched Ethernet) standardized as ARINC 664 is a major upgrade for avionics systems. But network delay analysis is required to evaluate end-to-end delay's upper bounds. The Network Calculus approach, that has been used to evaluate such end-to-end delay upper bounds for certification purposes, is shortly described. In this paper we present how the Trajectory approach can be applied to an AFDX avionics network. Moreover we explain how this approach can be optimized in this context. We show that, on an industrial configuration, it outperforms existing end-to-end delays upper bounds.