{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:36:08Z","timestamp":1729668968018,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/sies.2012.6356582","type":"proceedings-article","created":{"date-parts":[[2012,11,30]],"date-time":"2012-11-30T21:14:21Z","timestamp":1354310061000},"page":"166-175","source":"Crossref","is-referenced-by-count":0,"title":["Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis"],"prefix":"10.1109","author":[{"given":"Dawood A.","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Santinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liliana","family":"Cucu-Grosjean","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059013"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176894"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.23"},{"journal-title":"Real-Time Calculus (RTC) Toolbox","year":"2006","author":"wandeler","key":"33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.34"},{"key":"34","article-title":"Aperiodic traffic in response time analyses with adjustable safety level","author":"khan","year":"0","journal-title":"14th IEEE International Conference on Emerging Techonologies and Factory Automation - ETFA 2009"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086246"},{"key":"13","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","article-title":"Interface theories for component-base design","volume":"2211","author":"de alfaro","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3532-2_3"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176927"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1151659.1159929"},{"key":"20","first-page":"608","article-title":"A probabilistic real-time calculus for performance evaluation","author":"voeten","year":"1999","journal-title":"The 11th European Simulation Symposium (ESS)"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181583"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9053-6"},{"key":"24","first-page":"1","article-title":"A probabilistic framework for schedulability analysis","author":"burns","year":"2003","journal-title":"Proceedings of the Third International Conference on Embedded Software EMSOFT 2003"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2032067"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1279711.1279714"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2010.020110.00019"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2002.1019348"},{"journal-title":"Stochastic Network Calculus","year":"2008","author":"yuming jiang","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253607"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638557"},{"key":"10","first-page":"43","article-title":"A compositional framework for real-time guarantees","author":"shin","year":"2004","journal-title":"ASWSD"},{"key":"1","first-page":"165","article-title":"Integrating reliability and timing analysis of can-based systems","author":"hans","year":"2002","journal-title":"IEEE Transaction on Industrial Electronics"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.11"},{"journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet","year":"2001","author":"le boudec","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-408-1_6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.2001.929867"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1989.63567"},{"key":"4","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 (Washington DC USA)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639405"}],"event":{"name":"2012 7th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2012,6,20]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2012,6,22]]}},"container-title":["7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6339458\/6356563\/06356582.pdf?arnumber=6356582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T23:23:09Z","timestamp":1498000989000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6356582\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/sies.2012.6356582","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}