Skip to main content
SpringerLink
Log in

Trusted Services for Cyber Manufacturing Systems

  • Chapter
  • First Online:
Service Orientation in Holonic and Multi-Agent Manufacturing

Part of the book series: Studies in Computational Intelligence ((SCI,volume 762))

Abstract

In the context of Industry 4.0, (cyber) manufacturing systems enter in a world of services which is a convenient paradigm to match virtual and physical systems including Cloud computing, big data, Internet-of-Things (IoT) and mobility. The coordination and control of such complex system of actors or components requires methods and techniques to design, verify and deploy the services, possibly on the fly, making service engineering an unavoidable approach to develop new generations of cyber manufacturing systems. In this position paper, we advocate a service based component model that would be helpful to contribute to this goal.

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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. Wang, L., Törngren, M., Onori, M.: Current status and advancement of cyber-physical systems in manufacturing. J. Manuf. Syst. 37, 517–527 (2015)

    Article  Google Scholar 

  2. Monostori, L., Kádár, B., Bauernhansl, T., Kondoh, S., Kumara, S., Reinhart, G., Sauer, O., Schuh, G., Sihn, W., Ueda, K.: Cyber-physical systems in manufacturing. CIRP Ann. Manuf. Technol. 65(2), 621–641 (2016)

    Article  Google Scholar 

  3. Lee, J., Bagheri, B., Jin, C.: Introduction to cyber manufacturing. Manuf. Lett. 8, 11–15 (2016)

    Article  Google Scholar 

  4. Bauer, D., Stock, D., Bauernhansl, T.: Movement towards service-orientation and app-orientation in manufacturing IT. In: 10th CIRP Conference on Intelligent Computation in Manufacturing Engineering–CIRP ICME ’16. (Ed.) Roberto Teti: Doriana M. D’Addona Procedia CIRP vol. 62, pp. 199–204 (2017)

    Google Scholar 

  5. Morgan, J., O’Donnell, G.E.: The cyber physical implementation of cloud manufacturing monitoring systems. In: 9th CIRP Conference on Intelligent Computation in Manufacturing Engineering—CIRP ICME ’14 Procedia CIRP vol. 33, pp. 29–34 (2015)

    Google Scholar 

  6. Morariu, C., Morariu, O., Borangiu, T.: Customer order management in service oriented holonic manufacturing. Comput. Ind. 64(8), 1061–1072 (2013)

    Article  Google Scholar 

  7. Rodrigues, N., Leitão, P., Oliveira, E.C.: Self-interested service-oriented agents based on trust and QoS for dynamic reconfiguration. In: Borangiu, T., Thomas, A., Trentesaux, D. (eds.) Service Orientation in Holonic and Multi-agent Manufacturing, Studies in Computational Intelligence, vol. 594, pp. 209–218. Springer (2015)

    Google Scholar 

  8. André, P., Attiogbé, C., Mottu, J.M.: Combining techniques to verify service-based components. In: Proceedings of the International Workshop on domAin Specific Model-based Approaches to verification and validation, AMARETTO@MODELSWARD 2017, Porto, Portugal, February 19–21, 2017, pp. 645–656 (2017)

    Google Scholar 

  9. Meyer, B.: The grand challenge of trusted components. In: ICSE ’03: Proceedings of the 25th International Conference on Software Engineering, pp. 660–667. IEEE Computer Society, Washington, DC, USA (2003)

    Google Scholar 

  10. Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, 1st edn. Morgan & Claypool Publishers (2012)

    Google Scholar 

  11. André, P., Ardourel, G., Attiogbé, C., Lanoix, A.: Using assertions to enhance the correctness of kmelia components and their assemblies. Electr. Notes Theor. Comput. Sci. 263, 5–30 (2010)

    Article  Google Scholar 

  12. OSOA: Service component architecture (sca): Sca assembly model v1.00 specifications. Specification Version 1.0, Open SOA Collaboration (2007)

    Google Scholar 

  13. André, P., Mottu, J.M., Sunyé, G.: Costotest: a tool for building and running test harness for service-based component models (demo). In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, pp. 437–440. ACM, New York, NY, USA (2016)

    Google Scholar 

  14. André, P., Ardourel, G., Messabihi, M.: Component service promotion: contracts, mechanisms and safety. In: Barbosa, L.S., Lumpe, M. (eds.) 7th International Workshop on Formal Aspects of Component Software, FACS 2010. Lecture Notes in Computer Science, vol. 6921, pp. 145–162. Springer (2010)

    Google Scholar 

  15. Attiogbé, C., André, P., Ardourel, G.: Checking Component Composability. In: 5th International Symposium on Software Composition, SC’06. LNCS, vol. 4089. Springer (2006)

    Google Scholar 

  16. André, P., Mottu, J.M., Ardourel, G.: Building test harness from service-based component models. In: Proceedings of the Workshop MoDeVVa (Models 2013), Miami, USA, pp. 11–20 (2013)

    Google Scholar 

  17. Quintanilla, F.G., Cardin, O., L’Anton, A., Castagna, P.: A modeling framework for manufacturing services in service-oriented holonic manufacturing systems. Eng. Appl. Artif. Intell. 55, 26–36 (2016)

    Article  Google Scholar 

  18. Bianchini, D., De Antonellis, V.: Ontology-based Semantic Interoperability Tools for Service Dynamic Discovery, pp. 323–333. Springer, London (2006)

    Google Scholar 

  19. Hehenberger, P., Vogel-Heuser, B., Bradley, D., Eynard, B., Tomiyama, T., Achiche, S.: Design, modelling, simulation and integration of cyber physical systems: methods and applications. Comput. Ind. 82, 273–289 (2016)

    Article  Google Scholar 

  20. Lee, J., Bagheri, B., Kao, H.A.: A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manuf. Lett. 3, 18–23 (2015)

    Google Scholar 

  21. Tao, F., Cheng, J., Cheng, Y., Gu, S., Zheng, T., Yang, H.: Sdmsim: a manufacturing service supply–demand matching simulator under cloud environment. Robot. Comput.-Integr. Manuf. 45, 34–46 (2017). special Issue on Ubiquitous Manufacturing (UbiM)

    Google Scholar 

  22. Liu, X.F., Shahriar, M.R., Sunny, S.N.A., Leu, M.C., Hu, L.: Cyber-physical manufacturing cloud: architecture, virtualization, communication, and testbed. J. Manuf. Syst. 43, Part 2, 352–364 (2017). High Performance Computing and Data Analytics for Cyber Manufacturing

    Google Scholar 

  23. Thramboulidis, K., Christoulakis, F.: Uml4iot–a uml-based approach to exploit iot in cyber-physical manufacturing systems. Comput. Ind. 82, 259–272 (2016)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LUNAM Université, Université de Nantes, LS2N UMR CNRS, 6004 2, rue de la Houssinière, 44322, Nantes Cedex, France

    Pascal André

  2. LUNAM Université, IUT de Nantes – Université de Nantes, LS2N UMR CNRS, 6004 2 avenue du Prof. Jean Rouxel, 44475, Carquefou Cedex, France

    Olivier Cardin

Authors
  1. Pascal André
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olivier Cardin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Olivier Cardin .

Editor information

Editors and Affiliations

  1. Faculty of Automatic Control and Computer Science, University Politehnica of Bucharest, Bucharest, Romania

    Theodor Borangiu

  2. LAMIH UMR CNRS 8201, University of Valenciennes and Hainaut-Cambresis, Valenciennes, France

    Damien Trentesaux

  3. École Nationale Supérieure des Technologies et Industries du Bois, University of Lorraine, Épinal, France

    André Thomas

  4. Institut de Recherche en Communications et Cybernétique de Nantes, University of Nantes, Nantes, France

    Olivier Cardin

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

André, P., Cardin, O. (2018). Trusted Services for Cyber Manufacturing Systems. In: Borangiu, T., Trentesaux, D., Thomas, A., Cardin, O. (eds) Service Orientation in Holonic and Multi-Agent Manufacturing. Studies in Computational Intelligence, vol 762. Springer, Cham. https://doi.org/10.1007/978-3-319-73751-5_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-73751-5_27

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-73750-8

  • Online ISBN: 978-3-319-73751-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation