{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:17:58Z","timestamp":1740169078312,"version":"3.37.3"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"name":"Ministry of Science and ICT (MSIT), Korea, through the Information Technology Research Center Support Program"},{"DOI":"10.13039\/501100010418","name":"Institute for Information and communications Technology Promotion","doi-asserted-by":"publisher","award":["2015-0-00445"],"award-info":[{"award-number":["2015-0-00445"]}],"id":[{"id":"10.13039\/501100010418","id-type":"DOI","asserted-by":"publisher"}]},{"name":"IITP Grant through the Korea Government (MSIT) [Development of High-Assurance(\u2265EAL6) Secure Microkernel]","award":["2018-0-00532"],"award-info":[{"award-number":["2018-0-00532"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2018]]},"DOI":"10.1109\/access.2018.2874637","type":"journal-article","created":{"date-parts":[[2018,10,8]],"date-time":"2018-10-08T18:28:10Z","timestamp":1539023290000},"page":"58418-58426","source":"Crossref","is-referenced-by-count":3,"title":["Constraint Solving Approach to Schedulability Analysis in Real-Time Systems"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2441-709X","authenticated-orcid":false,"given":"Hyuk","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Young","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.58"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739774"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008047130023"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1993.393489"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45145-7_23"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-3-540-75664-4_26","article-title":"Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking","author":"guan","year":"2007","journal-title":"Proc IFIP Int Workshop Softw Technol Embedded Ubiquitous Syst"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2752801.2752808"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2016.7515899"},{"key":"ref18","first-page":"9","article-title":"Satisfiability checking: Theory and applications","author":"\u00e1brah\u00e1m","year":"2016","journal-title":"Proc Int'l Conf Software Eng and Formal Methods"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.259433"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/0207001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.23"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01094342"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.22"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160366"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739728"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRTS.1997.613774"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495216"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1027794.1027797"},{"journal-title":"Real Time Theory and Practice","year":"2009","author":"mall","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.243"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc Int Conf Tools Algorithms Construct Anal Syst"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2004.1316676"},{"article-title":"Comparison of empirical success rates of global vs. partitioned fixed-priority and EDF scheduling for hard real time","year":"2005","author":"baker","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.40"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2000.853989"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1978802.1978814"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8274985\/08485678.pdf?arnumber=8485678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T18:26:48Z","timestamp":1643221608000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8485678\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2874637","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2018]]}}}