Skip to main content
SpringerLink
Log in

Design Support Tools of Cyber-Physical Systems

  • Conference paper
  • First Online:
Cloud Computing (CloudComp 2013)

Included in the following conference series:

  • 1531 Accesses

Abstract

With the development of technology on cloud computing, wired/wireless communications, sensor networks and automatic control methods, these technologies make the foundation for a new system, i.e., Cyber-Physical Systems (CPS). The proposal of CPS points out the research direction of the large-scale complex information systems in the future. The design of CPS is a complex task because CPS contains many subsystems, such as computing system, networking system, and physical process. The support design tools are essential in the design process. As a new complicated system, CPS is also based on all kinds of subsystems. The tools for these subsystems have gradually matured. In this article, we classify the tools, including embedded development tools, network analysis and simulation tools, co-design tools, and domain-specific tools. Some specific tools for each aspect are enumerated, and some comparisons for these tools are also proposed. The future challenges for the design support tools are described in brief.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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)

    Google Scholar 

  2. 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–1014 (2010)

    Google Scholar 

  3. 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–90 (2011)

    Google Scholar 

  4. Camposano, R., Wilberg, J.: Embedded system design. Des. Autom. Embed. Syst. 1(1–2), 5–50 (1996)

    Article  Google Scholar 

  5. Marwedel, P.: Embedded System Design. Springer, New York (2005)

    Google Scholar 

  6. Schmitz, A., Wanger, S., Hahn, R., Uzun, H., Hebling, C.: Stability of planar PEMFC in printed circuit board technology. J. Power Sources 127(1–2), 197–205 (2004)

    Article  Google Scholar 

  7. Henriksson, D.: Resource-constrained embedded control and computing systems. Ph.D. thesis, Department of Automatic Control, Lund University (2006)

    Google Scholar 

  8. Ernst, R.: Codesign of embedded systems: status and trends. IEEE Des. Test Comput. 15(2), 45–54 (1998)

    Article  Google Scholar 

  9. Hsiung, P.-A.: Embedded software verification in hardware–software codesign. J. Syst. Archit. 46(15), 1435–1450 (2000)

    Article  Google Scholar 

  10. 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 ‘09, pp. 226–231 (2009)

    Google Scholar 

  11. Chen, M., Wan, J., Li, F.: Machine-to-machine communications: architectures, standards, and applications. KSII Trans. Internet Inf. Syst. 6(2), 547–565 (2012)

    Google Scholar 

  12. 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–275. Springer, Netherlands, Gwangju, Korea (2012)

    Google Scholar 

  13. 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–665. IEEE Press, Shanya, China (2008)

    Google Scholar 

  14. 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–1128 (2013)

    Article  Google Scholar 

  15. 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–751, HongKong (2011)

    Google Scholar 

  16. 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–90. IEEE Press (2011)

    Google Scholar 

  17. Feng, X., Youxian, S.: Control-scheduling codesign: a perspective on integrating control and computing. Dyn. Contin. Discrete Impuls. Syst. Ser. B 13(S1), 1352–1358 (2008)

    Google Scholar 

  18. 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–4870. IEEE Press (2000)

    Google Scholar 

  19. Cervin, A.: Integrated control and real-time scheduling. Ph.D. thesis, Department of Automatic Control, Lund Institute of Technology, Sweden (2003)

    Google Scholar 

  20. 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–1167 (2004)

    Article  Google Scholar 

  21. 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–224. IEEE Press (2011)

    Google Scholar 

  22. Cheng, A.M.K.: Cyber-physical medical and medication systems. In: The 28th International Conference on Distributed Computing Systems Workshops, pp. 529–532 (2008)

    Google Scholar 

  23. Insup, L., Sokolsky, O.: Medical cyber physical systems. In: Design Automation Conference (DAC), 2010 47th ACM/IEEE, pp. 743–748. IEEE Press (2010)

    Google Scholar 

  24. Sokolsky, O.: Medical cyber-physical systems. In: 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), pp. 2–2. IEEE Press (2011)

    Google Scholar 

  25. Li, Y.: The building of medical image communication system based on web and MySQL. IJACT: Int. J. Adv. Comput. Technol. 4(20), 131–140 (2012)

    Article  Google Scholar 

Download references

Acknowledgments

This project was supported in part by grants from the National Natural Science Foundation of China (No. 61262013, 61363011) and the Science and Technology Research Project of education department of Jiangxi province (No. GJJ13429).

Author information

Authors and Affiliations

  1. College of Electrical Engineering and Automation, Jiangxi University of Science and Technology, Ganzhou, China

    Keliang Zhou, Binbin Liu, Cen Ye & Ling Liang

Authors
  1. Keliang Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Binbin Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Cen Ye
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ling Liang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Binbin Liu .

Editor information

Editors and Affiliations

  1. Electrical and Computer Engineering, The University of British Columbia, Vancouver, British Columbia, Canada

    Victor C.M. Leung

  2. School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China

    Min Chen

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Cite this paper

Zhou, K., Liu, B., Ye, C., Liang, L. (2014). Design Support Tools of Cyber-Physical Systems. In: Leung, V., Chen, M. (eds) Cloud Computing. CloudComp 2013. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 133. Springer, Cham. https://doi.org/10.1007/978-3-319-05506-0_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-05506-0_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-05505-3

  • Online ISBN: 978-3-319-05506-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation