{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:19Z","timestamp":1760586559182,"version":"3.41.0"},"reference-count":59,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T00:00:00Z","timestamp":1291161600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001602","name":"Science Foundation Ireland","doi-asserted-by":"publisher","award":["03\/CE2\/I303_1"],"award-info":[{"award-number":["03\/CE2\/I303_1"]}],"id":[{"id":"10.13039\/501100001602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2010,12]]},"abstract":"<jats:p>Model-driven engineering addresses issues of platform heterogeneity and code quality through the use of high-level system models and subsequent automatic transformations. Adoption of the model-driven software engineering paradigm for embedded systems necessitates specification of appropriate models of often complex systems. Modern embedded systems are typically composed of multiple functional and nonfunctional concerns, with the nonfunctional concerns (e.g., timing and performance) typically affecting the design and implementation of the functional concerns. The presence of crosscutting concerns makes specification of adequate platform-independent models a significant challenge. Aspect-oriented software development is a separation of concerns technique that decomposes systems into distinct features with minimal overlap. In this article, we illustrate how Theme\/UML, an aspect-oriented modeling approach, can be used to separate embedded systems concerns and reduce complexity in design. We also present Model-Driven Theme\/UML, a toolset for model-driven engineering of embedded systems that supports modularised design with Theme\/UML and automatic transformations to composed models and source code.<\/jats:p>","DOI":"10.1145\/1880050.1880057","type":"journal-article","created":{"date-parts":[[2011,1,5]],"date-time":"2011-01-05T16:59:17Z","timestamp":1294246757000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Managing embedded systems complexity with aspect-oriented model-driven engineering"],"prefix":"10.1145","volume":"10","author":[{"given":"Cormac","family":"Driver","sequence":"first","affiliation":[{"name":"Trinity College Dublin, Ireland"}]},{"given":"Sean","family":"Reilly","sequence":"additional","affiliation":[{"name":"Trinity College Dublin, Ireland"}]},{"given":"\u00c9amonn","family":"Linehan","sequence":"additional","affiliation":[{"name":"Trinity College Dublin, Ireland"}]},{"given":"Vinny","family":"Cahill","sequence":"additional","affiliation":[{"name":"Trinity College Dublin, Ireland"}]},{"given":"Siobh\u00e1n","family":"Clarke","sequence":"additional","affiliation":[{"name":"Trinity College Dublin, Ireland"}]}],"member":"320","published-online":{"date-parts":[[2011,1,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1233901.1233902"},{"key":"e_1_2_1_2_1","first-page":"674","article-title":"A framework for semantics of UML sequence diagrams in PVS","volume":"8","author":"Aredo D. B","year":"2002","journal-title":"J. Universal Comput. Sci."},{"key":"e_1_2_1_3_1","unstructured":"Bakal M. and Cohen J. 2010. Modeling c applications in uml with files and structures. http:\/\/www.dsp-fpga.com\/articles\/id\/?3637.  Bakal M. and Cohen J. 2010. Modeling c applications in uml with files and structures. http:\/\/www.dsp-fpga.com\/articles\/id\/?3637."},{"key":"e_1_2_1_4_1","unstructured":"Bright W. 1990. Debugging c pointers using mem. Micro Cornucopia 21.  Bright W. 1990. Debugging c pointers using mem. Micro Cornucopia 21."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03764-1_7"},{"key":"e_1_2_1_7_1","article-title":"A survey of formal verification methods and tools for embedded and real-time systems","volume":"2","author":"Cheng A. M. K.","year":"2006","journal-title":"Int. J. Embedded Syst."},{"key":"e_1_2_1_9_1","unstructured":"Clarke S. and Baniassad E. 2005a. Aspect-Oriented Analysis and Design: The Theme Approach 1st ed. Addison-Wesley Upper Saddle River NJ.   Clarke S. and Baniassad E. 2005a. Aspect-Oriented Analysis and Design: The Theme Approach 1st ed. Addison-Wesley Upper Saddle River NJ."},{"key":"e_1_2_1_10_1","unstructured":"Clarke S. and Baniassad E. 2005b. Theme Composition. Object Technology Series. Addison-Wesley Boston MA 199--244.  Clarke S. and Baniassad E. 2005b. Theme Composition. Object Technology Series. Addison-Wesley Boston MA 199--244."},{"volume-title":"Proceedings of the 6th International Conference on Aspect-Oriented Software Development, Industry Track. ACM","author":"Cottenier T.","key":"e_1_2_1_11_1"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229375.1229377"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529377"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134421"},{"volume-title":"AMW: A generic model weaver. In Journ\u00e9es sur l'Ing\u00e9nierie Dirig\u00e9e par les Mod&mu","year":"2005","author":"Didonet Del Fabro M.","key":"e_1_2_1_15_1"},{"volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","unstructured":"Douglass B. P. 2008. UML for C. White paper Telelogic.  Douglass B. P. 2008. UML for C. White paper Telelogic."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1279706.1279709"},{"key":"e_1_2_1_20_1","unstructured":"Escher. 2008. Tools - Escher Research Institute. http:\/\/www.escherinstitute.org\/Plone\/tools\/.  Escher. 2008. Tools - Escher Research Institute. http:\/\/www.escherinstitute.org\/Plone\/tools\/."},{"key":"e_1_2_1_21_1","unstructured":"Filman R. E. Elrad T. Clarke S. and Ak\u015fit M. 2005. Aspect-Oriented Software Development. Addison-Wesley Boston MA.   Filman R. E. Elrad T. Clarke S. and Ak\u015fit M. 2005. Aspect-Oriented Software Development. Addison-Wesley Boston MA."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69073-3_2"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1509239.1509267"},{"volume-title":"Eds","year":"2005","author":"G\u00e9rard S.","key":"e_1_2_1_24_1"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2006.5.4.a5"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.45"},{"volume-title":"Proceedings of the Object-Oriented Programming Conference. Springer-Verlag","author":"Greenwood P.","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229375.1229381"},{"volume-title":"Proceedings of the International Conference on Model Driven Engineering Languages and Systems. Springer-Verlag","author":"Jayaraman P. K.","key":"e_1_2_1_29_1"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MBD-MOMPES.2006.21"},{"volume-title":"Proceedings of the European Conference on Object-Oriented Programming. Springer-Verlag","author":"Kiczales G.","key":"e_1_2_1_31_1"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1805812.1805819"},{"volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"Kopetz H.","key":"e_1_2_1_33_1"},{"key":"e_1_2_1_34_1","unstructured":"Krasner J. 2004. Model-based design and beyond: Solutions for today's embedded systems requirements. Analyst report American Technology International.  Krasner J. 2004. Model-based design and beyond: Solutions for today's embedded systems requirements. Analyst report American Technology International."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1241372"},{"volume-title":"Overview of the Ptolemy Project. Tech. rep. UCB\/ERL M03\/25","author":"Lee E. A.","key":"e_1_2_1_36_1"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-005-8911-2"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.35"},{"key":"e_1_2_1_39_1","unstructured":"Miller J. and Mukerji J. 2003. MDA Guide. Tech. rep. Object Management Group.  Miller J. and Mukerji J. 2003. MDA Guide. Tech. rep. Object Management Group."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOM.2007.7"},{"key":"e_1_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Murphy B. Wakefield A. and Friedman J. 2008. Best practices for verification validation and test in model-based design. Tech. rep. 2008-01-1469 The MathWorks Inc.  Murphy B. Wakefield A. and Friedman J. 2008. Best practices for verification validation and test in model-based design. Tech. rep. 2008-01-1469 The MathWorks Inc.","DOI":"10.4271\/2008-01-1469"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1150343.1150383"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1284480.1284509"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/784821.784884"},{"volume-title":"A UML profile for MARTE. Tech. rep. ptc\/07-08-04","key":"e_1_2_1_45_1"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03240-0_7"},{"key":"e_1_2_1_47_1","unstructured":"Pont M. J. 2002. Embedded C. Addison Wesley Upper Saddle River NJ.   Pont M. J. 2002. Embedded C. Addison Wesley Upper Saddle River NJ."},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Reddy Y. R. Ghosh S. France R. B. Straw G. Bieman J. M. McEachen N. Song E. and Georg G. 2006. Directives for Composing Aspect-Oriented Design Class Models. Springer-Verlag Berlin.  Reddy Y. R. Ghosh S. France R. B. Straw G. Bieman J. M. McEachen N. Song E. and Georg G. 2006. Directives for Composing Aspect-Oriented Design Class Models. Springer-Verlag Berlin.","DOI":"10.1007\/11687061_3"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1550987.1550993"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147141"},{"key":"e_1_2_1_51_1","unstructured":"Sadler J. 1998. Object oriented idioms in c. http:\/\/ficl.sourceforge.net\/oo_in_c.html.  Sadler J. 1998. Object oriented idioms in c. http:\/\/ficl.sourceforge.net\/oo_in_c.html."},{"key":"e_1_2_1_52_1","unstructured":"Samek M. 1997. Portable inheritance and polymorphism in c. Embedded Syst. Program.  Samek M. 1997. Portable inheritance and polymorphism in c. Embedded Syst. Program."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2005.03.001"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.294"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255400.1255401"},{"key":"e_1_2_1_57_1","doi-asserted-by":"crossref","unstructured":"Straw G. Georg G. Song E. Ghosh S. France R. B. and Bieman J. M. 2004. Model Composition Directives. Springer Berlin 84--97.  Straw G. Georg G. Song E. Ghosh S. France R. B. and Bieman J. M. 2004. Model Composition Directives. Springer Berlin 84--97.","DOI":"10.1007\/978-3-540-30187-5_7"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.831197"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2007.17"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643617"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1880050.1880057","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1880050.1880057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:16Z","timestamp":1750243936000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1880050.1880057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":59,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["10.1145\/1880050.1880057"],"URL":"https:\/\/doi.org\/10.1145\/1880050.1880057","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2010,12]]},"assertion":[{"value":"2008-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}