{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T14:55:07Z","timestamp":1776956107866,"version":"3.51.4"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,10,4]],"date-time":"2013-10-04T00:00:00Z","timestamp":1380844800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1007\/s11241-013-9192-2","type":"journal-article","created":{"date-parts":[[2013,10,3]],"date-time":"2013-10-03T20:26:37Z","timestamp":1380831997000},"page":"230-269","source":"Crossref","is-referenced-by-count":28,"title":["Holistic schedulability analysis for multipacket messages in AFDX networks"],"prefix":"10.1007","volume":"50","author":[{"given":"J. Javier","family":"Guti\u00e9rrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Carlos","family":"Palencia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gonz\u00e1lez\u00a0Harbour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,4]]},"reference":[{"key":"9192_CR1","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/SIES.2011.5953673","volume-title":"Proc of the 6th IEEE international symposium on industrial embedded systems (SIES\u201911)","author":"M Adnan","year":"2011","unstructured":"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\u201911), V\u00e4ster\u00e5s, Sweden, pp 294\u2013301"},{"key":"9192_CR2","unstructured":"Airlines Electronic Engineering Committee, Aeronautical Radio Inc (2005) ARINC specification 664P7: aircraft data network, part 7\u2014avionics Full Duplex Switched Ethernet (AFDX) network, 27 June 2005"},{"key":"9192_CR3","unstructured":"ARINC, Avionics Application Software Standard Interface (2006) ARINC specification 653-1, March 2006"},{"key":"9192_CR4","series-title":"LNCS","first-page":"330","volume-title":"Proc of the first international conference on runtime verification, RV 2010","author":"A Basu","year":"2010","unstructured":"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\u2013344"},{"issue":"4","key":"9192_CR5","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1109\/TII.2010.2055877","volume":"5","author":"H Bauer","year":"2010","unstructured":"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\u2013533","journal-title":"IEEE Trans Ind Inform"},{"key":"9192_CR6","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/s11241-011-9142-9","volume":"48","author":"H Bauer","year":"2012","unstructured":"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\u2013133","journal-title":"Real-Time Syst"},{"key":"9192_CR7","first-page":"11","volume-title":"Proc of the IEEE international workshop on factory communication systems, WFCS","author":"M Boyer","year":"2008","unstructured":"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\u201320"},{"key":"9192_CR8","series-title":"LNCS","first-page":"122","volume-title":"Proc of the 4th international symposium on leveraging applications, ISoLA","author":"M Boyer","year":"2010","unstructured":"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\u2013136"},{"key":"9192_CR9","unstructured":"CANalyzer.AFDX (2013) http:\/\/www.avionics-networking.com\/av_canalyzer_afdx_en.html"},{"key":"9192_CR10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1109\/ECRTS.2006.15","volume-title":"Proc of the 18th Euromicro conference on real-time systems","author":"H Charara","year":"2006","unstructured":"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\u2013202"},{"key":"9192_CR11","unstructured":"Condor Engineering (2005) AFDX\/ARINC 664 tutorial, May 2005. http:\/\/www.acalmicrosystems.co.uk\/whitepapers\/sbs8.pdf"},{"issue":"1","key":"9192_CR12","doi-asserted-by":"crossref","first-page":"72","DOI":"10.4271\/2012-01-0196","volume":"5","author":"R Cummings","year":"2012","unstructured":"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\u201388","journal-title":"SAE Int J Passeng Cars, Electron Electr Syst"},{"issue":"3","key":"9192_CR13","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s11241-007-9012-7","volume":"35","author":"RI Davis","year":"2007","unstructured":"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\u2013272","journal-title":"Real-Time Syst"},{"issue":"3","key":"9192_CR14","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1016\/j.comnet.2008.10.018","volume":"53","author":"X Fan","year":"2009","unstructured":"Fan X, Jonsson M, Jonsson J (2009) Guaranteed real-time communication in packet-switched networks with FCFS queuing. Comput Netw 53(3):400\u2013417","journal-title":"Comput Netw"},{"key":"9192_CR15","volume-title":"Proc of the ERTS","author":"F Frances","year":"2006","unstructured":"Frances F, Fraboul C, Grieu J (2006) Using network calculus to optimize the AFDX network. In: Proc of the ERTS, Toulouse, France"},{"key":"9192_CR16","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/EMRTS.2001.934015","volume-title":"Proc of 13th Euromicro conference on real-time systems","author":"M Gonz\u00e1lez Harbour","year":"2001","unstructured":"Gonz\u00e1lez Harbour M, Guti\u00e9rrez 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\u2013134"},{"issue":"2","key":"9192_CR17","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R Henia","year":"2005","unstructured":"Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis\u2014the SymTA\/S approach. IEE Proc Comput Digit Tech 152(2):148\u2013166","journal-title":"IEE Proc Comput Digit Tech"},{"issue":"1","key":"9192_CR18","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s11241-008-9050-9","volume":"40","author":"J Maki-Turja","year":"2008","unstructured":"Maki-Turja J, Nolin M (2008) Efficient implementation of tight response-times for tasks with offsets. Real-Time Syst 40(1):77\u2013116","journal-title":"Real-Time Syst"},{"key":"9192_CR19","volume-title":"Proc of the 20th int parallel and distributed processing symposium","author":"S Martin","year":"2006","unstructured":"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"},{"key":"9192_CR20","unstructured":"MAST: modelling and analysis suite for real-time systems (2013) Home page: http:\/\/mast.unican.es"},{"key":"9192_CR21","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1109\/EMWRTS.1997.613774","volume-title":"Proc of the 9th Euromicro workshop on real-time systems","author":"JC Palencia","year":"1997","unstructured":"Palencia JC, Guti\u00e9rrez JJ, Gonz\u00e1lez 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\u2013143"},{"key":"9192_CR22","first-page":"328","volume-title":"Proc of the 20th IEEE real-time systems symposium","author":"JC Palencia","year":"1999","unstructured":"Palencia JC, Gonz\u00e1lez 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\u2013339"},{"key":"9192_CR23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/EMRTS.2003.1212721","volume-title":"Proc of the 15th Euromicro conference on real-time systems","author":"JC Palencia","year":"2003","unstructured":"Palencia JC, Gonz\u00e1lez 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\u201312"},{"key":"9192_CR24","first-page":"195","volume-title":"Proc of the 23rd Euromicro conference on real-time systems","author":"JM Rivas","year":"2011","unstructured":"Rivas JM, Guti\u00e9rrez JJ, Palencia JC, Gonz\u00e1lez 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\u2013204"},{"key":"9192_CR25","volume-title":"SAE world congress, vol system level architecture design tools and methods (AE318)","author":"J Rox","year":"2010","unstructured":"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"},{"key":"9192_CR26","unstructured":"RTaW-Pegase (2013) http:\/\/www.realtimeatwork.com\/software\/rtaw-pegase\/"},{"key":"9192_CR27","unstructured":"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"},{"issue":"1","key":"9192_CR28","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TII.2009.2016085","volume":"5","author":"J-L Scharbarg","year":"2009","unstructured":"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\u201349","journal-title":"IEEE Trans Ind Inform"},{"key":"9192_CR29","unstructured":"Siemon (1997) Propagation delay and delay skew. White paper. http:\/\/www.siemon.com\/us\/white_papers\/97-06-03-delayskew.asp"},{"key":"9192_CR30","unstructured":"Spuri M (1996) Holistic analysis of deadline scheduled real-time distributed systems. RR-2873, INRIA, France"},{"key":"9192_CR31","unstructured":"SymTA\/S (2013) http:\/\/www.symtavision.com\/"},{"issue":"2\u20133","key":"9192_CR32","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"50","author":"K Tindell","year":"1994","unstructured":"Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Microprocess Microprogram 50(2\u20133):117\u2013134","journal-title":"Microprocess Microprogram"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-013-9192-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-013-9192-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-013-9192-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T22:47:47Z","timestamp":1564354067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-013-9192-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,4]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["9192"],"URL":"https:\/\/doi.org\/10.1007\/s11241-013-9192-2","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,4]]}}}