{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T05:10:00Z","timestamp":1782364200958,"version":"3.54.5"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61672078"],"award-info":[{"award-number":["61672078"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61732019"],"award-info":[{"award-number":["61732019"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2906011","type":"journal-article","created":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T18:26:11Z","timestamp":1552933571000},"page":"39547-39563","source":"Crossref","is-referenced-by-count":3,"title":["Modeling and Timing Analysis for Microkernel-Based Real-Time Embedded System"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2329-4377","authenticated-orcid":false,"given":"Rongfei","family":"Xu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Li","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ning","family":"Ge","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132364"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-011-9139-4"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ecbs.2012.6487436"},{"key":"ref32","first-page":"1","article-title":"A flexible WCET analysis method for safety-critical real-time system using UML-MARTE model checker","author":"ge","year":"2016"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2010.21"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9055-1"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.1998.724883"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2002.1019185"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008149332687"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.5220\/0005514003300338"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.12"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342718"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2017.58"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2018-095"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45821-2_12"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16145-2_20"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921555"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-24590-1_12"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.08.039"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.22"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2016.7843037"},{"key":"ref28","first-page":"60","article-title":"TIMES: A tool for schedulability analysis and code generation of real-time systems","author":"amnell","year":"2003","journal-title":"Proc Conf Formal Modeling Anal Timed Syst"},{"key":"ref4","year":"2015","journal-title":"Unified Modeling Language"},{"key":"ref27","first-page":"33","article-title":"A tutorial on UPPAAL","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.21236\/ADA455842"},{"key":"ref6","first-page":"1","article-title":"AUTOSAR—A worldwide standard is on the road","author":"f\u00fcrst","year":"2009","journal-title":"14th International VDI Congress Electronic Systems for Vehicles Baden-Baden"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.20"},{"key":"ref5","year":"2011","journal-title":"Uml Profile for Marte"},{"key":"ref8","author":"clarke","year":"2011","journal-title":"Progress on the State Explosion Problem in Model Checking"},{"key":"ref7","first-page":"181","article-title":"Scheduling configuration of real-time component-based applications","author":"mart\u00ednez","year":"2010","journal-title":"Reliable Software Technologiey—Ada-Europe"},{"key":"ref2","author":"engle","year":"2018","journal-title":"It’s Time Avionics Need to Move to Multicore Processors"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S1383-7621(99)00010-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/40.928765"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICONIP.1999.845670"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.34"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/349465"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IMCSIT.2010.5679736"},{"key":"ref47","first-page":"270","article-title":"WCET analysis of the \n$\\mu\\text{C}$\n\/OS-II real-time kernel","volume":"2","author":"lv","year":"2009","journal-title":"Proc Int Conf Comput Sci Eng"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967030"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.21"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1046191.1032298","article-title":"Cheddar: A flexible real time scheduling framework","volume":"24","author":"singhoff","year":"2004","journal-title":"ACM SIGAda Ada Letters"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SmartCity.2015.52"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.41"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.014"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41115-1_3"},{"key":"ref43","first-page":"1","article-title":"Performance characterization of real-time operating systems for systems-on-silicon","author":"renaux","year":"2010","journal-title":"Proceedings of the 11th Brazilian Workshop on Real-Time and Embedded Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08668770.pdf?arnumber=8668770","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T01:59:26Z","timestamp":1643248766000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8668770\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2906011","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}