{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:27:36Z","timestamp":1767637656080,"version":"3.48.0"},"reference-count":40,"publisher":"Maximum Academic Press","issue":"4","license":[{"start":{"date-parts":[[2014,10,3]],"date-time":"2014-10-03T00:00:00Z","timestamp":1412294400000},"content-version":"unspecified","delay-in-days":32,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2014,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>System adaptivity is increasingly demanded in high-performance embedded systems, particularly in multimedia system-on-chip (SoC), owing to growing quality-of-service requirements. This paper presents a reactive control model that has been introduced in Gaspard, our framework dedicated to SoC hardware\/software co-design. This model aims at expressing adaptivity as well as reconfigurability in systems performing data-intensive computations. It is generic enough to be used for description in the different parts of an embedded system, for example, specification of how different data-intensive algorithms can be chosen according to some computation modes at the functional level; and expression of how hardware components can be selected via the usage of a library of intellectual properties according to execution performances. The transformation of this model toward synchronous languages is also presented, in order to allow an automatic code generation usable for formal verification, based on techniques such as model checking and controller synthesis, as illustrated in the paper. This work, based on Model-Driven Engineering and the standard UML MARTE profile, has been implemented in Gaspard.<\/jats:p>","DOI":"10.1017\/s0269888914000150","type":"journal-article","created":{"date-parts":[[2014,10,3]],"date-time":"2014-10-03T04:56:27Z","timestamp":1412312187000},"page":"433-451","source":"Crossref","is-referenced-by-count":1,"title":["Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design"],"prefix":"10.48130","volume":"29","author":[{"given":"Huafeng","family":"Yu","sequence":"first","affiliation":[]},{"given":"Abdoulaye","family":"Gamati\u00e9","sequence":"additional","affiliation":[]},{"given":"\u00c9ric","family":"Rutten","sequence":"additional","affiliation":[]},{"given":"Jean-Luc","family":"Dekeyser","sequence":"additional","affiliation":[]}],"member":"27968","published-online":{"date-parts":[[2014,10,3]]},"reference":[{"key":"S0269888914000150_ref33","doi-asserted-by":"crossref","unstructured":"Talpin J.-P. , Brunette C. , Gautier T. & Gamati\u00e9 A. 2006. Polychronous mode automata. In EMSOFT \u201906: Proceedings of the 6th ACM & IEEE International Conference on Embedded Software. ISBN: 1-59593-542-883\u201392. ACM.","DOI":"10.1145\/1176887.1176900"},{"key":"S0269888914000150_ref34","unstructured":"The MathWorks 2009. Simulink. http:\/\/www.mathworks.com\/products\/simulink"},{"key":"S0269888914000150_ref30","doi-asserted-by":"crossref","unstructured":"Quadri I. , Yu H. , Gamati\u00e9 A. , Rutten E. , Meftali S. & Dekeyser J.-L. 2010. Targeting reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation. International Journal of Embedded Systems (IJES), Special Issue on Reconfigurable and Multicore Embedded Systems (to appear).","DOI":"10.1504\/IJES.2010.039025"},{"key":"S0269888914000150_ref26","unstructured":"Object Management Group 2007b. OMG unified modeling language (OMG UML), superstructure, V2.1.2, November. http:\/\/www.omg.org\/spec\/UML\/2.1.2\/Superstructure\/PDF\/"},{"key":"S0269888914000150_ref20","unstructured":"Labbani O. , Dekeyser J.-L. , Boulet P. & Rutten \u00c9. 2005. Introducing control in the Gaspard2 data-parallel MetaModel: synchronous approach. In Proceedings of the International Workshop MARTES."},{"key":"S0269888914000150_ref19","unstructured":"INRIA DaRT Team 2009. Gaspard SoC framework. http:\/\/www.gaspard2.org\/"},{"key":"S0269888914000150_ref18","unstructured":"High Performance Fortran Forum 1997. High Performance Fortran language specification, January. http:\/\/hpff. rice.edu\/versions\/hpf2\/index.htm"},{"key":"S0269888914000150_ref15","doi-asserted-by":"publisher","DOI":"10.1109\/43.766725"},{"key":"S0269888914000150_ref12","doi-asserted-by":"crossref","unstructured":"Gamati\u00e9 A. , Rutten \u00c9. , Yu H. , Boulet P. & Dekeyser J.-L. 2008b. Synchronous modeling and analysis of data intensive applications. EURASIP Journal on Embedded Systems. http:\/\/dx.doi. org\/10.1155\/2008\/561863","DOI":"10.1155\/2008\/561863"},{"key":"S0269888914000150_ref11","unstructured":"Gamati\u00e9 A. , Rutten \u00c9. & Yu H. 2008a. A model for the mixed-design of data-intensive and control-oriented embedded systems. Research Report RR-6589, INRIA, July. http:\/\/hal.inria.fr\/inria-00293909\/fr"},{"key":"S0269888914000150_ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"S0269888914000150_ref9","unstructured":"Combemale B. , Rougemaille S. , Cr\u00e9gut X. , Migeon F. , Pantel M. , Maurel C. & Coulette B. 2006. Towards rigorous metamodeling. In MDEIS, 5\u201314."},{"key":"S0269888914000150_ref8","doi-asserted-by":"crossref","unstructured":"Chen K. , Sztipanovits J. , Abdelwahed S. & Jackson E. K. 2005. Semantic anchoring with model transformations. In European Conference on Model Driven Architecture Foundations and Applications (ECMDA\u2013FA\u201905), 115\u2013129.","DOI":"10.1007\/11581741_10"},{"key":"S0269888914000150_ref28","unstructured":"Object Management Group 2005. MOF query\/views\/transformations, November. http:\/\/www.omg.org\/spec\/QVT\/"},{"key":"S0269888914000150_ref7","unstructured":"Charles P. , Grothoff C. , Saraswat V. , Donawa C. , Kielstra A. , Ebcioglu K. , von Praun C. & Sarkar V. 2005. X10: an object-oriented approach to nonuniform cluster computing. In 20th Annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications. ACM Press, 519\u2013538."},{"key":"S0269888914000150_ref4","unstructured":"Boulet P. 2007. Array-OL revisited, multidimensional intensive signal processing specification. Research Report RR-6113, INRIA, February. http:\/\/hal.inria.fr\/inria-00128840\/en\/"},{"key":"S0269888914000150_ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"S0269888914000150_ref1","unstructured":"Allen E. , Chase D. , Hallett J. , Luchangco V. , Maessn J.-W. , Ryu S. , Steele G. L. Jr . & Tobin-Hochstadt S. 2007. The Fortress language specification version 1.0 beta. Technical report. SunMicrosystems, Inc., March."},{"key":"S0269888914000150_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0059-y"},{"key":"S0269888914000150_ref14","doi-asserted-by":"crossref","unstructured":"Gamati\u00e9 A. , Beux S. L. , Piel \u00c9. , Atitallah R. B. , Etien A. , Marquet P. & Dekeyser J.-L. 2010. A model driven design framework for massively parallel embedded systems. ACM Transactions on Embedded Computing Systems (TECS) (to appear).","DOI":"10.1145\/2043662.2043663"},{"key":"S0269888914000150_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2003.05.007"},{"key":"S0269888914000150_ref24","unstructured":"MPI Forum 2007. Message Passing Interface forum. http:\/\/www.mpi-forum.org\/docs\/docs.html"},{"key":"S0269888914000150_ref22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008311720696"},{"key":"S0269888914000150_ref32","unstructured":"Semiconductor Industry Association 2004. International technology roadmap for semiconductors update (design). http:\/\/www.itrs.net"},{"key":"S0269888914000150_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00093-X"},{"key":"S0269888914000150_ref29","unstructured":"OpenMP API 2008. OpenMP 3.0 specifications. http:\/\/www.openmp.org\/mp-documents\/spec30.pdf"},{"key":"S0269888914000150_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"S0269888914000150_ref10","unstructured":"Esterel Technologies 2009. SCADE. http:\/\/www.esterel-technologies.com"},{"key":"S0269888914000150_ref6","doi-asserted-by":"crossref","unstructured":"Callahan D. , Chamberlain B. L. & Zima H. P. 2004. The cascade high productivity language. In 9th International Workshop on High-Level Parallel Programming Models and Supportive Environments. IEEE Computer Society, April, 52\u201360.","DOI":"10.1109\/HIPS.2004.1299190"},{"key":"S0269888914000150_ref13","unstructured":"Gamati\u00e9 A. , Yu H. , Delaval G. & Rutten E. 2009. A case study on controller synthesis for data-intensive embedded systems. In Second International Conference on Embedded Software and Systems (ICESS09), ISBN: 978-0-7695-3678-1, IEEE Computer Society, 75\u201382."},{"key":"S0269888914000150_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_31"},{"key":"S0269888914000150_ref25","unstructured":"Object Management Group 2007a. Portal of the Model Driven Engineering community. http:\/\/www.planetmde.org"},{"key":"S0269888914000150_ref5","unstructured":"Boulet P. 2008. Formal semantics of Array-OL, a domain specific language for intensive multidimensional signal processing. Research Report RR-6467, INRIA, March."},{"key":"S0269888914000150_ref27","unstructured":"Object Management Group 2008. Modeling and analysis of real-time and embedded systems (MARTE). http:\/\/www.omgmarte.org\/"},{"key":"S0269888914000150_ref36","unstructured":"UML tool list 2009. Unified modeling language (UML) tools. http:\/\/en.wikipedia.org\/wiki\/List_of_UML_tools"},{"key":"S0269888914000150_ref37","unstructured":"Wilde D. K. 1994. The ALPHA language. Technical Report 827, IRISA."},{"key":"S0269888914000150_ref38","unstructured":"Yu H. 2008. A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model. PhD thesis, Universit\u00e9 des Sciences et Technologie de Lille."},{"year":"2008","author":"Yu","key":"S0269888914000150_ref40"},{"key":"S0269888914000150_ref31","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli A. 2007. Quo Vadis SLD: reasoning about trends and challenges of system-level design. Proceedings of the IEEE, 95(3), 467\u2013506. http:\/\/chess.eecs. berkeley.edu\/pubs\/263.html","DOI":"10.1109\/JPROC.2006.890107"},{"key":"S0269888914000150_ref35","doi-asserted-by":"crossref","unstructured":"Thies W. , Karczmarek M. & Amarasinghe S. 2002. Streamit: a language for streaming applications. In Compiler Construction. 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, April, Lecture Notes in Computer Science, 2304\/2002, 49\u201384. Springer.","DOI":"10.1007\/3-540-45937-5_14"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888914000150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:41:58Z","timestamp":1767624118000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888914000150\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["S0269888914000150"],"URL":"https:\/\/doi.org\/10.1017\/s0269888914000150","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[2014,9]]}}}