{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:21:05Z","timestamp":1747887665940,"version":"3.41.0"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"European Union FP7 Programme","award":["FP7\/2007-2013","ICT-2011-288917"],"award-info":[{"award-number":["FP7\/2007-2013","ICT-2011-288917"]}]},{"name":"DALi-Devices for Assisted Living","award":["FP7-ICT-257462"],"award-info":[{"award-number":["FP7-ICT-257462"]}]},{"name":"HYCON2 NoE"},{"name":"European Union H2020 programme","award":["643544"],"award-info":[{"award-number":["643544"]}]},{"name":"ACANTO"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2016,3,1]]},"DOI":"10.1109\/tpds.2015.2416732","type":"journal-article","created":{"date-parts":[[2015,3,29]],"date-time":"2015-03-29T02:41:09Z","timestamp":1427596869000},"page":"640-653","source":"Crossref","is-referenced-by-count":14,"title":["An Analytical Solution for Probabilistic Guarantees of Reservation Based Soft Real-Time Systems"],"prefix":"10.1109","volume":"27","author":[{"given":"Luigi","family":"Palopoli","sequence":"first","affiliation":[{"name":"Dipartimento di Ingegneria e Scienza dell'Informazione, University of Trento"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Fontanelli","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria Industriale, University of Trento, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Abeni","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria e Scienza dell'Informazione, University of Trento"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernardo Villalba","family":"Fr\u00edas","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria e Scienza dell'Informazione, University of Trento"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/REAL.2004.41"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1109\/TIM.2013.2289091"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/REAL.2002.1181583"},{"key":"ref34","article-title":"A tool for the optimal design of soft real–time systems","author":"palopoli","year":"0","journal-title":"Proc 5th Int Workshop Anal Tools Methodol Embedded Real-time Syst"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/1279711.1279714"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1007\/978-3-540-45232-4_16"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/RTSS.2013.30"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1109\/ECRTS.2012.19"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1112\/jlms\/s2-20.2.259"},{"year":"2015","author":"abeni","key":"ref30"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/REAL.1998.739737"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1145\/2185395.2185437"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1093\/acprof:oso\/9780198527688.001.0001"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1016\/j.jss.2011.12.042"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/j.automatica.2013.04.036"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/REAL.1998.739726"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/RTAS.2010.33"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/EFTA.2007.4416759"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/REAL.2001.990603"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/RTTAS.1997.601321"},{"year":"2011","author":"santos","journal-title":"Proc Workshop Compositional Theory Technol Real-Time Embedded Syst","key":"ref24"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/RTCSA.2011.30"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/RTSS.2014.38"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"179","DOI":"10.3233\/EMC-2005-00014","article-title":"Probabilistic timing analysis: An approach using copulas","volume":"1","author":"bernat","year":"2005","journal-title":"J Embedded Comput"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/ECRTS.2010.29"},{"year":"1995","author":"neuts","journal-title":"Matrix-Geometric Solutions in Stochastic Models An Algorithmic Approach","key":"ref22"},{"key":"ref21","volume":"5","author":"latouche","year":"1987","journal-title":"Introduction to Matrix Analytic Methods in Stochastic Modeling"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/ETFA.2012.6489566"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/ECRTS.2012.31"},{"year":"2006","author":"cassandras","journal-title":"Introduction to Discrete Event Systems","key":"ref29"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/B978-155860651-7\/50127-3"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/321738.321743"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/IPDPS.2001.925049"},{"key":"ref4","first-page":"242","article-title":"QoS guarantee using probabilistic dealines","author":"abeni","year":"0","journal-title":"Proc Euromicro Conf Real-Time Syst"},{"key":"ref3","article-title":"The jitter margin and its application in the design of real-time control systems","author":"cervin","year":"0","journal-title":"Proc IEEE Int Conf Real-Time Embedded Comput Syst Appl"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1093\/comjnl\/29.5.390"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/ICC.2010.5502003"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/7403835\/07070759.pdf?arnumber=7070759","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T18:22:06Z","timestamp":1747851726000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7070759\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,1]]},"references-count":37,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2015.2416732","relation":{},"ISSN":["1045-9219","1558-2183","2161-9883"],"issn-type":[{"type":"print","value":"1045-9219"},{"type":"electronic","value":"1558-2183"},{"type":"electronic","value":"2161-9883"}],"subject":[],"published":{"date-parts":[[2016,3,1]]}}}