{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:26:49Z","timestamp":1729657609609,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/etfa.2011.6059013","type":"proceedings-article","created":{"date-parts":[[2011,10,24]],"date-time":"2011-10-24T16:30:25Z","timestamp":1319473825000},"page":"1-8","source":"Crossref","is-referenced-by-count":11,"title":["A component-based framework for modeling and analyzing probabilistic real-time systems"],"prefix":"10.1109","author":[{"given":"L.","family":"Santinelli","sequence":"first","affiliation":[]},{"given":"P. Meumeu","family":"Yomsi","sequence":"additional","affiliation":[]},{"given":"D.","family":"Maxim","sequence":"additional","affiliation":[]},{"given":"L.","family":"Cucu-Grosjean","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3532-2_3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176927"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/REAL.2002.1181559","article-title":"A model of hierarchical real-time virtual resources","author":"feng","year":"2002","journal-title":"Proc 23rd IEEE Real-Time Systems Symp"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1151659.1159929"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.174"},{"journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet","year":"2001","author":"le","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1109\/REAL.1989.63567","article-title":"The rate monotonic sheduling algorithm: exact characterization and average case bahavior","author":"lehoczky","year":"1989","journal-title":"Proceedings of the IEEE Real-Time Systems Symposium"},{"key":"ref17","article-title":"A methodology for designing hierarchical scheduling systems","volume":"1","author":"lipari","year":"2004","journal-title":"Journal of Embedded Computing"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9053-6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2006.7"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2032067"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.103"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2009.5425464"},{"key":"ref3","article-title":"Probabilistic WCET analysis, an approach using copulas","author":"bernat","year":"2006","journal-title":"Journal of Embedded Computing"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253607"},{"journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet","year":"2001","author":"boudec","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1279711.1279714"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253607"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021711220939"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.42"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017772"},{"key":"ref20","first-page":"26","article-title":"A model of hierarchical realtime virtual resources","author":"mok","year":"0","journal-title":"RTSS IEEE Computer Society"},{"key":"ref22","first-page":"2","article-title":"Periodic resource model for compositional real-time guarantees","author":"shih","year":"2003","journal-title":"Proceedings of the 24th Real-time Systems Symposium"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967028"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/REAL.2003.1253249","article-title":"Periodic resource model for compositional real-time guarantees","author":"shin","year":"2003","journal-title":"RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium"},{"journal-title":"Real-Time Calculus (RTC) Toolbox","year":"2006","author":"wandeler","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"}],"event":{"name":"Factory Automation (ETFA 2011)","start":{"date-parts":[[2011,9,5]]},"location":"Toulouse, France","end":{"date-parts":[[2011,9,9]]}},"container-title":["ETFA2011"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6045288\/6058966\/06059013.pdf?arnumber=6059013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T10:18:03Z","timestamp":1560853083000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6059013\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/etfa.2011.6059013","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}