{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:23Z","timestamp":1740122723962,"version":"3.37.3"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,3,9]],"date-time":"2016-03-09T00:00:00Z","timestamp":1457481600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Council for Scientific and Techno- logical Development (CNPq-Brazil)","award":["480321\/2011-6"],"award-info":[{"award-number":["480321\/2011-6"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s10617-016-9172-6","type":"journal-article","created":{"date-parts":[[2016,3,9]],"date-time":"2016-03-09T00:02:52Z","timestamp":1457481772000},"page":"127-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["System-level design based on UML\/MARTE for FPGA-based embedded real-time systems"],"prefix":"10.1007","volume":"20","author":[{"given":"Marcela","family":"Leite","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1415-5527","authenticated-orcid":false,"given":"Marco Aur\u00e9lio","family":"Wehrmeister","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,9]]},"reference":[{"issue":"1","key":"9172_CR1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"W Burns","year":"1994","unstructured":"Burns W (1994) HRT-HOOD: a structured design method for hard real-time systems. Real-Time Syst 6(1):73\u2013114. doi: 10.1007\/BF01245300","journal-title":"Real-Time Syst"},{"key":"9172_CR2","doi-asserted-by":"crossref","unstructured":"Cardoso JAM et\u00a0al (2012) LARA: an aspect-oriented programming language for embedded systems. In: Proceedings of the 11th annual international conference on aspect-oriented Software Development, ACM, New York, AOSD \u201912, pp 179\u2013190. doi: 10.1145\/2162049.2162071","DOI":"10.1145\/2162049.2162071"},{"key":"9172_CR3","doi-asserted-by":"crossref","unstructured":"Ciccozzi F, Sjodin M (2012) Enhancing the generation of correct-by-construction code from design models for complex embedded systems. In: IEEE conference on emerging technologies factory automation (ETFA), pp 1\u20134. doi: 10.1109\/ETFA.2012.6489716","DOI":"10.1109\/ETFA.2012.6489716"},{"key":"9172_CR4","doi-asserted-by":"crossref","unstructured":"Ciccozzi F, Cicchetti A, Krekola M, Sjodin M (2011) Generation of correct-by-construction code from design models for embedded systems. In: Industrial embedded systems (SIES), 2011 6th IEEE international symposium on, pp 63\u201366. doi: 10.1109\/SIES.2011.5953681","DOI":"10.1109\/SIES.2011.5953681"},{"key":"9172_CR5","doi-asserted-by":"crossref","unstructured":"Ebeid E, Fummi F, Quaglia D (2015) Hdl code generation from uml\/marte sequence diagrams for verification and synthesis. Design automation for embedded systems pp 1\u201323. doi: 10.1007\/s10617-014-9158-1","DOI":"10.1007\/s10617-014-9158-1"},{"issue":"4","key":"9172_CR6","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10617-012-9101-2","volume":"16","author":"M Elhaji","year":"2012","unstructured":"Elhaji M et al (2012) System level modeling methodology of noc design from uml-marte to vhdl. Des Autom Embed Syst 16(4):161\u2013187. doi: 10.1007\/s10617-012-9101-2","journal-title":"Des Autom Embed Syst"},{"issue":"10","key":"9172_CR7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/383845.383854","volume":"44","author":"T Elrad","year":"2001","unstructured":"Elrad T (2001) Discussing aspects of AOP. Commun ACM 44(10):33\u201338. doi: 10.1145\/383845.383854","journal-title":"Commun ACM"},{"key":"9172_CR8","doi-asserted-by":"crossref","unstructured":"Engel M, Spinczyk O (2008) Aspects in hardware: what do they look like? In: Proceedings of the 2008 AOSD workshop on aspects, components, and patterns for infrastructure software, ACM, New York, ACP4IS \u201908, pp 5:1\u20135:6","DOI":"10.1145\/1404891.1404896"},{"key":"9172_CR9","doi-asserted-by":"crossref","unstructured":"Figueiredo E et\u00a0al (2008) On the maintainability of aspect-oriented software: a concern-oriented measurement framework. In: 12th European conference on software maintenance and reengineering, pp 183\u2013192. doi: 10.1109\/CSMR.2008.4493313","DOI":"10.1109\/CSMR.2008.4493313"},{"key":"9172_CR10","doi-asserted-by":"crossref","unstructured":"Freitas EP, Wehrmeister MA, Silva\u00a0Jr ET, Carvalho FC, Pereira CE, Wagner FR (2007) DERAF: a high-level aspects framework for distributed embedded real-time systems design. In: Moreira A, Grundy J (eds) Early aspects: current challenges and future directions, LNCS, vol 4765, Springer Berlin Heidelberg, pp 55\u201374. doi: 10.1007\/978-3-540-76811-1_4","DOI":"10.1007\/978-3-540-76811-1_4"},{"issue":"5","key":"9172_CR11","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1145\/360051.360076","volume":"19","author":"AN Habermann","year":"1976","unstructured":"Habermann AN, Flon L, Cooprider L (1976) Modularization and hierarchy in a family of operating systems. Commun ACM 19(5):266\u2013272. doi: 10.1145\/360051.360076","journal-title":"Commun ACM"},{"issue":"7","key":"9172_CR12","doi-asserted-by":"crossref","first-page":"1100","DOI":"10.1016\/j.jss.2011.01.063","volume":"84","author":"D H\u00e4stbacka","year":"2011","unstructured":"H\u00e4stbacka D et al (2011) Model-driven development of industrial process control applications. J Syst Softw 84(7):1100\u20131113. doi: 10.1016\/j.jss.2011.01.063","journal-title":"J Syst Softw"},{"key":"9172_CR13","doi-asserted-by":"crossref","unstructured":"Kiczales G et\u00a0al (1997) Aspect-oriented programming. In: Proceedings of European conference on object-oriented programming. Springer, Berlin, pp 220\u2013242","DOI":"10.1007\/BFb0053381"},{"key":"9172_CR14","doi-asserted-by":"crossref","unstructured":"Leite M, Wehrmeister MA (2014) Aspect-oriented model-driven engineering for FPGA\/VHDL based embedded real-time systems. In: International symposium object-oriented real-time distributed computing (ISORC), IEEE Computer Society, pp 261\u2013268. doi: 10.1109\/ISORC.2014.45","DOI":"10.1109\/ISORC.2014.45"},{"key":"9172_CR15","doi-asserted-by":"crossref","unstructured":"Leite M, Damiani CV, Wehrmeister MA (2014) Enhancing automatic generation of VHDL descriptions from UML\/MARTE models. In: Proceedings of international conference on industrial informatics (INDIN\u201914), IEEE Eletronics Society, Piscataway, NY, pp 1\u20135","DOI":"10.1109\/INDIN.2014.6945500"},{"key":"9172_CR16","doi-asserted-by":"crossref","unstructured":"McUmber W, Cheng BHC (1999) Uml-based analysis of embedded systems using a mapping to vhdl. In: IEEE international symposium on high-assurance systems engineering, pp 56\u201363. doi: 10.1109\/HASE.1999.809475","DOI":"10.1109\/HASE.1999.809475"},{"key":"9172_CR17","doi-asserted-by":"crossref","unstructured":"Meier M, Hanenberg S, Spinczyk O (2012) AspectVHDL stage 1: the prototype of an aspect-oriented hardware description language. In: Proceedings of the 2012 workshop on modularity in systems software, ACM, New York, MISS \u201912, pp 3\u20138. doi: 10.1145\/2162024.2162028","DOI":"10.1145\/2162024.2162028"},{"issue":"1","key":"9172_CR18","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10664-012-9196-x","volume":"18","author":"P Mohagheghi","year":"2013","unstructured":"Mohagheghi P et al (2013) An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases. Empir Softw Eng 18(1):89\u2013116. doi: 10.1007\/s10664-012-9196-x","journal-title":"Empir Softw Eng"},{"issue":"4","key":"9172_CR19","doi-asserted-by":"crossref","first-page":"1824","DOI":"10.1109\/TIE.2007.898281","volume":"54","author":"E Monmasson","year":"2007","unstructured":"Monmasson E, Cirstea M (2007) FPGA design methodology for industrial control systems\u2014a review. Ind Electron, IEEE Trans 54(4):1824\u20131842. doi: 10.1109\/TIE.2007.898281","journal-title":"Ind Electron, IEEE Trans"},{"key":"9172_CR20","doi-asserted-by":"crossref","unstructured":"Moreira T et\u00a0al (2010) Automatic code generation for embedded systems: from UML specifications to VHDL code. In: Proceedings of 8th IEEE international conference on industrial informatics (INDIN), pp 1085\u20131090. doi: 10.1109\/INDIN.2010.5549590","DOI":"10.1109\/INDIN.2010.5549590"},{"key":"9172_CR21","unstructured":"Moreira TG (2012) Gera\u00e7\u00e3o Autom\u00e1tica de C\u00f3digo VHDL a partir de Modelos UML para Sistemas Embarcados de Tempo-Real. Master thesis (in portuguese), UFRGS, Porto Alegre. http:\/\/hdl.handle.net\/10183\/55444"},{"key":"9172_CR22","doi-asserted-by":"crossref","unstructured":"Muck T, Gernoth M, Schroder-Preikschat W, Frohlich A (2011) A case study of AOP and OOP applied to digital hardware design. In: Brazilian symposium on computing system engineering (SBESC), pp 66\u201371. doi: 10.1109\/SBESC.2011.23","DOI":"10.1109\/SBESC.2011.23"},{"key":"9172_CR23","unstructured":"Park SH (2006) ADH, aspect described hardware-description-language. Master of engineering, University of Canterbury, College of Engineering, Christchurch. http:\/\/hdl.handle.net\/10092\/1113"},{"key":"9172_CR24","doi-asserted-by":"crossref","unstructured":"Quadri I et\u00a0al (2008) MARTE based modeling approach for partial dynamic reconfigurable FPGAs. In: Proceedings of embedded systems for real-time multimedia, pp 47\u201352. doi: 10.1109\/ESTMED.2008.4696994","DOI":"10.1109\/ESTMED.2008.4696994"},{"key":"9172_CR25","doi-asserted-by":"crossref","unstructured":"Salewski F, Taylor A (2008) Systematic considerations for the application of FPGAs in industrial applications. In: IEEE international symposium on industrial electronics, pp 2009\u20132015. doi: 10.1109\/ISIE.2008.4677068","DOI":"10.1109\/ISIE.2008.4677068"},{"issue":"4","key":"9172_CR26","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. Des Autom Embed Syst 12(4):261\u2013292. doi: 10.1007\/s10617-008-9028-9","journal-title":"Des Autom Embed Syst"},{"key":"9172_CR27","doi-asserted-by":"crossref","unstructured":"Vidal J et\u00a0al (2009) A co-design approach for embedded system modeling and code generation with uml and marte. In: Design, automation test in Europe conference exhibition (DATE), pp 226\u2013231. doi: 10.1109\/DATE.2009.5090662","DOI":"10.1109\/DATE.2009.5090662"},{"key":"9172_CR28","doi-asserted-by":"crossref","unstructured":"Wang Z et\u00a0al (2008) A model driven development approach for implementing reactive systems in hardware. In: Proceedings of specification, verification and design languages (FDL), pp 197 \u2013202. doi: 10.1109\/FDL.2008.4641445","DOI":"10.1109\/FDL.2008.4641445"},{"key":"9172_CR29","doi-asserted-by":"crossref","unstructured":"Wehrmeister M, Freitas E, Pereira C, Rammig F (2008) GenERTiCA: a tool for code generation and aspects weaving. In: International symposium object-oriented real-time distributed computing (ISORC), IEEE Computer Society, pp 234\u2013238. doi: 10.1109\/ISORC.2008.67","DOI":"10.1109\/ISORC.2008.67"},{"key":"9172_CR30","first-page":"32","volume-title":"Analysis, architectures and modelling of embedded systems, IFIP advances in information and communication technology","author":"M Wehrmeister","year":"2009","unstructured":"Wehrmeister M, Freitas E, Pereira C (2009) An infrastructure for uml-based code generation tools. 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. Springer, Berlin Heidelberg, pp 32\u201343. doi: 10.1007\/978-3-642-04284-3_4"},{"key":"9172_CR31","doi-asserted-by":"crossref","unstructured":"Wehrmeister MA, Leite M (2014) On generating VHDL descriptions from aspect-oriented UML\/MARTE models. In: Proceedings of the Brazilian symposium on computing system engineering (SBESC), IEEE Computer Society, pp 1\u20136","DOI":"10.1109\/SBESC.2014.12"},{"issue":"4","key":"9172_CR32","doi-asserted-by":"crossref","first-page":"2373","DOI":"10.1109\/TII.2013.2240308","volume":"9","author":"MA Wehrmeister","year":"2013","unstructured":"Wehrmeister MA, Pereira CE, Rammig F (2013) Aspect-oriented model-driven engineering for embedded systems applied to automation systems. IEEE Trans Ind Inf 9(4):2373\u20132386. doi: 10.1109\/TII.2013.2240308","journal-title":"IEEE Trans Ind Inf"},{"issue":"7","key":"9172_CR33","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1016\/j.mechatronics.2013.12.008","volume":"24","author":"MA Wehrmeister","year":"2014","unstructured":"Wehrmeister MA, de Freitas EP, Binotto APD, Pereira CE (2014) Combining aspects and object-orientation in model-driven engineering for distributed industrial mechatronics systems. Mechatronics 24(7):844\u2013865. doi: 10.1016\/j.mechatronics.2013.12.008","journal-title":"Mechatronics"},{"issue":"10","key":"9172_CR34","doi-asserted-by":"crossref","first-page":"1357","DOI":"10.1109\/TC.2008.123","volume":"57","author":"S Wood","year":"2008","unstructured":"Wood S et al (2008) A model-driven development approach to mapping uml state diagrams to synthesizable vhdl. IEEE Trans Comput 57(10):1357\u20131371. doi: 10.1109\/TC.2008.123","journal-title":"IEEE Trans Comput"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-016-9172-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-016-9172-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-016-9172-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:29:38Z","timestamp":1559230178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-016-9172-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,9]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["9172"],"URL":"https:\/\/doi.org\/10.1007\/s10617-016-9172-6","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2016,3,9]]}}}