{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:29Z","timestamp":1750307369453,"version":"3.41.0"},"reference-count":82,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2010,5]]},"abstract":"<jats:p>Hardware-software partitioning is an important phase in embedded systems. Decisions made during this phase impact the quality, cost, performance, and the delivery date of the final product. Over the past decade or more, various partitioning approaches have been proposed. A majority operate at a relatively fine granularity and use a low-level executable specification as the starting point. This presents problems if the context is families of industrial products with frequent release of upgraded or new members. Managing complexity using a low-level specification is extremely challenging and impacts developer productivity. Designing using a high-level specification and component-based development, although a better option, imposes component integration and replacement problems during system evolution and new product release. A new approach termed Concept-Based Partitioning is presented that focuses on system evolution, product lines, and large-scale reuse when partitioning. Beginning with information from UML 2.0 sequence diagrams and a concept repository concepts are identified and used as the unit of partitioning within a specification. A methodology for the refinement of interpart communication in the system specification using sequence diagrams is also presented. Change localization during system evolution, composability during large-scale reuse, and provision for configurable feature variations for a product line are facilitated by a Generic Adaptive Layer (GAL) around selected concepts. The methodology was applied on a subsystem of an Unmanned Aerial Vehicle (UAV) using various concepts which improved the composability of concepts while keeping performance and size overhead within the 2% range.<\/jats:p>","DOI":"10.1145\/1754405.1754407","type":"journal-article","created":{"date-parts":[[2010,6,8]],"date-time":"2010-06-08T12:37:24Z","timestamp":1276000644000},"page":"1-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Concept-based partitioning for large multidomain multifunctional embedded systems"],"prefix":"10.1145","volume":"15","author":[{"given":"Waseem","family":"Ahmed","sequence":"first","affiliation":[{"name":"P. A. College of Engineering, Mangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas","family":"Myers","sequence":"additional","affiliation":[{"name":"Curtin University of Technology, Perth, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,10]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.117"},{"volume-title":"Proceedings of the Design, Automation and Test in Europe (DATE'06)","author":"Ahmed W.","key":"e_1_2_1_2_1","unstructured":"Ahmed , W. and Myers , D . 2006. Evaluation of design alternatives . In Proceedings of the Design, Automation and Test in Europe (DATE'06) . Ahmed, W. and Myers, D. 2006. Evaluation of design alternatives. In Proceedings of the Design, Automation and Test in Europe (DATE'06)."},{"volume-title":"Proceedings of the International Conference on Intelligent &amp; Advanced Systems (ICIAS07)","author":"Ahmed W.","key":"e_1_2_1_3_1","unstructured":"Ahmed , W. , Tazuddin , A. M. , Ming , W. M. , Renn , L. T. , and Myers , D . 2007. Partitioning for a concept-based soc design to address product evolution . In Proceedings of the International Conference on Intelligent &amp; Advanced Systems (ICIAS07) . Ahmed, W., Tazuddin, A. M., Ming, W. M., Renn, L. T., and Myers, D. 2007. Partitioning for a concept-based soc design to address product evolution. In Proceedings of the International Conference on Intelligent &amp; Advanced Systems (ICIAS07)."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255463"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016720.1016752"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336534"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337526"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.506469"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.69"},{"key":"e_1_2_1_10_1","volume-title":"Software Engineering\u2014An Object Oriented Perspective","author":"Braude E.","unstructured":"Braude , E. 2001. Software Engineering\u2014An Object Oriented Perspective , 1 st Ed. John Wiley and Sons . Braude, E. 2001. Software Engineering\u2014An Object Oriented Perspective, 1st Ed. John Wiley and Sons.","edition":"1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/AMS.2009.18"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514115"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2002.1047744"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.296155"},{"key":"e_1_2_1_15_1","unstructured":"Clements P. and Northrop L. 2001. Software Product Lines\u2014Practices and Patterns. Addison Wesley.   Clements P. and Northrop L. 2001. Software Product Lines\u2014Practices and Patterns. Addison Wesley."},{"volume-title":"Japan's Software Factories","author":"Cusumano M. A.","key":"e_1_2_1_16_1","unstructured":"Cusumano , M. A. 1991. Japan's Software Factories . Oxford University Press , Oxford, UK . Cusumano, M. A. 1991. Japan's Software Factories. Oxford University Press, Oxford, UK."},{"volume-title":"Doing Hard Time","author":"Douglass B. P.","key":"e_1_2_1_17_1","unstructured":"Douglass , B. P. 2002. Doing Hard Time . Addison-Wesley . Douglass, B. P. 2002. Doing Hard Time. Addison-Wesley."},{"key":"e_1_2_1_18_1","volume-title":"Real Time UML","author":"Douglass B. P.","unstructured":"Douglass , B. P. 2004. Real Time UML , 3 rd ed. Addison-Wesley . Douglass, B. P. 2004. Real Time UML, 3rd ed. Addison-Wesley.","edition":"3"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.80"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.895984"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.245964"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337590"},{"volume-title":"Proceedings of the Design, Automation and Test in Europe (DATE'03)","author":"Fornaciari W.","key":"e_1_2_1_23_1","unstructured":"Fornaciari , W. , Micheli , P. , Salice , F. , and Zampella , L . 2003. A first step towards Hw\/Sw partitioning of UML specifications . In Proceedings of the Design, Automation and Test in Europe (DATE'03) . Fornaciari, W., Micheli, P., Salice, F., and Zampella, L. 2003. A first step towards Hw\/Sw partitioning of UML specifications. In Proceedings of the Design, Automation and Test in Europe (DATE'03)."},{"volume-title":"Refactoring\u2014Improving the Design of Existing Code","author":"Fowler M.","key":"e_1_2_1_24_1","unstructured":"Fowler , M. 1999. Refactoring\u2014Improving the Design of Existing Code . Addison-Wesley . Fowler, M. 1999. Refactoring\u2014Improving the Design of Existing Code. Addison-Wesley."},{"key":"e_1_2_1_25_1","unstructured":"Freeman E. and Freeman E. 2004. Head First Design Patterns 1st Ed. O'Reilly.   Freeman E. and Freeman E. 2004. Head First Design Patterns 1st Ed. O'Reilly."},{"key":"e_1_2_1_26_1","unstructured":"Gamma E. Helm R. Johnson R. and Vlissides J. 1995. Design Patterns\u2014Elements of Reusable Object-Oriented Software. Addison-Wesley.   Gamma E. Helm R. Johnson R. and Vlissides J. 1995. Design Patterns\u2014Elements of Reusable Object-Oriented Software. Addison-Wesley."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/581199.581207"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514070"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.72"},{"volume-title":"Proceedings of the 4th International DAC Workshop on UML for SoC Design (UML-SoC'07)","author":"Green P. N.","key":"e_1_2_1_30_1","unstructured":"Green , P. N. and Lu , Y . 2007. Hardware\/Software partitioning of UML models . In Proceedings of the 4th International DAC Workshop on UML for SoC Design (UML-SoC'07) . Green, P. N. and Lu, Y. 2007. Hardware\/Software partitioning of UML models. In Proceedings of the 4th International DAC Workshop on UML for SoC Design (UML-SoC'07)."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.232470"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.632877"},{"volume-title":"Proceedings of the 4th International Symposium on Mechattronics and its Applications (ISMA'07)","author":"Gktogan A. H.","key":"e_1_2_1_33_1","unstructured":"Gktogan , A. H. and Sukkarieh , S . 2007. Simulation of multi-UAV missions in a real-time distributed hardware-in-the-loop simulator . In Proceedings of the 4th International Symposium on Mechattronics and its Applications (ISMA'07) . Gktogan, A. H. and Sukkarieh, S. 2007. Simulation of multi-UAV missions in a real-time distributed hardware-in-the-loop simulator. In Proceedings of the 4th International Symposium on Mechattronics and its Applications (ISMA'07)."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255461"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403508"},{"key":"e_1_2_1_36_1","unstructured":"Heineman G. T. and Councill W. T. 2001. Component-Based Software Engineering\u2014Putting the Pieces Together. Addison Wesley.   Heineman G. T. and Councill W. T. 2001. Component-Based Software Engineering\u2014Putting the Pieces Together. Addison Wesley."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.924041"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255459"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.419"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.61"},{"volume-title":"thesis","author":"Kalavade A.","key":"e_1_2_1_41_1","unstructured":"Kalavade , A. 1995. Ph . D. Dissertation . Ph.D. thesis , University of California , Berkeley. Kalavade, A. 1995. Ph.D. Dissertation. Ph.D. thesis, University of California, Berkeley."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2004.11"},{"key":"e_1_2_1_43_1","volume-title":"Requirements Engineering: Processes and Techniques","author":"Kotonya G.","year":"1997","unstructured":"Kotonya , G. and Sommerville , I . 1997 . Requirements Engineering: Processes and Techniques . John Wiley and Sons, Inc. Kotonya, G. and Sommerville, I. 1997. Requirements Engineering: Processes and Techniques. John Wiley and Sons, Inc."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/1158337.1158683"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.04.007"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151074.1151082"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.868693"},{"volume-title":"Building unreliable systems out of reliable components: The real time story. Tech. rep","author":"Lee E. A.","key":"e_1_2_1_48_1","unstructured":"Lee , E. A. 2005. Building unreliable systems out of reliable components: The real time story. Tech. rep ., University of California , Berkeley. October. Lee, E. A. 2005. Building unreliable systems out of reliable components: The real time story. Tech. rep., University of California, Berkeley. October."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.127"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/785411.785412"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-008-0079-0"},{"volume-title":"Proceedings of Design, Automation and Test in Europe (DATE'04)","author":"Lysecky R.","key":"e_1_2_1_52_1","unstructured":"Lysecky , R. and Vahid , F . 2004. A configurable logic architecture for dynamic hardware\/software partitioning . In Proceedings of Design, Automation and Test in Europe (DATE'04) . Lysecky, R. and Vahid, F. 2004. A configurable logic architecture for dynamic hardware\/software partitioning. In Proceedings of Design, Automation and Test in Europe (DATE'04)."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142980.1142983"},{"volume-title":"A survey of embedded systems' programming languages","author":"Maurer S. S.","key":"e_1_2_1_54_1","unstructured":"Maurer , S. S. 2002. A survey of embedded systems' programming languages . IEEE Potentials 21. Maurer, S. S. 2002. A survey of embedded systems' programming languages. IEEE Potentials 21."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.391379"},{"key":"e_1_2_1_56_1","unstructured":"Mindless. (1\/08). http:\/\/www.lysator.liu.se\/mbrx\/mindless\/.  Mindless. (1\/08). http:\/\/www.lysator.liu.se\/mbrx\/mindless\/."},{"key":"e_1_2_1_57_1","unstructured":"Object Management Group (OMG). 2004. UML 2.0 sperstructure specification.  Object Management Group (OMG). 2004. UML 2.0 sperstructure specification."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142980.1142982"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145287.1145289"},{"volume-title":"Proceedings of the International Conference on Software Maintenance (ICSM'02)","author":"Rajlich V.","key":"e_1_2_1_60_1","unstructured":"Rajlich , V. and Gosavi , P . 2002. A case study of unanticipated incremental change . In Proceedings of the International Conference on Software Maintenance (ICSM'02) . Rajlich, V. and Gosavi, P. 2002. A case study of unanticipated incremental change. In Proceedings of the International Conference on Software Maintenance (ICSM'02)."},{"key":"e_1_2_1_61_1","doi-asserted-by":"crossref","unstructured":"Rajlich V. and Gosavi P. 2004. Incremental change in object-oriented programming. IEEE Comput.  Rajlich V. and Gosavi P. 2004. Incremental change in object-oriented programming. IEEE Comput.","DOI":"10.1109\/MS.2004.17"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.362"},{"key":"e_1_2_1_63_1","unstructured":"Report. 2005. Bugs check out but they don't check in. Linux Mag.  Report. 2005. Bugs check out but they don't check in. Linux Mag."},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2003.1209462"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.344"},{"key":"e_1_2_1_66_1","volume-title":"Classical and Object-Oriented Software Engineering","author":"Schach S. R.","unstructured":"Schach , S. R. 1999. Classical and Object-Oriented Software Engineering , 4 th Ed. McGraw Hill . Schach, S. R. 1999. Classical and Object-Oriented Software Engineering, 4th Ed. McGraw Hill.","edition":"4"},{"key":"e_1_2_1_67_1","volume-title":"Software Engineering","author":"Sommerville I.","unstructured":"Sommerville , I. 2004. Software Engineering , 7 th Ed. Addison Wesley . Sommerville, I. 2004. Software Engineering, 7th Ed. Addison Wesley.","edition":"7"},{"key":"e_1_2_1_68_1","unstructured":"SpecC. http:\/\/www.specc.gr.jp\/eng\/index.html. (1\/08).  SpecC. http:\/\/www.specc.gr.jp\/eng\/index.html. (1\/08)."},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1026799.1026821"},{"key":"e_1_2_1_70_1","volume-title":"Eds","author":"Staunstrup J.","year":"2002","unstructured":"Staunstrup , J. and Wolf , W. , Eds . 2002 . Hardware\/Software Co-Design: Principles and Practice. Kluwer Academic Publishers . Staunstrup, J. and Wolf, W., Eds. 2002. Hardware\/Software Co-Design: Principles and Practice. Kluwer Academic Publishers."},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/774572.774596"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255471"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/972627.972637"},{"key":"e_1_2_1_74_1","unstructured":"SystemC. http:\/\/www.systemc.org\/home. (1\/08).  SystemC. http:\/\/www.systemc.org\/home. (1\/08)."},{"key":"e_1_2_1_75_1","volume-title":"Component Software\u2014Beyond Object Oriented Programming","author":"Szyperski C.","unstructured":"Szyperski , C. 2002. Component Software\u2014Beyond Object Oriented Programming , 2 nd Ed. Addison Wesley . Szyperski, C. 2002. Component Software\u2014Beyond Object Oriented Programming, 2nd Ed. Addison Wesley.","edition":"2"},{"volume-title":"Proceedings of the 3rd International Workshop UML for SoC Design (UML-SoC) in DAC'06","author":"Tseng C.-H.","key":"e_1_2_1_76_1","unstructured":"Tseng , C.-H. and Hsiung , P . -A. 2006. A UML-based design flow and partitioning methodology for dynamically reconfigurable systems . In Proceedings of the 3rd International Workshop UML for SoC Design (UML-SoC) in DAC'06 . Tseng, C.-H. and Hsiung, P.-A. 2006. A UML-based design flow and partitioning methodology for dynamically reconfigurable systems. In Proceedings of the 3rd International Workshop UML for SoC Design (UML-SoC) in DAC'06."},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.825699"},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.5555\/792768.793517"},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/224486.224492"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/1275986.1275989"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193227"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.13"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1754405.1754407","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1754405.1754407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:50Z","timestamp":1750245770000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1754405.1754407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":82,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["10.1145\/1754405.1754407"],"URL":"https:\/\/doi.org\/10.1145\/1754405.1754407","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"type":"print","value":"1084-4309"},{"type":"electronic","value":"1557-7309"}],"subject":[],"published":{"date-parts":[[2010,5]]},"assertion":[{"value":"2009-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}