{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T04:10:49Z","timestamp":1781323849087,"version":"3.54.1"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2011,3,1]],"date-time":"2011-03-01T00:00:00Z","timestamp":1298937600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["249100"],"award-info":[{"award-number":["249100"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2011,3]]},"abstract":"<jats:p>A challenging research issue in analyzing probabilistic real-time systems is to model the tasks composing the system and the resource provided to the system. In this paper we propose a solution based on a probabilistic component-based model that abstracts the functional and non-functional requirements of real-time components. The obtained interfaces encode timing requirements and probability information of the component in a probabilistic version of the real-time calculus.<\/jats:p>\n          <jats:p>Besides, it has been derived probabilistic scheduling and compositional guarantees to provide real-time analyses of probabilistic real-time systems. Finally, a test case illustrates the potentialities of the proposed model and its applicability in a large variety of problems within the probabilistic real-time scenario.<\/jats:p>","DOI":"10.1145\/1967021.1967028","type":"journal-article","created":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T12:03:38Z","timestamp":1302609818000},"page":"54-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Toward probabilistic real-time calculus"],"prefix":"10.1145","volume":"8","author":[{"given":"Luca","family":"Santinelli","sequence":"first","affiliation":[{"name":"Scuola Superiore Sant'anna, Pisa and INRIA Nancy-Grand Est"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Liliana","family":"Cucu-Grosjean","sequence":"additional","affiliation":[{"name":"INRIA Nancy-Grand Est"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347383"},{"key":"e_1_2_1_2_1","first-page":"3","article-title":"Hls: A framework for composing soft real-time schedulers","author":"Regehr J.","year":"2001","unstructured":"J. Regehr and J. A. Stankovic , \" Hls: A framework for composing soft real-time schedulers ,\" in IEEE Real-Time Systems Symposium , 2001 , pp. 3 -- 14 . J. Regehr and J. A. Stankovic, \"Hls: A framework for composing soft real-time schedulers,\" in IEEE Real-Time Systems Symposium, 2001, pp. 3--14.","journal-title":"IEEE Real-Time Systems Symposium"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2006.7"},{"key":"e_1_2_1_4_1","volume-title":"A hierarchical scheduling model for component-based real-time systems,\" in Proc. of IPDPS'06","author":"Lorente J. L.","year":"2006","unstructured":"J. L. Lorente , G. Lipari , and E. Bini , \" A hierarchical scheduling model for component-based real-time systems,\" in Proc. of IPDPS'06 , 2006 . J. L. Lorente, G. Lipari, and E. Bini, \"A hierarchical scheduling model for component-based real-time systems,\" in Proc. of IPDPS'06, 2006."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.42"},{"key":"e_1_2_1_6_1","first-page":"26","volume-title":"A model of hierarchical real-time virtual resources,\" in RTSS'02","author":"Mok A. K.","unstructured":"A. K. Mok and A. K. Feng , \" A model of hierarchical real-time virtual resources,\" in RTSS'02 , IEEE Computer Society , pp. 26 -- 35 . A. K. Mok and A. K. Feng, \"A model of hierarchical real-time virtual resources,\" in RTSS'02, IEEE Computer Society, pp. 26--35."},{"key":"e_1_2_1_7_1","volume-title":"A general framework for analysing system properties in platform-based embedded system design,\" in Proc. of the DATE'03","author":"Chakraborty S.","year":"2003","unstructured":"S. Chakraborty , S. Kunzli , and S. Thiele , \" A general framework for analysing system properties in platform-based embedded system design,\" in Proc. of the DATE'03 , 2003 . S. Chakraborty, S. Kunzli, and S. Thiele, \"A general framework for analysing system properties in platform-based embedded system design,\" in Proc. of the DATE'03, 2003."},{"key":"e_1_2_1_8_1","first-page":"2","volume-title":"USA: IEEE Computer Society","author":"Shin I.","year":"2003","unstructured":"I. Shin and I. Lee , \" Periodic resource model for compositional real-time guarantees,\" in RTSS '03: Proceedings of the 24th IEEE International Real-Time Systems Symposium. Washington, DC , USA: IEEE Computer Society , 2003 , p. 2 . I. Shin and I. Lee, \"Periodic resource model for compositional real-time guarantees,\" in RTSS '03: Proceedings of the 24th IEEE International Real-Time Systems Symposium. Washington, DC, USA: IEEE Computer Society, 2003, p. 2."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"e_1_2_1_10_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."},{"key":"e_1_2_1_11_1","volume-title":"Netweork Calculus - A Theory of Deterministic Queuing Systems for the Internet","author":"Boudec J. L.","year":"2001","unstructured":"J. L. Boudec and P. Thiran , Netweork Calculus - A Theory of Deterministic Queuing Systems for the Internet , S. Verlag, Ed. Springer Verlag , 2001 . J. L. Boudec and P. Thiran, Netweork Calculus - A Theory of Deterministic Queuing Systems for the Internet, S. Verlag, Ed. Springer Verlag, 2001."},{"key":"e_1_2_1_12_1","volume-title":"Analyzing stochastic fixed-priority real-time systems,\" in 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"Gardner M.","year":"1999","unstructured":"M. Gardner and J. Lui , \" Analyzing stochastic fixed-priority real-time systems,\" in 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 1999 . M. Gardner and J. Lui, \"Analyzing stochastic fixed-priority real-time systems,\" in 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1999."},{"key":"e_1_2_1_13_1","first-page":"453","article-title":"Towards stochastic response-time of hierarchically scheduled real-time tasks,\" in Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation","volume":"2006","author":"Kaczynski G. A.","year":"2006","unstructured":"G. A. Kaczynski , L. L. Bello , and T. Nolte , \" Towards stochastic response-time of hierarchically scheduled real-time tasks,\" in Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation , ETFA 2006 , 2006 , pp. 453 -- 456 . G. A. Kaczynski, L. L. Bello, and T. Nolte, \"Towards stochastic response-time of hierarchically scheduled real-time tasks,\" in Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, 2006, pp. 453--456.","journal-title":"ETFA"},{"key":"e_1_2_1_14_1","volume-title":"Probabilistic performance guarantee for real-time tasks with varying computation times.\" in IEEE Real-Time and Embedded Technology and Applications Symposium","author":"Tia T.","year":"1995","unstructured":"T. Tia , Z. Z. Deng , M. Shankar , M. Storch , J. Sun , L. Wu , and J. Liu , \" Probabilistic performance guarantee for real-time tasks with varying computation times.\" in IEEE Real-Time and Embedded Technology and Applications Symposium , 1995 . T. Tia, Z. Z. Deng, M. Shankar, M. Storch, J. Sun, L. Wu, and J. Liu, \"Probabilistic performance guarantee for real-time tasks with varying computation times.\" in IEEE Real-Time and Embedded Technology and Applications Symposium, 1995."},{"key":"e_1_2_1_15_1","volume-title":"Statistical rate monotonic scheduling,\" in 19th IEEE Real-Time Systems Symposium","author":"Atlas A.","year":"1998","unstructured":"A. Atlas and A. Bestavros , \" Statistical rate monotonic scheduling,\" in 19th IEEE Real-Time Systems Symposium , 1998 . A. Atlas and A. Bestavros, \"Statistical rate monotonic scheduling,\" in 19th IEEE Real-Time Systems Symposium, 1998."},{"key":"e_1_2_1_16_1","volume-title":"10th of the IEEE Real-Time Systems Symposium","author":"Lehoczky J.","year":"1990","unstructured":"J. Lehoczky , \"Real-time queueing theory,\" in 10th of the IEEE Real-Time Systems Symposium , 1990 . J. Lehoczky, \"Real-time queueing theory,\" in 10th of the IEEE Real-Time Systems Symposium, 1990."},{"key":"e_1_2_1_17_1","first-page":"289","volume-title":"USA: IEEE Computer Society","author":"J. L.","year":"2002","unstructured":"J. L. D&amp;#237;az, D. F. Garc &amp;#237;a, K. Kim , C.-G. Lee , L. L. Bello , J. M. L&amp;#243;pez, S. L. Min , and O. Mirabella , \" Stochastic analysis of periodic real-time systems,\" in RTSS '02: Proceedings of the 23rd IEEE Real-Time Systems Symposium. Washington, DC , USA: IEEE Computer Society , 2002 , p. 289 . J. L. D&amp;#237;az, D. F. Garc&amp;#237;a, K. Kim, C.-G. Lee, L. L. Bello, J. M. L&amp;#243;pez, S. L. Min, and O. Mirabella, \"Stochastic analysis of periodic real-time systems,\" in RTSS '02: Proceedings of the 23rd IEEE Real-Time Systems Symposium. Washington, DC, USA: IEEE Computer Society, 2002, p. 289."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01209-9_16"},{"key":"e_1_2_1_19_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."},{"key":"e_1_2_1_20_1","volume-title":"Workload characterization model for tasks with variable execution demand,\" in DATE '04: Proceedings of the conference on Design, automation and test in Europe","author":"Maxiaguine A.","year":"2004","unstructured":"A. Maxiaguine , S. K&amp;#252;nzli, and L. Thiele , \" Workload characterization model for tasks with variable execution demand,\" in DATE '04: Proceedings of the conference on Design, automation and test in Europe . Washington, DC, USA : IEEE Computer Society , 2004 . A. Maxiaguine, S. K&amp;#252;nzli, and L. Thiele, \"Workload characterization model for tasks with variable execution demand,\" in DATE '04: Proceedings of the conference on Design, automation and test in Europe. Washington, DC, USA: IEEE Computer Society, 2004."},{"key":"e_1_2_1_21_1","first-page":"166","article-title":"The rate monotonic scheduling algorithm: Exact characterization and average case behavior","author":"Lehoczky J. P.","year":"1989","unstructured":"J. P. Lehoczky , L. Sha , and Y. Ding , \" The rate monotonic scheduling algorithm: Exact characterization and average case behavior ,\" in IEEE Real-Time Systems Symposium , 1989 , pp. 166 -- 171 . J. P. Lehoczky, L. Sha, and Y. Ding, \"The rate monotonic scheduling algorithm: Exact characterization and average case behavior,\" in IEEE Real-Time Systems Symposium, 1989, pp. 166--171.","journal-title":"IEEE Real-Time Systems Symposium"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.103"},{"key":"e_1_2_1_23_1","first-page":"148","volume-title":"Lecture notes in Computer Science 2211","author":"de Alfaro L.","year":"2001","unstructured":"L. de Alfaro and T. Henzinger , \" Interface theories for component-base design,\" in In EMSOFT'01: Embedded Software , Lecture notes in Computer Science 2211 . Springer Verilag , 2001 , pp. 148 -- 165 . L. de Alfaro and T. Henzinger, \"Interface theories for component-base design,\" in In EMSOFT'01: Embedded Software, Lecture notes in Computer Science 2211. Springer Verilag, 2001, pp. 148--165."},{"key":"e_1_2_1_24_1","first-page":"117","volume-title":"Resource interfaces,\" in EMSOFT'03","author":"Chakrabarti A.","year":"2003","unstructured":"A. Chakrabarti , L. de Alfaro , T. Henzinger , and M. Stoeling , \" Resource interfaces,\" in EMSOFT'03 , vol. 2855 , 2003 , pp. 117 -- 133 . A. Chakrabarti, L. de Alfaro, T. Henzinger, and M. Stoeling, \"Resource interfaces,\" in EMSOFT'03, vol. 2855, 2003, pp. 117--133."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.11"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086246"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176894"},{"key":"e_1_2_1_28_1","first-page":"6224","volume-title":"Shanghai","author":"Huang K.","year":"2009","unstructured":"K. Huang , L. Santinelli , J.-J. Chen , L. Thiele , and G. C. Buttazzio , \" Periodic power management schemes for real-time event streams.\" in the 48th IEEE Conf. on Decision and Control (CDC) , Shanghai , China , 2009 , pp. 6224 -- 6231 . K. Huang, L. Santinelli, J.-J. Chen, L. Thiele, and G. C. Buttazzio, \"Periodic power management schemes for real-time event streams.\" in the 48th IEEE Conf. on Decision and Control (CDC), Shanghai, China, 2009, pp. 6224--6231."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151659.1159929"},{"key":"e_1_2_1_30_1","unstructured":"\"Modular performance analysis \" http:\/\/www.mpa.ethz.ch\/Rtctoolbox\/Overview.  \"Modular performance analysis \" http:\/\/www.mpa.ethz.ch\/Rtctoolbox\/Overview."}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967021.1967028","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1967021.1967028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:21Z","timestamp":1750243941000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967021.1967028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["10.1145\/1967021.1967028"],"URL":"https:\/\/doi.org\/10.1145\/1967021.1967028","relation":{},"ISSN":["1551-3688"],"issn-type":[{"value":"1551-3688","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3]]},"assertion":[{"value":"2011-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}