{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:26:15Z","timestamp":1745987175492,"version":"3.40.4"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,3,28]],"date-time":"2013-03-28T00:00:00Z","timestamp":1364428800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s10270-013-0337-5","type":"journal-article","created":{"date-parts":[[2013,3,27]],"date-time":"2013-03-27T12:34:56Z","timestamp":1364387696000},"page":"795-812","source":"Crossref","is-referenced-by-count":5,"title":["ESUML-EAF: a framework to develop an energy-efficient design model for embedded software"],"prefix":"10.1007","volume":"14","author":[{"given":"Doo-Hwan","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jang-Eui","family":"Hong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,28]]},"reference":[{"key":"337_CR1","doi-asserted-by":"crossref","unstructured":"Prehofer, C.: An adaptive control model for non-functional feature interactions. In: Proceedings of 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 501\u2013507 (2011)","DOI":"10.1109\/SEAA.2011.81"},{"issue":"3\u20134","key":"337_CR2","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/s11219-011-9152-9","volume":"20","author":"N Siegmund","year":"2012","unstructured":"Siegmund, N., et al.: SPL conqueror: toward optimization of non-functional properties in software product lines. Softw. Qual. J. 20(3\u20134), 487\u2013517 (2012)","journal-title":"Softw. Qual. J."},{"key":"337_CR3","doi-asserted-by":"crossref","unstructured":"Saadatmand, M., et al.: A methodology for designing energy-aware secure embedded systems. In: Proceedings of 6th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 87\u201390 (2011)","DOI":"10.1109\/SIES.2011.5953687"},{"issue":"1","key":"337_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1324969.1324971","volume":"7","author":"Y Fei","year":"2007","unstructured":"Fei, Y., et al.: Energy-optimizing source code transformations for operating system-driven embedded software. ACM Trans. Embed. Comput. Syst. 7(1), 1\u201326 (2007)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"4","key":"337_CR5","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/92.335012","volume":"2","author":"V Tiwari","year":"1994","unstructured":"Tiwari, V., Malik, S., Wolfe, A.: Power analysis of embedded software: a first step towards software power minimization. IEEE Trans. VLSI Syst. 2(4), 437\u2013445 (1994)","journal-title":"IEEE Trans. VLSI Syst."},{"key":"337_CR6","doi-asserted-by":"crossref","unstructured":"Chang, N., Kim, K.H., Lee, H.G.: Cycle-accurate energy consumption measurement and analysis: case study of ARM7TDMI. In: Proceedings of the International Symposium on Low Power Electronics and Design, pp. 185\u2013190 (2000)","DOI":"10.1145\/344166.344576"},{"key":"337_CR7","doi-asserted-by":"crossref","unstructured":"Gebotys, C.H., Gebotys, R.J.: An empirical comparison of algorithmic, instruction and architectural power prediction models for high performance embedded DSP processors. In: Proceedings of IEEE International Symposium on Low Power Electronics and Design, pp. 121\u2013123 (1998)","DOI":"10.1145\/280756.280824"},{"key":"337_CR8","unstructured":"Klass, B., et al.: Modeling inter-instruction energy effects in a digital signal processor. In: Proceeding of the Power Driven Microarchitecture Workshop in ISCA\u201998 (1998)"},{"issue":"1","key":"337_CR9","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/92.555992","volume":"5","author":"MT Lee","year":"1997","unstructured":"Lee, M.T., et al.: Power analysis and minimization techniques for embedded DSP software. IEEE Trans. VLSI Syst. 5(1), 123\u2013135 (1997)","journal-title":"IEEE Trans. VLSI Syst."},{"key":"337_CR10","doi-asserted-by":"crossref","unstructured":"Qu, G., et al.: Code coverage-based power estimation techniques for microprocessors. J. Circuits Syst. Comput. 11(5), 1\u201318 (2002)","DOI":"10.1142\/S0218126602000616"},{"key":"337_CR11","doi-asserted-by":"crossref","unstructured":"Sarta, D., Trifone, D., Ascia, G.: A data dependent approach to instruction level power estimation. In: Proceedings of IEEE Alessandro Volta Memorial Workshop on Low Power Design, pp. 182\u2013190 (1999)","DOI":"10.1109\/LPD.1999.750419"},{"key":"337_CR12","doi-asserted-by":"crossref","unstructured":"Talarico, C., et al.: A new framework for power estimation of embedded systems. IEEE Comput. 38, 71\u201378 (2005)","DOI":"10.1109\/MC.2005.39"},{"issue":"9","key":"337_CR13","first-page":"605","volume":"21","author":"TK Tan","year":"2002","unstructured":"Tan, T.K., et al.: High-level energy macromodeling of embedded software. IEEE Trans. Comput. Aided Design Integr. Circuits Syst. 21(9), 605\u2013610 (2002)","journal-title":"IEEE Trans. Comput. Aided Design Integr. Circuits Syst."},{"key":"337_CR14","doi-asserted-by":"crossref","unstructured":"Tan, T.K., Raghunathan, A., Jha, N.K.: Software architectural transformation: a new approach to low energy embedded software. In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition, pp. 1046\u20131051 (2003)","DOI":"10.1109\/DATE.2003.1253742"},{"key":"337_CR15","unstructured":"OMG Unified Modeling Language: Superstructure, V2.1.2. http:\/\/www.omg.org"},{"key":"337_CR16","doi-asserted-by":"crossref","unstructured":"Kim, D.H., Kim, J.P., Hong, J.E.: A power consumption analysis technique using UML-based design models in embedded software development. In: Lecture Notes of Computer Science, Vol. 6543, pp. 320\u2013331 (2011)","DOI":"10.1007\/978-3-642-18381-2_27"},{"key":"337_CR17","doi-asserted-by":"crossref","unstructured":"Tan, T.K., Raghunathan, A., Jha, N.K.L.: EMSIM: An energy simulation framework for an embedded operating system. In: Proceedings of International Symposium of Circuits and Systems, pp. 464\u2013467 (2002)","DOI":"10.1109\/ISCAS.2002.1011025"},{"key":"337_CR18","doi-asserted-by":"crossref","unstructured":"Sinha, A., Chandrakasan, A.P.: JouleTrack\u2014a web based tool for software energy profiling. In: Proceedings of 38th IEEE Conference on Design Automation, pp. 220\u2013225 (2001)","DOI":"10.1145\/378239.378467"},{"key":"337_CR19","doi-asserted-by":"crossref","unstructured":"Brandolese, C., et al.: An instruction-level functionality-based energy estimation model for 32-bits microprocessors. In: Proceedings of ACM\/IEEE DAC 2000, pp. 346\u2013351 (2000)","DOI":"10.1145\/337292.337437"},{"key":"337_CR20","doi-asserted-by":"crossref","first-page":"2641","DOI":"10.1155\/ASP.2005.2641","volume":"16","author":"E Senn","year":"2005","unstructured":"Senn, E.: SoftExplorer: estimating and optimizing the power and energy consumption of a C program for DSP application. EURASIP J. Appl. Signal Process. 16, 2641\u20132654 (2005)","journal-title":"EURASIP J. Appl. Signal Process."},{"key":"337_CR21","unstructured":"Yue, X., et al.: OOEM: object-oriented energy model for embedded software reuse. In: Proceedings of IEEE International Conference on Information Reuse and Integration, pp. 551\u2013558 (2003)"},{"key":"337_CR22","doi-asserted-by":"crossref","unstructured":"Jun, H., et al.: Modeling and analysis of power consumption for component-based embedded software. In: Proceedings of EUC Workshop 2006, pp. 795\u2013804 (2006)","DOI":"10.1007\/11807964_80"},{"key":"337_CR23","doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Buhnova, B., Aleti, A., Grunske L.: Architecture-driven reliability and energy optimization for complex embedded systems. In: Proceedings of QoSA 2010, pp. 52\u201367 (2010)","DOI":"10.1007\/978-3-642-13821-8_6"},{"key":"337_CR24","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20, 19\u201325 (2003)","journal-title":"IEEE Softw."},{"key":"337_CR25","doi-asserted-by":"crossref","unstructured":"Cook, S.: Looking back at UML. Softw. Syst. Model. 11(4), 471\u2013480 (2012)","DOI":"10.1007\/s10270-012-0256-x"},{"key":"337_CR26","doi-asserted-by":"crossref","unstructured":"Brooks, D., Tiwari, V., Martonosi, M.: Wattch: A framework for architectural-level power analysis and optimizations. In: Proceedings of International Symposium on Computer, Architecture, pp. 83\u201394 (2000)","DOI":"10.1145\/339647.339657"},{"key":"337_CR27","first-page":"300","volume":"4644","author":"Z Herczeg","year":"2007","unstructured":"Herczeg, Z., Kiss, A., Schmidt, D., Wehn, N.: XEEMU: an improved XScale power simulator. LNCS 4644, 300\u2013309 (2007)","journal-title":"LNCS"},{"key":"337_CR28","unstructured":"ESUML: ESUML: embedded software modeling using UML 2.x. (2009). http:\/\/selab.cbnu.ac.kr\/projects\/esuml\/index.html\/"},{"key":"337_CR29","doi-asserted-by":"crossref","unstructured":"Bultan, T.: Action language: a specification language for model checking reactive systems. In: Proceedings of International Conference on Software Engineering, pp. 335\u2013344 (2000)","DOI":"10.1145\/337180.337219"},{"key":"337_CR30","doi-asserted-by":"crossref","unstructured":"Garousi, V., Briand, L.C., Labiche, Y.: Control flow analysis of UML 2.0 sequence diagrams. In: Lecture Notes of Computer Science 3748, pp. 160\u2013174 (2005)","DOI":"10.1007\/11581741_13"},{"key":"337_CR31","doi-asserted-by":"crossref","unstructured":"Kim, J.P., Kim, D.H., Hong, J.E.: Estimating power consumption of mobile embedded software based on behavioral model. In: Proceedings of ICCE 2010, pp. 105\u2013106 (2010)","DOI":"10.1109\/ICCE.2010.5418970"},{"key":"337_CR32","doi-asserted-by":"crossref","unstructured":"Bammi, J.R., et al.: Software performance estimation strategies in a system-level design tool. In: Proceedings of CODES 2000, pp. 82\u201386 (2000)","DOI":"10.1145\/334012.334028"},{"key":"337_CR33","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1016\/j.jss.2009.04.043","volume":"82","author":"S Jeon","year":"2009","unstructured":"Jeon, S., Hong, J., Song, I., Bae, D.: Developing platform specific model for MPSoC architecture from UML-based embedded software models. J. Syst. Softw. 82, 1695\u20131708 (2009)","journal-title":"J. Syst. Softw."},{"key":"337_CR34","volume-title":"Computer Architecture: A Quantitative Approach, 3rd edn","author":"J Hennessy","year":"2003","unstructured":"Hennessy, J., Patterson, D.: Computer Architecture: A Quantitative Approach, 3rd edn. Morgan Kaufmann, San Mateo, CA (2003)"},{"key":"337_CR35","unstructured":"DEC: StrongARM RISC Processor, Data Sheet V. 2.0, Digital Equipment Corporation (1996). http:\/\/en.wikipedia.org\/wiki\/StrongARM"},{"key":"337_CR36","unstructured":"NIST: FIPS-PUB-197: Advanced Encryption Standard (2001). http:\/\/www.aescrypt.com\/aes_information.html"},{"issue":"3","key":"337_CR37","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1109\/30.234637","volume":"39","author":"H Huang","year":"1993","unstructured":"Huang, H., Wu, J.: Novel real-time software-based video coding algorithms. IEEE Trans. Consumer Electron. 39(3), 570\u2013580 (1993)","journal-title":"IEEE Trans. Consumer Electron."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0337-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0337-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0337-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T02:18:28Z","timestamp":1745979508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0337-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,28]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["337"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0337-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2013,3,28]]}}}