{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T14:39:27Z","timestamp":1781620767888,"version":"3.54.5"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61603285"],"award-info":[{"award-number":["61603285"]}],"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":["61472295"],"award-info":[{"award-number":["61472295"]}],"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":["61672400"],"award-info":[{"award-number":["61672400"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010871","name":"Recruitment Program of Global Experts","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100010871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003009","name":"Science and Technology Development Fund","doi-asserted-by":"publisher","award":["078\/2015\/A3"],"award-info":[{"award-number":["078\/2015\/A3"]}],"id":[{"id":"10.13039\/501100003009","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003009","name":"Science and Technology Development Fund","doi-asserted-by":"publisher","award":["106\/20156\/A3"],"award-info":[{"award-number":["106\/20156\/A3"]}],"id":[{"id":"10.13039\/501100003009","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002383","name":"King Saud University","doi-asserted-by":"publisher","award":["ISPP 0079"],"award-info":[{"award-number":["ISPP 0079"]}],"id":[{"id":"10.13039\/501100002383","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1109\/tsmc.2017.2781460","type":"journal-article","created":{"date-parts":[[2018,1,11]],"date-time":"2018-01-11T19:38:08Z","timestamp":1515699488000},"page":"623-637","source":"Crossref","is-referenced-by-count":43,"title":["Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation"],"prefix":"10.1109","volume":"49","author":[{"given":"Wafa","family":"Lakhdhar","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3086-370X","authenticated-orcid":false,"given":"Rania","family":"Mzid","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6311-3588","authenticated-orcid":false,"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1547-5503","authenticated-orcid":false,"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8483-0295","authenticated-orcid":false,"given":"Georg","family":"Frey","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abdulrahman","family":"Al-Ahmari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.jclepro.2017.07.222"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-3922-5.ch012"},{"key":"ref32","author":"skousen","year":"1995","journal-title":"Acid Mine Drainage Control and Treatment"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.21"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2016.05.014"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2693995"},{"key":"ref36","first-page":"57","article-title":"SPARK 2014 rationale: Type predicates, variables that are constant, support for ravenscar and support for type invariants","volume":"38","author":"moy","year":"2017","journal-title":"Ada User J"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1109\/TII.2015.2500161","article-title":"Dynamic multiple-period reconfiguration of real-time scheduling based on timed DES supervisory control","volume":"12","author":"wang","year":"2016","journal-title":"IEEE Trans Ind Informat"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/2499369.2465572","article-title":"A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems","volume":"48","author":"mehiaoui","year":"2013","journal-title":"ACM SIGPLAN Notices"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S096012951200028X"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0107-x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.20.4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.phpro.2012.03.209"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2608918"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2309479"},{"key":"ref16","first-page":"151","article-title":"Combinatorial approaches for low-power and real-time adaptive reconfigurable embedded systems","author":"chniter","year":"2014","journal-title":"Proc 4th Pervasive Embedded Comput Commun Syst"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.07.009"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.11.011"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.02.014"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.5220\/0006006703300335"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.213"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2015.11"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC.2012.217"},{"key":"ref6","article-title":"Approximation techniques for timing analysis of complex real-time embedded systems","author":"lu","year":"2010"},{"key":"ref29","author":"cheng","year":"2003","journal-title":"Real-Time Systems Scheduling Analysis and Verification"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2625817"},{"key":"ref8","author":"burns","year":"2009","journal-title":"Real-Time Systems and Programming Languages Ada Real-Time Java and C\/Real-Time POSIX"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-014-0938-z"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1504\/IJAACS.2016.079625"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.08.015"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2012.01.001"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2726108"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507161"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32451-2_2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2012.2209115"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.applthermaleng.2011.11.035"},{"key":"ref26","first-page":"23","article-title":"Minimizing a real-time task set through task clustering","author":"bertout","year":"2014","journal-title":"Proc Int Conf Real-Time Netw Syst"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.10"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/8642456\/08253880.pdf?arnumber=8253880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T16:04:21Z","timestamp":1693411461000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8253880\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":38,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2017.2781460","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3]]}}}