{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T05:24:56Z","timestamp":1741238696600,"version":"3.38.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1007\/s11390-011-1146-3","type":"journal-article","created":{"date-parts":[[2011,5,18]],"date-time":"2011-05-18T12:30:26Z","timestamp":1305721826000},"page":"448-462","source":"Crossref","is-referenced-by-count":4,"title":["VERTAF\/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development"],"prefix":"10.1007","volume":"26","author":[{"given":"Chao-Sheng","family":"Lin","sequence":"first","affiliation":[]},{"given":"Chun-Hsien","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Shang-Wei","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Yean-Ru","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Pao-Ann","family":"Hsiung","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,5,12]]},"reference":[{"key":"1146_CR1","unstructured":"Akhter S. Multi-Core Programming: Increasing Performance Through Software Multi-Threading. Intel Press, 2006."},{"key":"1146_CR2","unstructured":"OpenMP. http:\/\/www.openmp.org\/ , 2008."},{"key":"1146_CR3","unstructured":"Intel Inc. http:\/\/software.intel.com\/en-us\/articles\/intel-cilkplus\/ , 2010."},{"key":"1146_CR4","unstructured":"Reinders J. Intel Threading Building Blocks: Outfitting C++ for Multi-Core Processor Parallelism. O\u2019Reilly Media, Inc., 2007."},{"issue":"10","key":"1146_CR5","doi-asserted-by":"crossref","first-page":"656","DOI":"10.1109\/TSE.2004.68","volume":"30","author":"PA Hsiung","year":"2004","unstructured":"Hsiung P A, Lin SW, Tseng C H, Lee T Y, Fu JM, See W B. VERTAF: An application framework for the design and verification of embedded real-time software. IEEE Transactions on Software Engineering, Oct. 2004, 30(10): 656\u2013674.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1146_CR6","unstructured":"Rumbaugh J, Booch G, Jacobson I. The UML Reference Guide. Addison Wesley Longman, 1999."},{"key":"1146_CR7","doi-asserted-by":"crossref","unstructured":"Samek M. Practical StateCharts in C\/C++. CMP Books, 2002.","DOI":"10.1201\/9781482280807"},{"issue":"5","key":"1146_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"EA Lee","year":"2006","unstructured":"Lee E A. The problem with threads. IEEE Computer, May 2006, 39(5): 33\u201342.","journal-title":"IEEE Computer"},{"key":"1146_CR9","unstructured":"UML. http:\/\/www.omg.org\/gettingstarted\/what_is_uml.htm , 2010."},{"key":"1146_CR10","unstructured":"SysML. http:\/\/www.omgsysml.org\/ , 2010."},{"key":"1146_CR11","unstructured":"Model driven development\u2013simplifying multicore systems deployment. Technical Report, IBM Corporation Software Group, October 2009."},{"key":"1146_CR12","doi-asserted-by":"crossref","unstructured":"de Niz D, Rajkumar R. Time Weaver: A software-throughmodels framework for embedded real-time systems. In Proc. LCTES 2003, San Diego, USA, Jun. 11\u201313, 2003, pp.133\u2013143.","DOI":"10.1145\/780732.780751"},{"key":"1146_CR13","doi-asserted-by":"crossref","unstructured":"Kodase S, Wang S, Shin K G. Transforming structural model to runtime model of embedded real-time systems. In Proc. the Design Automation and Test in Europe Conference, Munich, Germany, Mar. 3\u20137, 2003, pp.170\u2013175.","DOI":"10.1109\/DATE.2003.1253824"},{"key":"1146_CR14","unstructured":"Wang S, Kodase S, Shin K G. Automating embedded software construction and analysis with design models. In Proc. the International Conference of Euro-uRapid, Frankfurt, Germany, Dec. 2\u20133, 2002, pp.A\/5.1-A\/5.6."},{"key":"1146_CR15","unstructured":"Piel E, Ben Atitallah R, Marquet P, Meftali S, Niar S, Etien A, Dekeyser J L, Boulet P. Gaspard2: From MARTE to systemc simulation. In Workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML Profile (DATE2008), March 2008."},{"key":"1146_CR16","unstructured":"Rioux L, Saunier T, Gerard S, Radermacher A, de Simone R, Gautier T, Sorel Y, Forget J, Dekeyser J L, Cuccuru A, Dumoulin C, Andre C. MARTE: A new profile RFP for the modeling and analysis of real-time embedded systems. In Workshop UML for SoC Design (DAC 2005), June 2005."},{"key":"1146_CR17","doi-asserted-by":"crossref","unstructured":"Bader D, Kanade V, Madduri K. SWARM: A parallel programming framework for multi-core processors. In Proc. IPDPS 2007, Long Beach, USA, Mar. 26\u201330, 2007, pp.1\u20138.","DOI":"10.1109\/IPDPS.2007.370681"},{"issue":"5","key":"1146_CR18","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1147\/rd.515.0593","volume":"51","author":"J Perez","year":"2007","unstructured":"Perez J, Bellens P, Badia R, Labarta J. Cellss: Making it easier to program the cell broadband engine processor. IBM Journal of Research and Development, 2007, 51(5): 593\u2013604.","journal-title":"IBM Journal of Research and Development"},{"key":"1146_CR19","doi-asserted-by":"crossref","unstructured":"Wagner J, Jahanpanah A, Traff J. User-land work stealing schedulers: Towards a standard. In Proc. CISIS 2008, Mar. 4\u20137, 2008, pp.811-816.","DOI":"10.1109\/CISIS.2008.8"},{"issue":"1","key":"1146_CR20","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/12.980017","volume":"51","author":"F Wang","year":"2002","unstructured":"Wang F, Hsiung P A. Efficient and user-friendly verification. IEEE Transactions on Computers, January 2002, 51(1): 61-83.","journal-title":"IEEE Transactions on Computers"},{"issue":"5","key":"1146_CR21","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1454456.1454462","volume":"6","author":"B Cantrill","year":"2008","unstructured":"Cantrill B, Bonwick J. Real-world concurrency. ACM Queue, September 2008, 6(5): 16\u201325.","journal-title":"ACM Queue"},{"key":"1146_CR22","unstructured":"Tsao C C. An efficient collaborative verification methodology for multiprocessor SoC with run-time task migration [Master\u2019s Thesis]. \u201cNational Chung Cheng University\u201d, July 2008."},{"issue":"5","key":"1146_CR23","doi-asserted-by":"crossref","first-page":"1859","DOI":"10.1109\/TIM.2007.904554","volume":"56","author":"CH Lien","year":"2007","unstructured":"Lien C H, Bai Y W, Lin M B. Estimation by software for the power consumption of streaming-media servers. IEEE Transactions on Instrumentation and Measurement, October 2007, 56(5): 1859\u20131870.","journal-title":"IEEE Transactions on Instrumentation and Measurement"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-011-1146-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-011-1146-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-011-1146-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T16:34:29Z","timestamp":1741192469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-011-1146-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["1146"],"URL":"https:\/\/doi.org\/10.1007\/s11390-011-1146-3","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2011,5]]}}}