{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T03:20:25Z","timestamp":1768706425756,"version":"3.49.0"},"reference-count":75,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2018,4,1]],"date-time":"2018-04-01T00:00:00Z","timestamp":1522540800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Des. Test"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/mdat.2018.2794204","type":"journal-article","created":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T19:16:21Z","timestamp":1516130181000},"page":"8-26","source":"Crossref","is-referenced-by-count":25,"title":["Time-Critical Systems Design: A Survey"],"prefix":"10.1109","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4136-4188","authenticated-orcid":false,"given":"Tulika","family":"Mitra","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6285-5862","authenticated-orcid":false,"given":"Jurgen","family":"Teich","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6139-868X","authenticated-orcid":false,"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/3139258.3139278"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927160"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/MCSoC.2016.30"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6460-1_11"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/3092282.3092291"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.42"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2595560"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28293-5_9"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.6"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.33"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456952"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.19"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2584654"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925998"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456951"},{"key":"ref60","author":"ha","year":"2017","journal-title":"Handbook of Hardware\/Software Codesign"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-7356-4"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2011.1"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2010.5647727"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2008.42"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176578"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181567"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9227-y"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656083"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2013.6670342"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2695894"},{"key":"ref68","first-page":"1","article-title":"Multi-objective distributed run-time resource management for many-cores","author":"wildermann","year":"2014","journal-title":"Proc Design Autom Test in Europe Conf Exhibition (DATE'04)"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/2390191.2390200"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2752801.2752805"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531078"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630101"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364510"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.45"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref23","first-page":"264","article-title":"The case for the precision timed (PRET) machine","author":"edwards","year":"2007","journal-title":"Proc 44th Annu Design Autom Conf"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017798"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"700","DOI":"10.1109\/12.689649","article-title":"Analysis of cache-related preemption delay in fixed-priority preemptive scheduling","volume":"47","author":"lee","year":"1998","journal-title":"IEEE Trans Comput"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088855"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9012-7"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9015-1"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763143"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193230"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-7267-9_24"},{"key":"ref55","first-page":"232","article-title":"UPPAAL—A tool suite for automatic verification of real-time systems","author":"bengtsson","year":"1995","journal-title":"Proc DIMACS Workshop on Verification and Control of Hybrid Systems"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212721"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253606"},{"key":"ref52","first-page":"62","article-title":"Performance estimation for embedded systems with data and control dependencies","author":"pop","year":"2000","journal-title":"Proceedings of the Eighth International Workshop on Hardware\/Software Codesign CODES 2000 (IEEE Cat No 00TH8518) HSC"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008141130870"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342718"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736058"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_32"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1145\/315773.315778","article-title":"Performance estimation of embedded software with instruction cache modeling","volume":"4","author":"steven li","year":"1999","journal-title":"ACM Trans Design Automation Electron Syst"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000048933.15922.f9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008149332687"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-9205-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181582"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289853"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1324969.1324973"},{"key":"ref4","article-title":"A definition and classification of timing anomalies","volume":"4","author":"reineke","year":"2006","journal-title":"OpenAccess Series in Informatics (OASIcs)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818824"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.12"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/502217.502240"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_26"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/216633.216666","article-title":"Performance analysis of embedded software using implicit path enumeration","volume":"30","author":"steven li","year":"1995","journal-title":"Proc ACM SIGPLAN Notices"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2015.04.002"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024787"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-7267-9_25"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.78"},{"key":"ref42","author":"sha","year":"2014","journal-title":"Single core equivalent virtual machines for hard real-time computing on multicore processors"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.32"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039388"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925999"}],"container-title":["IEEE Design & Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221038\/8323437\/08259504.pdf?arnumber=8259504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:17:55Z","timestamp":1642004275000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8259504\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":75,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/mdat.2018.2794204","relation":{},"ISSN":["2168-2356","2168-2364"],"issn-type":[{"value":"2168-2356","type":"print"},{"value":"2168-2364","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,4]]}}}