Skip to main content
Top

2018 | OriginalPaper | Chapter

A Knowledge Carrying Service-Component Architecture for Smart Cyber Physical Systems

An Example Based on Self-documenting Production Systems

Authors : Christopher Haubeck, Winfried Lamersdorf, Alexander Fay

Published in: Service-Oriented Computing – ICSOC 2017 Workshops

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Cyber Physical Systems (CPSs) are both software and hardware intense systems which are integrated into the digital world. An increasingly relevant application area for CPSs are software-driven industrial Production Automation Systems. A major driver of these Cyber Physical Production Systems is the need to integrate intelligent and smart functionalities into the production process at runtime that can run in the cyber world and do not radically change the underlying control flow of the physical plant. To gather the necessary knowledge for smart functionalities both cyber and physical parts must be captured, kept and analyzed together in a suitable CPS architecture – also despite frequent evolutionary changes during their whole (usually relative long) life span. This paper addresses this problem by presenting a service-component architecture for smart service-oriented CPSs which can manage implicit knowledge by acquiring, handling and analyzing domain specific service-components with respect to the CPS context.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyber–physical systems. Proc. of the IEEE 100(1), 13–28 (2012). Modeling cyber–physical systemsCrossRef Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyber–physical systems. Proc. of the IEEE 100(1), 13–28 (2012). Modeling cyber–physical systemsCrossRef
2.
go back to reference Lee, E.A.: Cyber Physical Systems: Design Challenges. Berkeley (2008) Lee, E.A.: Cyber Physical Systems: Design Challenges. Berkeley (2008)
3.
go back to reference Dumitrache, I., Caramihai, S.I.: Intelligent cyber-enterprise in the production context. In: World Congress of the 19th International Federation of Automatic Control (2014)CrossRef Dumitrache, I., Caramihai, S.I.: Intelligent cyber-enterprise in the production context. In: World Congress of the 19th International Federation of Automatic Control (2014)CrossRef
4.
go back to reference Frey, G., Litz, L.: Formal methods in PLC programming. In: IEEE International Conference on: Systems, Man, and Cybernetics (2000) Frey, G., Litz, L.: Formal methods in PLC programming. In: IEEE International Conference on: Systems, Man, and Cybernetics (2000)
5.
go back to reference Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., et al.: Toward a science of cyber-physical system integration. Proc. of the IEEE 100(1), 29–44 (2012)CrossRef Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., et al.: Toward a science of cyber-physical system integration. Proc. of the IEEE 100(1), 29–44 (2012)CrossRef
6.
go back to reference Robinson, W.N.: A requirements monitoring framework for enterprise systems. Requir. Eng. 11(1), 17–41 (2006)CrossRef Robinson, W.N.: A requirements monitoring framework for enterprise systems. Requir. Eng. 11(1), 17–41 (2006)CrossRef
7.
go back to reference Braubach, L., Pokahr, A.: Developing distributes systems with active components and Jadex. Sci. Int. J. Parallel Distrib. Comput. 13(2), 100–119 (2012) Braubach, L., Pokahr, A.: Developing distributes systems with active components and Jadex. Sci. Int. J. Parallel Distrib. Comput. 13(2), 100–119 (2012)
9.
go back to reference Vogel-Heuser, B., Legat, C., Folmer, J., Feldmann, S.: Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit (2014) Vogel-Heuser, B., Legat, C., Folmer, J., Feldmann, S.: Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit (2014)
10.
go back to reference Michelsen, T.: Data stream processing in dynamic and decentralized peer-to-peer networks. In: SIGMOD Ph.D. Symposium, pp. 1–5 (2014) Michelsen, T.: Data stream processing in dynamic and decentralized peer-to-peer networks. In: SIGMOD Ph.D. Symposium, pp. 1–5 (2014)
11.
go back to reference Hoang, D., Paik, H.Y., Kim, C.K.: Service-oriented middleware architectures for cyber-physical systems. Int. J. Comput. Sci. Netw. Secur. 12(1), 79–87 (2012) Hoang, D., Paik, H.Y., Kim, C.K.: Service-oriented middleware architectures for cyber-physical systems. Int. J. Comput. Sci. Netw. Secur. 12(1), 79–87 (2012)
12.
go back to reference Margara, A., Cugola, G., Tamburrelli, G.: Learning from the past: automated rule generation for complex event processing. In: International Conference on Distributed Event-Based Systemspp, pp. 47–58 (2014) Margara, A., Cugola, G., Tamburrelli, G.: Learning from the past: automated rule generation for complex event processing. In: International Conference on Distributed Event-Based Systemspp, pp. 47–58 (2014)
13.
go back to reference Chandola, V., Banerjee, A., Kumar, V.: Anomaly detection for discrete sequences: a survey. Trans. Knowl. Data Eng. 24(5), 823–839 (2012)CrossRef Chandola, V., Banerjee, A., Kumar, V.: Anomaly detection for discrete sequences: a survey. Trans. Knowl. Data Eng. 24(5), 823–839 (2012)CrossRef
14.
go back to reference Mao, J., Chen, L. (eds.) Runtime monitoring for cyber-physical systems: a case study of cooperative adaptive cruise control. In: Intelligent System Design and Engineering Application (2012) Mao, J., Chen, L. (eds.) Runtime monitoring for cyber-physical systems: a case study of cooperative adaptive cruise control. In: Intelligent System Design and Engineering Application (2012)
15.
go back to reference Schneider, S., Litz, L., Danancher, M.: Timed residuals for fault detection and isolation in discrete event systems. In: Dependable Control of Discrete Systems, pp. 35–40 (2011) Schneider, S., Litz, L., Danancher, M.: Timed residuals for fault detection and isolation in discrete event systems. In: Dependable Control of Discrete Systems, pp. 35–40 (2011)
16.
go back to reference Valilai, O., Houshmand, M.: A collaborative and integrated platform to support distributed manufacturing system using a service-oriented approach based on cloud computing paradigm. Rob. Comput. Integr. Manuf. 29(1), 110–127 (2013)CrossRef Valilai, O., Houshmand, M.: A collaborative and integrated platform to support distributed manufacturing system using a service-oriented approach based on cloud computing paradigm. Rob. Comput. Integr. Manuf. 29(1), 110–127 (2013)CrossRef
17.
go back to reference Ladiges, J., Fay, A., Haubeck, C., Lamersdorf, W., Lity, S., Schaefer, I.: Supporting commissioning of production plants by model-based testing and model learning. In: International Symposium on Industrial Electronics, pp. 606–611 (2015) Ladiges, J., Fay, A., Haubeck, C., Lamersdorf, W., Lity, S., Schaefer, I.: Supporting commissioning of production plants by model-based testing and model learning. In: International Symposium on Industrial Electronics, pp. 606–611 (2015)
18.
go back to reference Ladiges, J., Haubeck, C., Fay, A., Lamersdorf, W.: Evolution management of production facilities by semi-automated requirement verification. at-Automatisierungstechnik 62(11), 781–793 (2014)CrossRef Ladiges, J., Haubeck, C., Fay, A., Lamersdorf, W.: Evolution management of production facilities by semi-automated requirement verification. at-Automatisierungstechnik 62(11), 781–793 (2014)CrossRef
19.
go back to reference Franke, M., Seidl, C., Schlegel, T.: A seamless integration, semantic middleware for cyber-physical systems. Network, Sensing and Control, pp. 627–632 (2013) Franke, M., Seidl, C., Schlegel, T.: A seamless integration, semantic middleware for cyber-physical systems. Network, Sensing and Control, pp. 627–632 (2013)
20.
go back to reference Lin, K.Y., Panahi, M.: A real-time service-oriented framework to support sustainable cyber-physical systems. In: International Conference on Industrial Informatic (2010) Lin, K.Y., Panahi, M.: A real-time service-oriented framework to support sustainable cyber-physical systems. In: International Conference on Industrial Informatic (2010)
Metadata
Title
A Knowledge Carrying Service-Component Architecture for Smart Cyber Physical Systems
Authors
Christopher Haubeck
Winfried Lamersdorf
Alexander Fay
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-319-91764-1_22

Premium Partner