Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Methods for bounding end-to-end delays on an AFDX network
ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
Efficient implementation of tight response-times for tasks with offsets
Real-Time Systems
Guaranteed real-time communication in packet-switched networks with FCFS queuing
Computer Networks: The International Journal of Computer and Telecommunications Networking
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
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
Schedulability Analysis and Optimization of Heterogeneous EDF and FP Distributed Real-Time Systems
ECRTS '11 Proceedings of the 2011 23rd Euromicro Conference on Real-Time Systems
Hi-index | 0.00 |
The ARINC-664, Part 7 (AFDX) standard defines a communication network based on Ethernet and the UDP/IP protocols. Contrary to general-purpose Ethernet, the timing behavior in AFDX is deterministic due to the use of special network switches and end systems with static routing tables and traffic policing at the sending end through mechanisms called virtual links. Even though the latencies in this network are bounded, there are scheduling and contention effects that need to be analyzed. In this paper we develop a response-time analysis for multipacket messages transmitted through an AFDX network including the scheduling of the virtual links and sub-virtual links, and also the contention in the end systems and in the switches. This analysis allows us to obtain worst-case latencies and output jitter for the network messages with a precise modeling of the sending and receiving ends. These results can be integrated in a holistic approach with the response time analysis of the threads in the processing nodes to obtain end-to-end response times in heterogeneous distributed systems.