Holistic schedulability analysis for multipacket messages in AFDX networks

Real-Time Systems

Volumn 50, Issue 2, 2014, Pages 230-269

  Gutiérrez, J Javier ^a   Palencia, J Carlos ^a   González Harbour, Michael ^a  

^a UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

AFDX; Distributed Systems; Networks; Real time; Response time analysis; Schedulability Analysis

Indexed keywords

NETWORKS (CIRCUITS); REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); SCHEDULING; TIME SWITCHES;

AFDX; DISTRIBUTED SYSTEMS; REAL TIME; RESPONSE-TIME ANALYSIS; SCHEDULABILITY ANALYSIS;

ETHERNET;

EID: 84896391065     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-013-9192-2     Document Type: Article

References (32)

1. Adnan M, Scharbarg J-L, Fraboul C (2011) Minimizing the search space for computing exact worst-case delays of AFDX periodic flows. In: Proc of the 6th IEEE international symposium on industrial embedded systems (SIES'11), Västerås, Sweden, pp 294-301
2. Airlines Electronic Engineering Committee, Aeronautical Radio Inc (2005) ARINC specification 664P7: aircraft data network, part 7 - avionics Full Duplex Switched Ethernet (AFDX) network, 27 June 2005
3. ARINC, Avionics Application Software Standard Interface (2006) ARINC specification 653-1, March 2006
4. Basu A, Bensalem S, Bozga M, Delahaye B, Legay A, Sifakis E (2010) Verification of an AFDX infrastructure using simulations and probabilities. In: Proc of the first international conference on runtime verification, RV 2010, Malta. LNCS, vol 6418. Springer, Berlin, pp 330-344
5. Bauer H, Scharbarg J-L, Fraboul C (2010) Improving the worst-case delay analysis of an AFDX network using an optimized trajectory approach. IEEE Trans Ind Inform 5(4):521-533
6. Bauer H, Scharbarg J-L, Fraboul C (2012) Applying trajectory approach with static priority queuing for improving the use of available AFDX resources. Real-Time Syst 48:101-133
7. Boyer M, Fraboul C (2008) Tightening end to end delay upper bound for AFDX network calculus with rate latency FIFO servers using network calculus. In: Proc of the IEEE international workshop on factory communication systems, WFCS, pp 11-20
8. Boyer M, Navet N, Olive X, Thierry E (2010) The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with network calculus. In: Proc of the 4th international symposium on leveraging applications, ISoLA. LNCS, vol 6415. Springer, Berlin, pp 122-136
9. CANalyzer.AFDX (2013) http://www.avionics-networking.com/av-canalyzer- afdx-en.html
10. Charara H, Scharbarg J-L, Ermont J, Fraboul C (2006) Methods for bounding end-to-end delays on an AFDX network. In: Proc of the 18th Euromicro conference on real-time systems, Dresden, Germany, pp 193-202
11. Condor Engineering (2005) AFDX/ARINC 664 tutorial, May 2005. http://www.acalmicrosystems.co.uk/whitepapers/sbs8.pdf
12. Cummings R, Richter K, Ernst R, Diemer J, Ghosal A (2012) Exploring use of Ethernet for in-vehicle control applications: AFDX, TTEthernet, EtherCAT, and AVB. SAE Int J Passeng Cars, Electron Electr Syst 5(1):72-88
13. Davis RI, Burns A, Bril RJ, Lukkien JJ (2007) Controller area network (CAN) schedulability analysis: refuted, revisited and revised. Real-Time Syst 35(3):239-272
14. Fan X, Jonsson M, Jonsson J (2009) Guaranteed real-time communication in packet-switched networks with FCFS queuing. Comput Netw 53(3):400-417
15. Frances F, Fraboul C, Grieu J (2006) Using network calculus to optimize the AFDX network. In: Proc of the ERTS, Toulouse, France
16. González Harbour M, Gutiérrez JJ, Palencia JC, Drake JM (2001) MAST: modeling and analysis suite for real time applications. In: Proc of 13th Euromicro conference on real-time systems, Delft, The Netherlands, pp 125-134
17. Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis - the SymTA/S approach. IEE Proc Comput Digit Tech 152(2):148-166
18. Maki-Turja J, Nolin M (2008) Efficient implementation of tight response-times for tasks with offsets. Real-Time Syst 40(1):77-116
19. Martin S, Minet P (2006) Schedulability analysis of flows scheduled with FIFO: application to the expedited forwarding class. In: Proc of the 20th int parallel and distributed processing symposium, Rhodes Island, Greece
20. MAST: modelling and analysis suite for real-time systems (2013) Home page: http://mast.unican.es
21. Palencia JC, Gutiérrez JJ, González Harbour M (1997) On the schedulability analysis for distributed hard real-time systems. In: Proc of the 9th Euromicro workshop on real-time systems, Toledo, Spain, pp 136-143
22. Palencia JC, González Harbour M (1999) Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: Proc of the 20th IEEE real-time systems symposium, Phoenix, USA, pp 328-339
23. Palencia JC, González Harbour M (2003) Offset-based response time analysis of distributed systems scheduled under EDF. In: Proc of the 15th Euromicro conference on real-time systems, Porto, Portugal, pp 3-12
24. Rivas JM, Gutiérrez JJ, Palencia JC, González Harbour M (2011) Schedulability analysis and optimization of heterogeneous EDF and FP distributed real-time systems. In: Proc of the 23rd Euromicro conference on real-time systems, Porto, Portugal, pp 195-204
25. Rox J, Ernst R (2010) Formal timing analysis of full duplex switched based Ethernet network architectures. In: SAE world congress, vol system level architecture design tools and methods (AE318), Detroit, MI, USA. SAE international
26. RTaW-Pegase (2013) http://www.realtimeatwork.com/software/rtaw-pegase/
27. Ruggedcom Industrial Strength Networks (2008) Latency on a switched Ethernet network, April 2008. http://www.ruggedcom.com/pdfs/application-notes/ latency-on-a-switched-ethernet-network.pdf
28. Scharbarg J-L, Ridouard F, Fraboul C (2009) A probabilistic analysis of end-to-end delays on an AFDX network. IEEE Trans Ind Inform 5(1):38-49
29. Siemon (1997) Propagation delay and delay skew. White paper. http://www.siemon.com/us/white-papers/97-06-03-delayskew.asp
30. Spuri M (1996) Holistic analysis of deadline scheduled real-time distributed systems. RR-2873, INRIA, France
31. SymTA/S (2013) http://www.symtavision.com/
32. Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Microprocess Microprogram 50(2-3):117-134