{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:13:28Z","timestamp":1743146008343,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030949"},{"type":"electronic","value":"9783642030956"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03095-6_30","type":"book-chapter","created":{"date-parts":[[2009,7,30]],"date-time":"2009-07-30T17:40:55Z","timestamp":1248975655000},"page":"303-314","source":"Crossref","is-referenced-by-count":2,"title":["VERTAF\/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development"],"prefix":"10.1007","author":[{"given":"Pao-Ann","family":"Hsiung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao-Sheng","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shang-Wei","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yean-Ru","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun-Hsien","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheng-Ya","family":"Tong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wan-Ting","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chihhsiong","family":"Shih","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chorng-Shiuh","family":"Koong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nien-Lin","family":"Hsueh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chih-Hung","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William C.","family":"Chu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Akhter, S.: Multi-core Programming: Increasing Performance Through Software Multi-threading. Intel Press (2006)"},{"issue":"5","key":"30_CR2","doi-asserted-by":"publisher","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\u00a06(5), 16\u201325 (2008)","journal-title":"ACM Queue"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"de Niz, D., Rajkumar, R.: Time Weaver: A software-through-models framework for embedded real-time systems. In: Proceedings of the International Workshop on Languages, Embedded Systems, pp. 133\u2013143 (June 2003)","DOI":"10.1145\/780731.780751"},{"issue":"10","key":"30_CR4","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1109\/TSE.2004.68","volume":"30","author":"P.A. Hsiung","year":"2004","unstructured":"Hsiung, P.A., Lin, S.W., Tseng, C.H., Lee, T.Y., Fu, J.M., See, W.B.: VERTAF: An application framework for the design and verification of embedded real-time software. IEEE Transactions on Software Engineering\u00a030(10), 656\u2013674 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Kodase, S., Wang, S., Shin, K.G.: Transforming structural model to runtime model of embedded real-time systems. In: Proceedings of the Design Automation and Test in Europe Conference, March 2003, pp. 170\u2013175 (2003)","DOI":"10.1109\/DATE.2003.1253824"},{"issue":"5","key":"30_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E.A. Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. IEEE Computer\u00a039(5), 33\u201342 (2006)","journal-title":"IEEE Computer"},{"key":"30_CR7","unstructured":"OpenMP (2008), http:\/\/www.openmp.org\/"},{"key":"30_CR8","unstructured":"Reinders, J.: Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism. O\u2019Reilly Media, Inc. (2007)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Samek, M.: Practical StateCharts in C\/C++. CMP (2002)","DOI":"10.1201\/9781482280807"},{"key":"30_CR10","unstructured":"Tsao, C.-C.: An efficient collaborative verification methodology for multiprocessor soc with run-time task migration. Master thesis, National Chung Cheng University, Taiwan (July 2008)"},{"issue":"1","key":"30_CR11","doi-asserted-by":"publisher","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\u00a051(1), 61\u201383 (2002)","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03095-6_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T15:44:10Z","timestamp":1739288650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03095-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030949","9783642030956"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03095-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}