{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T20:12:21Z","timestamp":1771704741341,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319055053","type":"print"},{"value":"9783319055060","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05506-0_25","type":"book-chapter","created":{"date-parts":[[2014,4,29]],"date-time":"2014-04-29T09:27:35Z","timestamp":1398763655000},"page":"258-267","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Design Support Tools of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Keliang","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Binbin","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cen","family":"Ye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ling","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,4,30]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Yan, H., Liu, Z., Wan, J., Zhou, K.: Improving spectator sports safety by cyber-physical systems: challenges and solutions. In: Proceedings of the 8th International Conference on Embedded and Multimedia Computing, Taipei, Taiwan (2013)","DOI":"10.1007\/978-94-007-7262-5_83"},{"key":"25_CR2","unstructured":"Chun, I., Park, J., Kim, W., Kang, W., Lee, H., Park, S.: Autonomic computing technologies for cyber-physical systems. In: The 12th International Conference on Advanced Communication Technology (ICACT), pp. 1009\u20131014 (2010)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Yan, H., Wan, J., Li, D., Tu, Y., Zhang, P.: Codesign of networked control systems: a review from different perspectives. In: Proceedings of the IEEE International Conference on Cyber Technology in Automation, Control, and Intelligent Systems, pp. 84\u201390 (2011)","DOI":"10.1109\/CYBER.2011.6011769"},{"issue":"1\u20132","key":"25_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF00134682","volume":"1","author":"R Camposano","year":"1996","unstructured":"Camposano, R., Wilberg, J.: Embedded system design. Des. Autom. Embed. Syst. 1(1\u20132), 5\u201350 (1996)","journal-title":"Des. Autom. Embed. Syst."},{"key":"25_CR5","volume-title":"Embedded System Design","author":"P Marwedel","year":"2005","unstructured":"Marwedel, P.: Embedded System Design. Springer, New York (2005)"},{"issue":"1\u20132","key":"25_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.jpowsour.2003.09.023","volume":"127","author":"A Schmitz","year":"2004","unstructured":"Schmitz, A., Wanger, S., Hahn, R., Uzun, H., Hebling, C.: Stability of planar PEMFC in printed circuit board technology. J. Power Sources 127(1\u20132), 197\u2013205 (2004)","journal-title":"J. Power Sources"},{"key":"25_CR7","unstructured":"Henriksson, D.: Resource-constrained embedded control and computing systems. Ph.D. thesis, Department of Automatic Control, Lund University (2006)"},{"issue":"2","key":"25_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/54.679207","volume":"15","author":"R Ernst","year":"1998","unstructured":"Ernst, R.: Codesign of embedded systems: status and trends. IEEE Des. Test Comput. 15(2), 45\u201354 (1998)","journal-title":"IEEE Des. Test Comput."},{"issue":"15","key":"25_CR9","doi-asserted-by":"publisher","first-page":"1435","DOI":"10.1016\/S1383-7621(00)00034-5","volume":"46","author":"P-A Hsiung","year":"2000","unstructured":"Hsiung, P.-A.: Embedded software verification in hardware\u2013software codesign. J. Syst. Archit. 46(15), 1435\u20131450 (2000)","journal-title":"J. Syst. Archit."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Vidal, J., de Lamotte, F., Gogniat, G., Soulard, P., Diguet, J.P.: A co-design approach for embedded system modeling and code generation with UML and MARTE. In: Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE \u201809, pp. 226\u2013231 (2009)","DOI":"10.1109\/DATE.2009.5090662"},{"issue":"2","key":"25_CR11","first-page":"547","volume":"6","author":"M Chen","year":"2012","unstructured":"Chen, M., Wan, J., Li, F.: Machine-to-machine communications: architectures, standards, and applications. KSII Trans. Internet Inf. Syst. 6(2), 547\u2013565 (2012)","journal-title":"KSII Trans. Internet Inf. Syst."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Zou, C., Wan, J., Chen, M., Li, D.: Simulation modeling of cyber-physical systems exemplified by unmanned vehicles with WSNs navigation. In: Proceedings of the 7th International Conference on Embedded and Multimedia Computing Technology and Service. pp. 269\u2013275. Springer, Netherlands, Gwangju, Korea (2012)","DOI":"10.1007\/978-94-007-5076-0_31"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Shu, Z., Li, D., Hu, Y., Ye, F., Wan, J.: From models to code: automatic development process for embedded control system. In: Proceedings of the IEEE International Conference on Network, Sensor and Control, pp. 660\u2013665. IEEE Press, Shanya, China (2008)","DOI":"10.1109\/ICNSC.2008.4525299"},{"issue":"3","key":"25_CR14","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.2298\/CSIS120326018W","volume":"10","author":"J Wan","year":"2013","unstructured":"Wan, J., Chen, M., Xia, F., Li, D., Zhou, K.: From machine-to-machine communications towards cyber-physical systems. Comput. Sci. Inf. Syst. 10(3), 1105\u20131128 (2013)","journal-title":"Comput. Sci. Inf. Syst."},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Yan, H., Wan, J., Suo, H.: Adaptive resource management for cyber-physical systems. In: Proceedings of the 2011 International Conference on Mechatronics and Applied Mechanics, pp. 747\u2013751, HongKong (2011)","DOI":"10.4028\/www.scientific.net\/AMM.157-158.747"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Yan, H., Wan, J., Li, D., Tu, Y., Zhang, P.: Codesign of networked control systems: a review from different perspectives. In: Proceedings of the IEEE International Conference on Cyber Technology in Automation, Control, and Intelligent Systems, pp. 84\u201390. IEEE Press (2011)","DOI":"10.1109\/CYBER.2011.6011769"},{"issue":"S1","key":"25_CR17","first-page":"1352","volume":"13","author":"X Feng","year":"2008","unstructured":"Feng, X., Youxian, S.: Control-scheduling codesign: a perspective on integrating control and computing. Dyn. Contin. Discrete Impuls. Syst. Ser. B 13(S1), 1352\u20131358 (2008)","journal-title":"Dyn. Contin. Discrete Impuls. Syst. Ser. B"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Arzen, K.E., Cervin, A., Eker, J., Sha, L.: An introduction to control and scheduling co-design. In: Proceedings of the 39th IEEE Conference on Decision and Control, pp. 4865\u20134870. IEEE Press (2000)","DOI":"10.1109\/CDC.2001.914701"},{"key":"25_CR19","unstructured":"Cervin, A.: Integrated control and real-time scheduling. Ph.D. thesis, Department of Automatic Control, Lund Institute of Technology, Sweden (2003)"},{"issue":"6","key":"25_CR20","doi-asserted-by":"publisher","first-page":"1159","DOI":"10.1109\/TIE.2004.837873","volume":"51","author":"P Marti","year":"2004","unstructured":"Marti, P., Yepez, J., Velasco, M., Villa, R., Fuertes, J.M.: Managing quality-of-control in network-based control systems by controller and message scheduling co-design. IEEE Trans. Ind. Electron. 51(6), 1159\u20131167 (2004)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Leonardi, F., Pinto, A., Carloni, L.P.: Synthesis of distributed execution platforms for cyber-physical systems with applications to high-performance buildings. In: 2011 IEEE\/ACM International Conference on Cyber-Physical Systems (ICCPS), pp. 215\u2013224. IEEE Press (2011)","DOI":"10.1109\/ICCPS.2011.23"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Cheng, A.M.K.: Cyber-physical medical and medication systems. In: The 28th International Conference on Distributed Computing Systems Workshops, pp. 529\u2013532 (2008)","DOI":"10.1109\/ICDCS.Workshops.2008.67"},{"key":"25_CR23","unstructured":"Insup, L., Sokolsky, O.: Medical cyber physical systems. In: Design Automation Conference (DAC), 2010 47th ACM\/IEEE, pp. 743\u2013748. IEEE Press (2010)"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Sokolsky, O.: Medical cyber-physical systems. In: 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), pp. 2\u20132. IEEE Press (2011)","DOI":"10.1109\/ECBS.2011.40"},{"issue":"20","key":"25_CR25","doi-asserted-by":"publisher","first-page":"131","DOI":"10.4156\/ijact.vol4.issue20.16","volume":"4","author":"Y Li","year":"2012","unstructured":"Li, Y.: The building of medical image communication system based on web and MySQL. IJACT: Int. J. Adv. Comput. Technol. 4(20), 131\u2013140 (2012)","journal-title":"IJACT: Int. J. Adv. Comput. Technol."}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Cloud Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05506-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T16:05:36Z","timestamp":1746201936000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05506-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319055053","9783319055060"],"references-count":25,"aliases":["10.1007\/978-3-319-14254-8_25"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05506-0_25","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"30 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}