Skip to main content

Advertisement

SpringerLink
Log in

Industry 4.0 as a Cyber-Physical System study

  • Industry Voice
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

Advances in computation and communication are taking shape in the form of the Internet of Things, Machine-to-Machine technology, Industry 4.0, and Cyber-Physical Systems (CPS). The impact on engineering such systems is a new technical systems paradigm based on ensembles of collaborating embedded software systems. To successfully facilitate this paradigm, multiple needs can be identified along three axes: (i) online configuring an ensemble of systems, (ii) achieving a concerted function of collaborating systems, and (iii) providing the enabling infrastructure. This work focuses on the collaborative function dimension and presents a set of concrete examples of CPS challenges. The examples are illustrated based on a pick and place machine that solves a distributed version of the Towers of Hanoi puzzle. The system includes a physical environment, a wireless network, concurrent computing resources, and computational functionality such as, service arbitration, various forms of control, and processing of streaming video. The pick and place machine is of medium-size complexity. It is representative of issues occurring in industrial systems that are coming online. The entire study is provided at a computational model level, with the intent to contribute to the model-based research agenda in terms of design methods and implementation technologies necessary to make the next generation systems a reality.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9

Similar content being viewed by others

Notes

  1. The model can be downloaded from the MATLAB Central File Exchange or GitHub [18].

References

  1. acatech Final report of the Industrie 4.0 Working Group. Securing the future of German manufacturing industry recommendations for implementing the strategic initiative industrie 4.0. acatech—National Academy of Science and Engineering, Munich, Apr 2013

  2. acatech Position Paper. Cyber-physical systems. Driving force for innovation in mobility, health, energy and production. acatech—National Academy of Science and Engineering, Munich, Dec 2011

  3. Arrieta, A., Sagardui, G., Etxeberria, L.: A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems. In: The Sixth International Conference on Advances in System Testing and Validation Lifecycle, pp. 66–72 (2014)

  4. Bringmann, E., Krämer, A.: Model-based testing of automotive systems. In: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, ICST ’08, pp. 485–493. IEEE Computer Society, Washington (2008)

  5. Di Natale, M., Guo, L., Zeng, H., Sangiovanni-Vincentelli, A.: Synthesis of multitask implementations of Simulink models with minimum delays. IEEE Trans. Ind. Inf. 6(4), 637–651 (2010)

    Article  Google Scholar 

  6. France, R.B., Rumpe, B.: The evolution of modeling research challenges. Softw. Syst. Model. 12(2), 223–225 (2013)

    Article  Google Scholar 

  7. Gyrard, A., Bonnet, C., Boudaoud, K.: Enrich machine-to-machine data with semantic web technologies for cross-domain applications. In: 2014 IEEE World Forum on Internet of Things (WF-IoT), pp. 559–564, March 2014

  8. Huhn, M., Mutz, M., Diethers, K., Florentz, B., Daginnus, M.: Applications of static analysis on UML models in the automotive domain. In: Schnieder, E., Tarnai, G. (eds.) Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004), pp. 161–172, Braunschweig, Dec 2004

  9. Kaiser, B., Klaas, V., Schulz, S., Herbst, C., Lascych, P.: Integrating system modelling with safety activities. In: Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, 14–17 Sept 2010. Proceedings, pp. 452–465 (2010)

  10. Lee, E.A.: Cyber physical systems: design challenges. In: International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May 2008. Invited paper

  11. Levinson, J., Thrun, S.: Automatic online calibration of cameras and lasers. In: Proceedings of Robotics: Science and Systems, Berlin, June 2013

  12. Liu, J., Zhao, F.: Towards service-oriented networked embedded computing. Technical report MSR-TR-2005-28, Microsoft Research, Feb 2005

  13. MathWorks\(^{\textregistered }\) product families, Sept 2012

  14. Mosterman, P.J., Sanabria, D.E., Bilgin, E., Zhang, K., Zander, J.: A heterogeneous fleet of vehicles for automated humanitarian missions. Comput. Sci. Eng. 12, 90–95 (2014)

    Article  Google Scholar 

  15. Mosterman, P.J., Sztipanovits, J., Engell, S.: Computer automated multi-paradigm modeling in control systems technology. IEEE Trans. Control Syst. Technol. 12(2), 223–234 (2004)

    Article  Google Scholar 

  16. Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling in control system design. In: Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pp. 65–70, Anchorage, Alaska, Sept 2000

  17. Mosterman, P.J., Zander, J.: Cyber-physical systems challenges—a needs analysis for collaborating embedded software systems. Softw. Syst. Model. (2015). doi:10.1007/s10270-015-0469-x

  18. Mosterman, P.J., Zander, J.: GitHub Repository: Towers of Hanoi in MATLAB/Simulink for Industry 4.0. doi:10.5281/zenodo.13977

  19. Mosterman, P.J., Zander, J., Han, Z.: The Towers of Hanoi as a cyber-physical system education case study. In: Proceedings of the First Workshop on CPS Education, Philadelphia, PA, April 2013

  20. National Institute of Standards and Steering Committee Technology: Strategic vision and business drivers for 21st century cyber physical systems. Report of the Steering Committee for Foundations in Innovation for Cyber-physical Systems, Jan 2013

  21. Russell, S., Dewey, D., Tegmark, M.: Research priorities for robust and beneficial artificial intelligence: an open letter, Jan 2015

  22. Samad, T., Annaswamy, A. (eds.): The Impact of Control Technology. IEEE Control Systems Society, New York (2011)

    Google Scholar 

  23. Sanders, J.W., Smith, G.: Emergence and refinement. Form. Asp. Comput. 24(1), 45–65 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  24. SERS Consortium: Smart emergency response system: GitHub Software Repository. doi:10.5281/zenodo.13978

  25. Steering Committee for Foundations in Innovation for Cyber-Physical Systems. Foundations for Innovation: Strategic opportunities for the 21\(^{{\rm st}}\) century cyber-physical systems—connecting computer and information systems with the physical world. Technical report, National Institute of Standards and Technology (NIST), March 2013

  26. Uhrmacher, A.M., Weyns, D.: Multi-Agent Systems: Simulation and Applications, 1st edn. CRC Press, Boca Raton (2009)

    Google Scholar 

  27. Vermessan, O., Friess, P.: Internet of Things: From Research and Innovation to Market Deployment. River Publishers Series in Communication. River Publishers, Aalborg (2014)

    Google Scholar 

  28. Waibel, M., Beetz, M., D’Andrea, R., Janssen, R., Tenorth, M., Civera, J., Elfring, J., Gálvez-López, D., Kai Häussermann, J.M.M., Montiel, A.P., Schießle, B., Zweigle, O., van de Molengraft, R.: RoboEarth—a world wide web for robots. Robot. Autom. Mag. 18(2), 69–82 (2011)

    Article  Google Scholar 

  29. Zander, J.: Model in the loop test for embedded systems: (MiLEST) blockset repository. doi:10.5281/zenodo.13983

  30. Zander, J., Mosterman, P.J.: Computation for Humanity: Information Technology to Advance Society. CRC Press, Boca Raton (2013)

    Google Scholar 

  31. Zander, J., Schieferdecker, I., Mosterman, P.J.: Model-Based Testing for Embedded Systems, 1st edn. CRC Press, Boca Raton (2011)

    Google Scholar 

  32. Zander-Nowicka, J., Schieferdecker, I., Marrero Perez, A.: Automotive validation functions for on-line test evaluation of hybrid real-time systems. In: Autotestcon, 2006 IEEE, pp. 799–805, Sept 2006

  33. Zergainoh, N.-E., Popovici, K., Jerraya, A.A., Urard, P.: Matlab based environment for designing DSP systems using IP blocks. In: Proceedings of the Workshop on Synthesis and System Integration of Mixed Information technologies, pp. 296–302, Kanazawa, Oct 2004

Download references

Author information

Authors and Affiliations

  1. MathWorks, 3 Apple Hill Drive, Natick, MA, 01760-2098, USA

    Pieter J. Mosterman

  2. Worcester Polytechnic Institute, Worcester, MA, USA

    Justyna Zander

  3. School of Computer Science, McGill University, 3480 University Street Montréal, Québec Canada, H3A 2A7, Canada

    Pieter J. Mosterman

Authors
  1. Pieter J. Mosterman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Justyna Zander
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Justyna Zander.

Additional information

Communicated by Prof. Dr. Tony Clark, Prof. Dr. Gabor Karsai, and Prof. Dr. Roel Wi.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mosterman, P.J., Zander, J. Industry 4.0 as a Cyber-Physical System study. Softw Syst Model 15, 17–29 (2016). https://doi.org/10.1007/s10270-015-0493-x

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-015-0493-x

Keywords

Search

Navigation