{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:08:10Z","timestamp":1760828890944,"version":"3.41.0"},"reference-count":21,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2014,8,1]],"date-time":"2014-08-01T00:00:00Z","timestamp":1406851200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-09-SEGI-003"],"award-info":[{"award-number":["ANR-09-SEGI-003"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Reconfigurable Technol. Syst."],"published-print":{"date-parts":[[2014,8]]},"abstract":"<jats:p>\n            This article presents the first framework to design and synthesize a formal controller managing dynamic reconfiguration, using a model-driven engineering methodology based on an extension of UML\/MARTE. The implementation technique highlights the combination of hard configuration constraints using weights (\n            <jats:italic>control part<\/jats:italic>\n            )\u2014ensured statically and fulfilled by the system at runtime\u2014and soft constraints (\n            <jats:italic>decision part<\/jats:italic>\n            ) that, given a set of correct and accessible configurations, choose one of them. An application model of an image processing application is presented, then transformed and synthesized to be executed on a Xilinx platform to show how the controller, executed on a Microblaze, manages the hardware reconfigurations.\n          <\/jats:p>","DOI":"10.1145\/2629628","type":"journal-article","created":{"date-parts":[[2014,8,29]],"date-time":"2014-08-29T13:03:31Z","timestamp":1409317411000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Extending UML\/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling"],"prefix":"10.1145","volume":"7","author":[{"given":"S\u00e9bastien","family":"Guillet","sequence":"first","affiliation":[{"name":"Lab-STICC, Lorient, France"}]},{"given":"Florent de","family":"Lamotte","sequence":"additional","affiliation":[{"name":"Lab-STICC, Lorient, France"}]},{"given":"Nicolas le","family":"Griguer","sequence":"additional","affiliation":[{"name":"Lab-STICC, Lorient, France"}]},{"given":"\u00c9ric","family":"Rutten","sequence":"additional","affiliation":[{"name":"INRIA, France"}]},{"given":"Guy","family":"Gogniat","sequence":"additional","affiliation":[{"name":"Lab-STICC, Lorient, France"}]},{"given":"Jean-Philippe","family":"Diguet","sequence":"additional","affiliation":[{"name":"Lab-STICC, Lorient, France"}]}],"member":"320","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"volume-title":"Proceedings of the 12th European Conference on Programming (ESOP'03)","author":"Altisen K.","key":"e_1_2_1_1_1","unstructured":"K. Altisen , A. Clodic , F. Maraninchi , and E. Rutten . 2003. Using controller-synthesis techniques to build property-enforcing layers . In Proceedings of the 12th European Conference on Programming (ESOP'03) . Springer, 174--188. K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten. 2003. Using controller-synthesis techniques to build property-enforcing layers. In Proceedings of the 12th European Conference on Programming (ESOP'03). Springer, 174--188."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the Conference on Computational Engineering in Systems Applications (CESA). IEEE-SMC, 19--29","author":"Andre C.","year":"1996","unstructured":"C. Andre . 1996 . Representation and analysis of reactive behaviors: A synchronous approach . In Proceedings of the Conference on Computational Engineering in Systems Applications (CESA). IEEE-SMC, 19--29 . C. Andre. 1996. Representation and analysis of reactive behaviors: A synchronous approach. In Proceedings of the Conference on Computational Engineering in Systems Applications (CESA). IEEE-SMC, 19--29."},{"volume-title":"Proceedings of the ECSI Forum on Specification and Design Languages (FDL'07)","author":"Andre C.","key":"e_1_2_1_3_1","unstructured":"C. Andre , F. Mallet , and R. De Simone . 2007. Time modeling in MARTE . In Proceedings of the ECSI Forum on Specification and Design Languages (FDL'07) . 268--273. C. Andre, F. Mallet, and R. De Simone. 2007. Time modeling in MARTE. In Proceedings of the ECSI Forum on Specification and Design Languages (FDL'07). 268--273."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00454-4_10"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2004.2"},{"key":"e_1_2_1_7_1","unstructured":"C. G. Cassandras. and S. Lafortune. 2006. Introduction to Discrete Event Systems. Springer.   C. G. Cassandras. and S. Lafortune. 2006. Introduction to Discrete Event Systems. Springer."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755888.1755898"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952522.1952531"},{"key":"e_1_2_1_10_1","first-page":"929","article-title":"A formal design framework to generate coprocessors with implementation options","volume":"2","author":"Dossis M.","year":"2011","unstructured":"M. Dossis . 2011 . A formal design framework to generate coprocessors with implementation options . Int. J. Res. Rev. Comput. Sci. 2 , 4, 929 -- 936 . M. Dossis. 2011. A formal design framework to generate coprocessors with implementation options. Int. J. Res. Rev. Comput. Sci. 2, 4, 929--936.","journal-title":"Int. J. Res. Rev. Comput. Sci."},{"volume-title":"Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'08)","author":"Dumitrescu E.","key":"e_1_2_1_11_1","unstructured":"E. Dumitrescu , M. Ren , L. Pietrac , and E. Niel . 2008. A supervisor implementation approach in discrete controller synthesis . In Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'08) . 1433--1440. E. Dumitrescu, M. Ren, L. Pietrac, and E. Niel. 2008. A supervisor implementation approach in discrete controller synthesis. In Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'08). 1433--1440."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043662.2043663"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2012.6322870"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1027084.1027087"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"S. Kundu S. Lerner and R. Gupta. 2011. High-Level Verification: Methods and Tools for Verification of System-Level Designs. Springer.   S. Kundu S. Lerner and R. Gupta. 2011. High-Level Verification: Methods and Tools for Verification of System-Level Designs. Springer.","DOI":"10.1007\/978-1-4419-9359-5"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008311720696"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-006-9039-9"},{"key":"e_1_2_1_19_1","first-page":"1","article-title":"MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs. Ph.D. thesis","volume":"1","author":"Quadri I. R.","year":"2010","unstructured":"I. R. Quadri . 2010 . MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs. Ph.D. thesis , Universite des Sciences et Technologie de Lille 1. 1 -- 252 . I. R. Quadri. 2010. MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs. Ph.D. thesis, Universite des Sciences et Technologie de Lille 1. 1--252.","journal-title":"Universite des Sciences et Technologie de Lille"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"volume-title":"Proceedings of the 12th International Conference on Advanced Robotics (ICAR'05)","author":"Zhao W.","key":"e_1_2_1_21_1","unstructured":"W. Zhao , B. H. Kim , A. Larson , and R. Voyles . 2005. Fpga implementation of closed-loop control system for small-scale robot . In Proceedings of the 12th International Conference on Advanced Robotics (ICAR'05) . 70--77. W. Zhao, B. H. Kim, A. Larson, and R. Voyles. 2005. Fpga implementation of closed-loop control system for small-scale robot. In Proceedings of the 12th International Conference on Advanced Robotics (ICAR'05). 70--77."}],"container-title":["ACM Transactions on Reconfigurable Technology and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629628","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2629628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:30Z","timestamp":1750227210000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629628"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["10.1145\/2629628"],"URL":"https:\/\/doi.org\/10.1145\/2629628","relation":{},"ISSN":["1936-7406","1936-7414"],"issn-type":[{"type":"print","value":"1936-7406"},{"type":"electronic","value":"1936-7414"}],"subject":[],"published":{"date-parts":[[2014,8]]},"assertion":[{"value":"2013-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}