{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:12:08Z","timestamp":1767262328629,"version":"3.41.0"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2016,8,2]],"date-time":"2016-08-02T00:00:00Z","timestamp":1470096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2016,8,2]]},"abstract":"<jats:p>Time-constrained networks have demanded so far for deterministic modeling and analysis in order to guarantee their worst-case behavior. With this work we intend to apply both probabilistic modeling and probabilistic analyses to investigate such networks. The probabilistic framework we propose aims at guaranteeing confidence levels, in the form of probabilities, to the network timing constraints; the deterministic case remain a particular case, the worst-case, within the probabilistic framework. We focus on probabilistic bounds for defining probabilistic interfaces to network components and we study the way that probabilities propagate within networks by accounting for the dependences and the interactions between network components. Finally, we define and apply probabilistic performance metrics for evaluating network behavior with different degree of confidence due to the probabilities.<\/jats:p>","DOI":"10.1145\/2983185.2983197","type":"journal-article","created":{"date-parts":[[2016,8,4]],"date-time":"2016-08-04T13:26:34Z","timestamp":1470317194000},"page":"65-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic component-based analysis for networks"],"prefix":"10.1145","volume":"13","author":[{"given":"Luca","family":"Santinelli","sequence":"first","affiliation":[{"name":"ONERA Toulouse"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,8,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45318-0","volume-title":"Network calculus: A Theory of Deterministic Queuing Systems for the Internet","author":"Le Boudec J. Y.","year":"2001","unstructured":"J. Y. Le Boudec and P. Thiran , Network calculus: A Theory of Deterministic Queuing Systems for the Internet . Springer-Verlag New York, Inc. , 2001 . J. Y. Le Boudec and P. Thiran, Network calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer-Verlag New York, Inc., 2001."},{"doi-asserted-by":"crossref","unstructured":"M. Boyer and C. Fraboul \"Tightening end to end delay upper bound for AFDX network calculus with rate latency FCFS servers using network calculus (regular paper) \" in IEEE International Workshop on Factory Communication Systems (WFCS) mai 2008 pp. 11--20.  M. Boyer and C. Fraboul \"Tightening end to end delay upper bound for AFDX network calculus with rate latency FCFS servers using network calculus (regular paper) \" in IEEE International Workshop on Factory Communication Systems (WFCS) mai 2008 pp. 11--20.","key":"e_1_2_1_2_1","DOI":"10.1109\/WFCS.2008.4638728"},{"key":"e_1_2_1_3_1","volume-title":"Integrating end-system frame scheduling for more accurate afdx timing analysis (on orbi),\" in 6th Embedded Real Time Software and System Congress (ERTSS)","author":"Boyer M.","year":"2014","unstructured":"M. Boyer , L. Santinelli , N. Navet , J. Migge , and M. Fumey , \" Integrating end-system frame scheduling for more accurate afdx timing analysis (on orbi),\" in 6th Embedded Real Time Software and System Congress (ERTSS) , 2014 . M. Boyer, L. Santinelli, N. Navet, J. Migge, and M. Fumey, \"Integrating end-system frame scheduling for more accurate afdx timing analysis (on orbi),\" in 6th Embedded Real Time Software and System Congress (ERTSS), 2014."},{"key":"e_1_2_1_4_1","first-page":"101","volume-title":"ISCAS'00","volume":"4","author":"Thiele L.","year":"2000","unstructured":"L. Thiele , S. Chakraborty , and M. Naedele , \" Real-time calculus for scheduling hard real-time systems,\" in Proc . ISCAS'00 , vol. 4 , 2000 , pp. 101 -- 104 . L. Thiele, S. Chakraborty, and M. Naedele, \"Real-time calculus for scheduling hard real-time systems,\" in Proc. ISCAS'00, vol. 4, 2000, pp. 101--104."},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.1145\/2516821.2516840"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.1145\/1151659.1159929"},{"key":"e_1_2_1_7_1","first-page":"1","volume-title":"GLOBECOM 2009","author":"Xie J.","year":"2009","unstructured":"J. Xie and Y. Jiang , \" Stochastic network calculus models under max-plus algebra,\" in Proceedings of the Global Communications Conference, 2009 . GLOBECOM 2009 , Honolulu, Hawaii, USA, 30 November -- 4 December 2009 , 2009, pp. 1 -- 6 . J. Xie and Y. Jiang, \"Stochastic network calculus models under max-plus algebra,\" in Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November -- 4 December 2009, 2009, pp. 1--6."},{"doi-asserted-by":"publisher","key":"e_1_2_1_8_1","DOI":"10.1145\/1967021.1967028"},{"key":"e_1_2_1_9_1","volume-title":"A component-based framework for modeling and analysing probabilistic real-time systems,\" in 16th IEEE International Conference on Emerging Technologies and Factory Automation","author":"Santinelli L.","year":"2011","unstructured":"L. Santinelli , P. Meumeu Yomsy , D. Maxim , and L. Cucu-Grosjean , \" A component-based framework for modeling and analysing probabilistic real-time systems,\" in 16th IEEE International Conference on Emerging Technologies and Factory Automation , 2011 . L. Santinelli, P. Meumeu Yomsy, D. Maxim, and L. Cucu-Grosjean, \"A component-based framework for modeling and analysing probabilistic real-time systems,\" in 16th IEEE International Conference on Emerging Technologies and Factory Automation, 2011."},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1145\/2717113"},{"key":"e_1_2_1_11_1","first-page":"559","volume-title":"2007 5th IEEE International Conference on","volume":"1","author":"Ridouard F.","year":"2007","unstructured":"F. Ridouard , J. Scharbarg , and C. Fraboul , \" Stochastic network calculus for end-to-end delays distribution evaluation on an avionics switched ethernet,\" in Industrial Informatics , 2007 5th IEEE International Conference on , vol. 1 , June 2007 , pp. 559 -- 564 . F. Ridouard, J. Scharbarg, and C. Fraboul, \"Stochastic network calculus for end-to-end delays distribution evaluation on an avionics switched ethernet,\" in Industrial Informatics, 2007 5th IEEE International Conference on, vol. 1, June 2007, pp. 559--564."},{"issue":"1","key":"e_1_2_1_12_1","first-page":"168","article-title":"Analysis of end-to-end delay on afdx based on stochastic network calculus","volume":"35","author":"Wu Z.-t.","year":"2013","unstructured":"Z.-t. Wu , N. Huang , X.-W. Wang , and N. Hu , \" Analysis of end-to-end delay on afdx based on stochastic network calculus ,\" Systems Engineering and Electronics , vol. 35 , no. 1 , p. 168 , 2013 . Z.-t. Wu, N. Huang, X.-W. Wang, and N. Hu, \"Analysis of end-to-end delay on afdx based on stochastic network calculus,\" Systems Engineering and Electronics, vol. 35, no. 1, p. 168, 2013.","journal-title":"Systems Engineering and Electronics"},{"doi-asserted-by":"publisher","key":"e_1_2_1_13_1","DOI":"10.1016\/j.peva.2006.07.003"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1109\/ECRTS.2013.27"},{"key":"e_1_2_1_15_1","first-page":"1","volume-title":"A probabilistic framework for schedulability analysis","author":"Burns A.","year":"2003","unstructured":"A. Burns , G. Bernat , and I. Broster , \" A probabilistic framework for schedulability analysis ,\" pp. 1 -- 15 , 2003 . A. Burns, G. Bernat, and I. Broster, \"A probabilistic framework for schedulability analysis,\" pp. 1--15, 2003."},{"doi-asserted-by":"publisher","key":"e_1_2_1_16_1","DOI":"10.1145\/2465787.2465796"},{"doi-asserted-by":"publisher","key":"e_1_2_1_17_1","DOI":"10.1109\/TII.2009.2016085"},{"key":"e_1_2_1_18_1","volume-title":"Probabilistic Safety Assessment & Management conference 2014 (PSAM 12)","author":"Zimmermann A.","year":"2014","unstructured":"A. Zimmermann , S. Jager , and F. Geyer , \" Towards reliability evaluation of afdx avionic communication systems with rare-event simulation,\" in Proc . Probabilistic Safety Assessment & Management conference 2014 (PSAM 12) , 2014 . A. Zimmermann, S. Jager, and F. Geyer, \"Towards reliability evaluation of afdx avionic communication systems with rare-event simulation,\" in Proc. Probabilistic Safety Assessment & Management conference 2014 (PSAM 12), 2014."},{"doi-asserted-by":"publisher","key":"e_1_2_1_19_1","DOI":"10.5555\/1233760.1233763"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983185.2983197","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2983185.2983197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:17Z","timestamp":1750220597000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983185.2983197"}},"subtitle":["invited paper"],"short-title":[],"issued":{"date-parts":[[2016,8,2]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,8,2]]}},"alternative-id":["10.1145\/2983185.2983197"],"URL":"https:\/\/doi.org\/10.1145\/2983185.2983197","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2016,8,2]]},"assertion":[{"value":"2016-08-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}