{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T06:05:22Z","timestamp":1771049122124,"version":"3.50.1"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1850851"],"award-info":[{"award-number":["CNS-1850851"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["SPX-2028481"],"award-info":[{"award-number":["SPX-2028481"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,1]]},"DOI":"10.1109\/tcad.2021.3053232","type":"journal-article","created":{"date-parts":[[2021,1,21]],"date-time":"2021-01-21T20:59:40Z","timestamp":1611262780000},"page":"62-75","source":"Crossref","is-referenced-by-count":5,"title":["Mixed-Criticality Scheduling Upon Permitted Failure Probability and Dynamic Priority"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5967-1058","authenticated-orcid":false,"given":"Zhishan","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3814-5980","authenticated-orcid":false,"given":"Sudharsan","family":"Vaidhun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Satinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samsil","family":"Arefin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0926-4761","authenticated-orcid":false,"given":"Jun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9929-9759","authenticated-orcid":false,"given":"Kecheng","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2015.8"},{"key":"ref2","first-page":"1","article-title":"Computing the worst case execution time of an avionics program by abstract interpretation","volume-title":"Proc. 5th Int. Workshop Worst-Case Execution Time Anal. (WCET)","author":"Souyris"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref4","volume-title":"Mixed-Criticality Systems: A Review","author":"Burns","year":"2018"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465796"},{"key":"ref6","first-page":"1","article-title":"Statistical-based WCET estimation and validation","volume-title":"Proc. 9th Int. Workshop Worst-Case Execution Time Anal. (WCET)","author":"Hansen"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"ref8","volume-title":"Software Considerations in Airborne Systems and Equipment Certification, RTCA Document DO-178C","year":"1992"},{"key":"ref9","article-title":"Independence\u2014A misunderstood property of and for probabilistic real-time systems","volume-title":"Real-Time Systems: The Past, the Present and the Future","author":"Cucu-Grosjean","year":"2013"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.47"},{"key":"ref11","first-page":"21","article-title":"On the sustainability of the extreme value theory for WCET estimation","volume-title":"Proc. 14th Int. Workshop Worst-Case Execution Time Anal. (WCET)","author":"Santinelli"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648013"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181583"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.30"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24488-9_18"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000033378.56741.14"},{"key":"ref17","volume-title":"Fault Tree Analysis (FTA)","author":"Commission","year":"2006"},{"key":"ref18","volume-title":"Analysis Techniques for System Reliability-Procedure for Failure Mode and Effects Analysis (FMEA)","year":"2006"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(83)90020-3"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/10.1.85"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.42"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0507-9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269026"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2016.013"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184679"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2018.00052"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2007.22"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2001.990614"},{"key":"ref29","first-page":"44","article-title":"Realism in statistical analysis of worst case execution times","volume-title":"Proc. 10th Int. Workshop Worst-Case Execution Time Anal. (WCET)","author":"Griffin"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.27"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2516821.2516842"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2004.1311024"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1995.516213"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1996.563715"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181576"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49059-0_4"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.1999.777471"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2002.1016476"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1027794.1027797"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.85"},{"key":"ref43","volume-title":"pWCET: A tool for probabilistic worst-case execution time analysis of real-time systems","author":"Bernat","year":"2003"},{"key":"ref44","first-page":"129","article-title":"Optimal priority assignment algorithms for probabilistic real-time systems","volume-title":"Proc. 19th Int. Conf. Real-Time Netw. Syst. (RTNS)","author":"Maxim"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00165-4"},{"key":"ref46","first-page":"168","article-title":"Probabilistic analysis of low-criticality execution","volume-title":"Proc. WMC RTSS","author":"Kuttler"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927056"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3139258.3139276"},{"key":"ref49","first-page":"1","article-title":"On the safety of mixed-criticality scheduling","volume-title":"Proc. Workshop Mixed Criticality (WMC) RTSS","author":"Draskovic"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69483-2_4"},{"issue":"1","key":"ref51","first-page":"1","article-title":"A survey of probabilistic schedulability analysis techniques for real-time systems","volume":"6","author":"Davis","year":"2019","journal-title":"LITES"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/43\/9660612\/9330570-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9660612\/09330570.pdf?arnumber=9330570","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T22:41:38Z","timestamp":1704840098000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9330570\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1]]},"references-count":51,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3053232","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1]]}}}