{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T18:00:18Z","timestamp":1757613618293,"version":"3.44.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/idt.2016.7843037","type":"proceedings-article","created":{"date-parts":[[2017,2,7]],"date-time":"2017-02-07T15:56:19Z","timestamp":1486482979000},"page":"181-186","source":"Crossref","is-referenced-by-count":1,"title":["UML-based reconfigurable middleware for design-level timing verification in model-based approach"],"prefix":"10.1109","author":[{"given":"Rania","family":"Mzid","sequence":"first","affiliation":[{"name":"CES Laboratory, National school of engineers of Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Abid","sequence":"additional","affiliation":[{"name":"CES Laboratory, National school of engineers of Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Object Management Group","article-title":"Uml profile for modeling and analysis of real time and embbeded systems (marte)","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2011.12"},{"key":"ref12","first-page":"26","article-title":"Modèle de plate-forme pour lembarqué: première expérimentation sur les noyaux temps réel","author":"delatour","year":"2005","journal-title":"Actes des premières journées sur lIngénierie Dirigée par les Modèles"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128748"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000045315.61234.1e"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-45874-3_2","article-title":"A methodology to design programmable embedded systems","author":"kienhuis","year":"2002","journal-title":"Embedded Processor Design Challenges"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1921532.1921555","article-title":"Optimum: a marte-based methodology for schedulability analysis at early design stages","volume":"36","author":"mraidha","year":"2011","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2005.24"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30470-8_99"},{"key":"ref7","article-title":"Real-time operating systems: An ongoing review","author":"yemhalli","year":"2000","journal-title":"In Work-in-Progress Sessions of the 21th IEEE Real-lime System Symposium (RTSSWIPOO)"},{"journal-title":"MDA Guide Version 1 0 1 omg\/2003-06-01","year":"2003","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46105-1_34"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.64"}],"event":{"name":"2016 11th International Design & Test Symposium (IDT)","start":{"date-parts":[[2016,12,18]]},"location":"Hammamet, Tunisia","end":{"date-parts":[[2016,12,20]]}},"container-title":["2016 11th International Design & Test Symposium (IDT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7833312\/7842992\/07843037.pdf?arnumber=7843037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T21:58:56Z","timestamp":1757023136000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7843037\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/idt.2016.7843037","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}