{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:56:05Z","timestamp":1730300165452,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/tase.2014.27","type":"proceedings-article","created":{"date-parts":[[2014,12,10]],"date-time":"2014-12-10T16:42:10Z","timestamp":1418229730000},"page":"126-130","source":"Crossref","is-referenced-by-count":8,"title":["Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks"],"prefix":"10.1109","author":[{"given":"A. Jalil","family":"Boudjadar","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"David","sequence":"additional","affiliation":[]},{"given":"Jin Hyun","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Mikucionis","sequence":"additional","affiliation":[]},{"given":"Ulrik","family":"Nyman","sequence":"additional","affiliation":[]},{"given":"Arne","family":"Skou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"2","article-title":"Periodic resource model for compositional real-time guarantees","author":"shin","year":"2003","journal-title":"RTSS"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.33"},{"key":"17","article-title":"Methods and tools for reducing certification costs of mixedcriticality applications on multi-core platforms: The recomp approach","author":"pop","year":"2013","journal-title":"WICERT 2013 Proceedings"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/12.773795"},{"journal-title":"Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment","year":"1983","author":"mok","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000018246.09796.a3"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639405"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.2004.1317304"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967026"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356581"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128746"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"2","first-page":"77","article-title":"Prototyping and code synthesis of hierarchically scheduled systems using times","volume":"1","author":"\ufffdsberg","year":"2010","journal-title":"Journal of Convergence (Consumer Electronics)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2501626.2501629"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1997.641292"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.54"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.85.1"},{"key":"5","article-title":"Schedulability and energy efficiency for multi-core hierarchical scheduling systems","author":"boudjadar","year":"2014","journal-title":"International Congress on Embedded Real-Time Software and Systems ERTS 2014"},{"key":"4","article-title":"Hierarchical scheduling framework based on compositional analysis using uppaal","volume":"8348","author":"boudjadar","year":"2013","journal-title":"Formal Aspect of Component Software FACS 2013"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_28"},{"key":"8","first-page":"138","article-title":"The impressive power of stopwatches","author":"cassez","year":"2000","journal-title":"CONCUR Volume 1877 of Lecture Notes in Computer Science"}],"event":{"name":"2014 Theoretical Aspects of Software Engineering Conference (TASE)","start":{"date-parts":[[2014,9,1]]},"location":"Changsha, China","end":{"date-parts":[[2014,9,3]]}},"container-title":["2014 Theoretical Aspects of Software Engineering Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6968674\/6976553\/06976578.pdf?arnumber=6976578","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T03:22:32Z","timestamp":1490325752000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6976578\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/tase.2014.27","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}