{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:39:05Z","timestamp":1760708345683},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,11,6]],"date-time":"2011-11-06T00:00:00Z","timestamp":1320537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s11334-011-0175-y","type":"journal-article","created":{"date-parts":[[2011,11,5]],"date-time":"2011-11-05T07:44:14Z","timestamp":1320479054000},"page":"19-33","source":"Crossref","is-referenced-by-count":7,"title":["A model-driven engineering framework for embedded systems design"],"prefix":"10.1007","volume":"8","author":[{"given":"Francisco Assis Moreira","family":"do Nascimento","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcio F. S.","family":"Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fl\u00e1vio Rech","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,6]]},"reference":[{"key":"175_CR1","doi-asserted-by":"crossref","unstructured":"Ahmed W, D Myers (2006) Faster exploration of high level design alternatives using UML for better partitions. In: Proceedings of the conference on design, automation and test in Europe: Proceedings, DATE \u201906, 3001 Leuven, Belgium, pp 579\u2013580. European Design and Automation Association","DOI":"10.1109\/DATE.2006.243971"},{"key":"175_CR2","doi-asserted-by":"crossref","unstructured":"Angus D (2007) Crowding population-based ant colony optimisation for the multi-objective travelling salesman problem. In: IEEE symposium on computational intelligence in multi-criteria decision-making, pp 333\u2013340","DOI":"10.1109\/MCDM.2007.369110"},{"issue":"1","key":"175_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1023\/A:1008899229802","volume":"3","author":"T Blickle","year":"1998","unstructured":"Blickle T, Teich J, Thiele L (1998) System-Level synthesis using evolutionary algorithms. Design Autom. Embed. Syst. 3(1): 23\u201358","journal-title":"Design Autom. Embed. Syst."},{"key":"175_CR4","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/0-387-26151-6_8","volume-title":"Advances in design and specification languages for SoCs, Chapter 8","author":"L Bond\u00e9","year":"2005","unstructured":"Bond\u00e9 L, Dumoulin C, Dekeyser J-L (2005) Metamodels and MDA transformations for embedded systems. In: Boulet P (eds) Advances in design and specification languages for SoCs, Chapter 8. Springer, Boston, pp 89\u2013105"},{"key":"175_CR5","unstructured":"Chen R, Sgroi M, Martin G, Lavagno L, Vincentelli AS, Rabaey J (2002) Embedded system design using UML and platforms. In: FDL\u201902. Proceedings of forum on specification and design languages 2002 (FDL\u201902)"},{"issue":"3","key":"175_CR6","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1109\/5.558710","volume":"85","author":"S Edwards","year":"1997","unstructured":"Edwards S, Lavagno L, Lee EA, Sangiovanni-Vincentelli A (1997) Design of embedded systems: formal models, validation, and synthesis. Proc IEEE 85(3): 366\u2013390","journal-title":"Proc IEEE"},{"issue":"9","key":"175_CR7","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1016\/j.sysarc.2010.12.002","volume":"57","author":"C Glitia","year":"2011","unstructured":"Glitia C, Boulet P, Lenormand E, Barreteau M (2011) Repetitive model refactoring strategy for the design space exploration of intensive signal processing applications. J Syst Arch 57(9): 815\u2013829","journal-title":"J Syst Arch"},{"key":"175_CR8","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0167-9260(04)00032-X","volume":"38","author":"M Gries","year":"2004","unstructured":"Gries M (2004) Methods for evaluating and covering the design space during early design development. Integr. VLSI J. 38: 131\u2013183","journal-title":"Integr. VLSI J."},{"issue":"2","key":"175_CR9","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10270-006-0043-7","volume":"7","author":"J Hooman","year":"2008","unstructured":"Hooman J, Kugler H, Ober I, Votintseva A, Yushtein Y (2008) Supporting UML-based development of embedded systems by formal techniques. Softw Syst Model 7(2): 131\u2013155","journal-title":"Softw Syst Model"},{"issue":"2","key":"175_CR10","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/1151074.1151077","volume":"5","author":"T Kangas","year":"2006","unstructured":"Kangas T, Kukkala P, Orsila H, Salminen E, H\u00e4nnik\u00e4inen M, H\u00e4m\u00e4l\u00e4inen TD, Riihim\u00e4ki J, Kuusilinna K (2006) UML-based multiprocessor SoC design framework. ACM Trans Embed Comput Syst 5(2): 281\u2013320","journal-title":"ACM Trans Embed Comput Syst"},{"issue":"1","key":"175_CR11","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshell. Int J Softw Tools Technol Transf (STTT) 1(1): 134\u2013152","journal-title":"Int J Softw Tools Technol Transf (STTT)"},{"key":"175_CR12","unstructured":"Micheli G, Ernst R, Wolf W (2000) Reading in Hardware\/Software Co-Design, Elsevier"},{"key":"175_CR13","unstructured":"Mellor SJ, Balcer MJ (2002) Executable UML: a Foundation for model-driven architecture. Addison-Wesley Professional, Upper Saddle River"},{"key":"175_CR14","doi-asserted-by":"crossref","unstructured":"Mueller W, Rosti A, Bocchio S, Riccobene E, Scandurra P, Dehaene W, Vanderperren Y (2006) UML for ESL design: basic principles, tools, and applications. In: Proceedings of the 2006 IEEE\/ACM international conference on Computer-aided design, ICCAD \u201906, New York, NY, USA, pp 73\u201380. ACM, New York","DOI":"10.1145\/1233501.1233518"},{"key":"175_CR15","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-90-481-9304-2_2","volume-title":"Advances in methods from modeling languages for embedded sytems and SoC\u2019s, lecture notes in electrical engineering, vol 63.","author":"LG Murilo","year":"2010","unstructured":"Murilo LG, Mura M, Prevostini M (2010) MDE Support for HW\/SW codesign: A UML-based design flow. In: Borrione D (eds) Advances in methods from modeling languages for embedded sytems and SoC\u2019s, lecture notes in electrical engineering, vol 63.. Springer, Berlin, pp 19\u201337"},{"key":"175_CR16","doi-asserted-by":"crossref","unstructured":"Nascimento FA, Oliveira MFS, Wagner FR (2007) ModES: Embedded systems design methodology and tools based on MDE. In: Model-based methodologies for pervasive and embedded software, 2007. MOMPES \u201907. Fourth international workshop on, pp 67\u201376","DOI":"10.1109\/MOMPES.2007.14"},{"key":"175_CR17","first-page":"159","volume-title":"Analysis architectures and modelling of embedded systems, IFIP advances in information and communication technology, vol 310, Chapter 15.","author":"FA Nascimento","year":"2009","unstructured":"Nascimento FA, Oliveira MFS, Wagner FR (2009) Formal verification for embedded systems design based on MDE. In: Rettberg A, Zanella M, Amann M, Keckeisen M, Rammig F (eds) Analysis architectures and modelling of embedded systems, IFIP advances in information and communication technology, vol 310, Chapter 15.. Springer, Berlin, pp 159\u2013170"},{"key":"175_CR18","first-page":"290","volume-title":"Embedded software, lecture notes in computer science, vol 2855, Chapter 19.","author":"S Neema","year":"2003","unstructured":"Neema S, Sztipanovits J, Karsai G, Butts K (2003) Constraint-based Design-Space exploration and model synthesis. In: Alur R, Lee I (eds) Embedded software, lecture notes in computer science, vol 2855, Chapter 19.. Springer, Berlin, pp 290\u2013305"},{"key":"175_CR19","doi-asserted-by":"crossref","unstructured":"Oliveira MFS, Briao EW, Nascimento FA, Wagner FR (2007) Model driven engineering for MPSOC design space exploration. In: Proceedings of the 20th annual conference on Integrated circuits and systems design, SBCCI \u201907, New York, NY, USA. ACM, New York, pp 81\u201386","DOI":"10.1145\/1284480.1284509"},{"key":"175_CR20","doi-asserted-by":"crossref","unstructured":"Oliveira MFS, de Brisolara LB, Carro L, Wagner FR (2006) Early embedded software design space exploration using UML-based estimation. In: Proceedings of the seventeenth IEEE international workshop on rapid system prototyping, Washington, DC, USA. IEEE Computer Society, Washington, pp 24\u201332","DOI":"10.1109\/RSP.2006.16"},{"key":"175_CR21","doi-asserted-by":"crossref","unstructured":"Oliveira MFS, Nascimento FA, Mueller W, Wagner FR (2010) Design space abstraction and metamodeling for embedded systems design space exploration. In: Proceedings of the 7th international workshop on model-based methodologies for pervasive and embedded software, MOMPES \u201910, New York, NY, USA. ACM, New York, pp 29\u201336","DOI":"10.1145\/1865875.1865880"},{"key":"175_CR22","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/0-306-48734-9_11","volume-title":"System specification & amp; Design Languages, Chapter 11.","author":"M Pauwels","year":"2004","unstructured":"Pauwels M, Vanderperren Y, Sonck G, Oostende P, Dehaene W, Moore T (2004) A design methodology for the development of a complex System-On-chip using UML and executable system models. In: Villar E, Mermet J (eds) System specification & amp; Design Languages, Chapter 11.. Springer, Boston, pp 129\u2013141"},{"key":"175_CR23","doi-asserted-by":"crossref","unstructured":"Reyneri LM, Cucinotta F, Serra A, Lavagno L (2001) A hardware\/software co-design flow and IP library based on simulink. In Proceedings of the 38th annual design automation conference, DAC \u201901, New York, NY, USA. ACM, New York, pp 593\u2013598","DOI":"10.1145\/378239.379030"},{"key":"175_CR24","doi-asserted-by":"crossref","unstructured":"Riccobene E, Scandurra P, Bocchio S, Rosti A, Lavazza L, Mantellini L (2009) SystemC\/c-based model-driven design for embedded systems. ACM Trans Embed Comput Syst 8","DOI":"10.1145\/1550987.1550993"},{"issue":"2","key":"175_CR25","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt DC (2006) Model-driven engineering. Computer 39(2): 25\u201331","journal-title":"Computer"},{"key":"175_CR26","unstructured":"Scowen RS (1993) Extended BNF\u2014a generic base standard. In: Proceedings of the 1993 software engineering standards symposium (SESS\u201993)"},{"key":"175_CR27","doi-asserted-by":"crossref","unstructured":"Vanderperren Y, Dehaene W (2006) From UML\/SysML to Matlab\/Simulink: current state and future perspectives. In: Proceedings of the conference on design, automation and test in Europe: Proceedings, DATE \u201906, 3001 Leuven, Belgium. European design and automation association, Belgium","DOI":"10.1109\/DATE.2006.244002"},{"issue":"4","key":"175_CR28","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10617-008-9028-9","volume":"12","author":"Y Vanderperren","year":"2008","unstructured":"Vanderperren Y, Mueller W, Dehaene W (2008) UML for electronic systems design: a comprehensive overview. Design automation for embedded systems 12(4): 261\u2013292","journal-title":"Design automation for embedded systems"},{"key":"175_CR29","unstructured":"Wehrmeister MA, Becker LB, Wagner FR, Pereira CE (2005) On object-oriented platform-based design process for embedded real-time Systems. In: Proceedings of IEEE international symposium on object-oriented real-time distributed computing (ISORC)"},{"key":"175_CR30","doi-asserted-by":"crossref","unstructured":"Weichsel PM (1962) The kronecker product of graphs. In: Proceedings of the American mathematical society 13(1)","DOI":"10.2307\/2033769"},{"key":"175_CR31","unstructured":"Xie F, Levin V, Browne JC (2001) Model checking for an executable subset of UML. In: Proceedings of the 16th IEEE international conference on automated software engineering, ASE \u201901, Washington, DC, USA. IEEE Computer Society, Washington"},{"key":"175_CR32","unstructured":"Zhu Q, Oishi R, Hasegawa T, Nakata T (2005) Integrating UML into SoC design process, vol 2, pp 836\u2013837"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0175-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0175-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0175-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T03:48:35Z","timestamp":1560916115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0175-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,6]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["175"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0175-y","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,6]]}}}