Skip to main content
Erschienen in: The Journal of Supercomputing 8/2018

17.05.2018

Process execution in Cyber-Physical Systems using cloud and Cyber-Physical Internet services

verfasst von: Borja Bordel, Ramón Alcarria, Diego Sánchez de Rivera, Tomás Robles

Erschienen in: The Journal of Supercomputing | Ausgabe 8/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

“Cyber-Physical Systems” (CPS) have emerged as the next technological revolution. These new systems are commonly supported by a collection of ad hoc connected devices which typically collaborate in order to control some physical processes. However, in recent years, many other applications based on the CPS paradigm have been reported. In particular, executing user-defined processes over a cyber-physical infrastructure is a very promising technology for the future. Therefore, in this paper, we propose a scheme which allows the creation of user-defined processes, their decomposition and translation into executable orders or code, and their execution using the locally available cyber-physical infrastructure, cloud services and/or other services offered by remote CPS through the Cyber-Physical Internet. The proposed solution also enables the execution of processes with a guaranteed QoS. Moreover, an experimental validation is provided in order to evaluate the proposed technology performance. In particular, it is proved that more than 95% of processes are correctly executed, and only in a 2% of cases the minimum cost execution is not selected.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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+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!

Literatur
1.
Zurück zum Zitat Abid H, Phuong LTT, Wang J, Lee S, Qaisar S (2011, October) V-Cloud: vehicular cyber-physical systems and cloud computing. In: Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies. ACM, p 165 Abid H, Phuong LTT, Wang J, Lee S, Qaisar S (2011, October) V-Cloud: vehicular cyber-physical systems and cloud computing. In: Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies. ACM, p 165
2.
Zurück zum Zitat Al Ridhawi Y, Karmouch A (2015) Decentralized plan-free semantic-based service composition in mobile networks. IEEE Trans Serv Comput 8(1):17–31CrossRefMATH Al Ridhawi Y, Karmouch A (2015) Decentralized plan-free semantic-based service composition in mobile networks. IEEE Trans Serv Comput 8(1):17–31CrossRefMATH
3.
Zurück zum Zitat Alcarria R, Bordel B, Manso MÁ, Iturrioz T, Pérez M (2018, January) Analyzing UAV-based remote sensing and WSN support for data fusion. In: International Conference on Information Theoretic Security. Springer, Cham, pp 756–766 Alcarria R, Bordel B, Manso MÁ, Iturrioz T, Pérez M (2018, January) Analyzing UAV-based remote sensing and WSN support for data fusion. In: International Conference on Information Theoretic Security. Springer, Cham, pp 756–766
4.
Zurück zum Zitat Appel S, Frischbier S, Freudenreich T, Buchmann A (2013) Event stream processing units in business processes. In: Daniel F, Wang J, Weber B (eds) Business process management. Lecture notes in computer science, vol 8094. Springer, Berlin, Heidelberg Appel S, Frischbier S, Freudenreich T, Buchmann A (2013) Event stream processing units in business processes. In: Daniel F, Wang J, Weber B (eds) Business process management. Lecture notes in computer science, vol 8094. Springer, Berlin, Heidelberg
5.
Zurück zum Zitat Bakakeu J, Schäfer F, Bauer J, Michl M, Franke J (2017) Building cyber-physical systems—a smart building use case. In: Song H, Srinivasan R, Sookoor T, Jeschke S (eds) Smart cities: foundations, principles, and applications. Wiley, New Jersey, USA, pp 605–639CrossRef Bakakeu J, Schäfer F, Bauer J, Michl M, Franke J (2017) Building cyber-physical systems—a smart building use case. In: Song H, Srinivasan R, Sookoor T, Jeschke S (eds) Smart cities: foundations, principles, and applications. Wiley, New Jersey, USA, pp 605–639CrossRef
6.
Zurück zum Zitat Boekhold M, Karkowski I, Corporaal H, Cilio A (1999, March) A programmable ANSI C transformation engine. In: International Conference on Compiler Construction. Springer, Berlin, pp 292–295 Boekhold M, Karkowski I, Corporaal H, Cilio A (1999, March) A programmable ANSI C transformation engine. In: International Conference on Compiler Construction. Springer, Berlin, pp 292–295
7.
Zurück zum Zitat Bonzini P, Pozzi L (2006, October) Code transformation strategies for extensible embedded processors. In: Proceedings of the 2006 International Conference on Compilers, Architecture and Synthesis for Embedded Systems. ACM, pp 242–252 Bonzini P, Pozzi L (2006, October) Code transformation strategies for extensible embedded processors. In: Proceedings of the 2006 International Conference on Compilers, Architecture and Synthesis for Embedded Systems. ACM, pp 242–252
8.
Zurück zum Zitat Bordel Sánchez B, Alcarria R, Martín D, Robles T (2015) TF4SM: a framework for developing traceability solutions in small manufacturing companies. Sensors 15(11):29478–29510CrossRef Bordel Sánchez B, Alcarria R, Martín D, Robles T (2015) TF4SM: a framework for developing traceability solutions in small manufacturing companies. Sensors 15(11):29478–29510CrossRef
9.
Zurück zum Zitat Bordel B, Alcarria R, Martín D, Robles T, de Rivera DS (2017) Self-configuration in humanized cyber-physical systems. J Ambient Intell Humaniz Comput 8(4):485–496CrossRef Bordel B, Alcarria R, Martín D, Robles T, de Rivera DS (2017) Self-configuration in humanized cyber-physical systems. J Ambient Intell Humaniz Comput 8(4):485–496CrossRef
10.
Zurück zum Zitat Bordel B, Alcarria R, Robles T, Martín D (2017) Cyber-physical systems: extending pervasive sensing from control theory to the Internet of Things. Pervasive Mob Comput 40:156–184CrossRef Bordel B, Alcarria R, Robles T, Martín D (2017) Cyber-physical systems: extending pervasive sensing from control theory to the Internet of Things. Pervasive Mob Comput 40:156–184CrossRef
11.
Zurück zum Zitat Childers B, Davidson JW, Soffa ML (2003, April) Continuous compilation: a new approach to aggressive and adaptive code transformation. In: Proceedings International Parallel and Distributed Processing Symposium, 2003. IEEE, p 10 Childers B, Davidson JW, Soffa ML (2003, April) Continuous compilation: a new approach to aggressive and adaptive code transformation. In: Proceedings International Parallel and Distributed Processing Symposium, 2003. IEEE, p 10
12.
Zurück zum Zitat Choi I, Song M, Park C, Park N (2003) An XML-based process definition language for integrated process management. Comput Ind 50(1):85–102CrossRef Choi I, Song M, Park C, Park N (2003) An XML-based process definition language for integrated process management. Comput Ind 50(1):85–102CrossRef
13.
Zurück zum Zitat Cirani S, Picone M, Gonizzi P, Veltri L, Ferrari G (2015) Iot-oas: an oauth-based authorization service architecture for secure services in iot scenarios. IEEE Sens J 15(2):1224–1234CrossRef Cirani S, Picone M, Gonizzi P, Veltri L, Ferrari G (2015) Iot-oas: an oauth-based authorization service architecture for secure services in iot scenarios. IEEE Sens J 15(2):1224–1234CrossRef
14.
Zurück zum Zitat Clauß S, Schulte A (2014, October) Task delegation in an agent supervisory control relationship capability awareness in a cognitive agent. In: 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, pp 825–830 Clauß S, Schulte A (2014, October) Task delegation in an agent supervisory control relationship capability awareness in a cognitive agent. In: 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, pp 825–830
15.
Zurück zum Zitat Conti M, Das SK, Bisdikian C, Kumar M, Ni LM, Passarella A, Roussos G, Tröster G, Tsudik G, Zambonelli F (2012) Looking ahead in pervasive computing: challenges and opportunities in the era of cyber-physical convergence. Pervasive Mob Comput 8(1):2–21CrossRef Conti M, Das SK, Bisdikian C, Kumar M, Ni LM, Passarella A, Roussos G, Tröster G, Tsudik G, Zambonelli F (2012) Looking ahead in pervasive computing: challenges and opportunities in the era of cyber-physical convergence. Pervasive Mob Comput 8(1):2–21CrossRef
16.
Zurück zum Zitat Czarnecki K, Helsen S (2003, October) Classification of model transformation approaches. In: Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, vol 45, no 3, pp 1–17 Czarnecki K, Helsen S (2003, October) Classification of model transformation approaches. In: Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, vol 45, no 3, pp 1–17
17.
Zurück zum Zitat Delsing J, Carlsson O, Arrigucci F, Bangemann T, Hübner C, Colombo AW, Nappey P, Bony B, Karnouskos S, Nessaether J, Kyusakov R (2014) Migration of SCADA/DCS systems to the SOA cloud. In: Colombo AW, Bangemann T, Karnouskos S, Delsing J, Stluka P, Harrison R, Jammes F, Lastra JL (eds) Industrial cloud-based cyber-physical systems. Springer, Cham, pp 111–135CrossRef Delsing J, Carlsson O, Arrigucci F, Bangemann T, Hübner C, Colombo AW, Nappey P, Bony B, Karnouskos S, Nessaether J, Kyusakov R (2014) Migration of SCADA/DCS systems to the SOA cloud. In: Colombo AW, Bangemann T, Karnouskos S, Delsing J, Stluka P, Harrison R, Jammes F, Lastra JL (eds) Industrial cloud-based cyber-physical systems. Springer, Cham, pp 111–135CrossRef
18.
Zurück zum Zitat Derler P, Lee EA, Tripakis S, Törngren M (2013, April) Cyber-physical system design contracts. In: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems. ACM, pp 109–118 Derler P, Lee EA, Tripakis S, Törngren M (2013, April) Cyber-physical system design contracts. In: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems. ACM, pp 109–118
19.
Zurück zum Zitat Duarte FJ, Machado RJ, Fernandes JM (2012, January) BIM: a methodology to transform business processes into software systems. In: International Conference on Software Quality. Springer, Berlin, pp 39–58 Duarte FJ, Machado RJ, Fernandes JM (2012, January) BIM: a methodology to transform business processes into software systems. In: International Conference on Software Quality. Springer, Berlin, pp 39–58
20.
Zurück zum Zitat Griffiths N (2005, July) Task delegation using experience-based multi-dimensional trust. In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems. ACM, pp 489–496 Griffiths N (2005, July) Task delegation using experience-based multi-dimensional trust. In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems. ACM, pp 489–496
22.
Zurück zum Zitat Kane M, Zhu D, Hirose M, Dong X, Winter B, Häckell M, Lynch JP, Wang Y, Swartz A (2014, April) Development of an extensible dual-core wireless sensing node for cyber-physical systems. In: SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring. International Society for Optics and Photonics, pp 90611U–90611U Kane M, Zhu D, Hirose M, Dong X, Winter B, Häckell M, Lynch JP, Wang Y, Swartz A (2014, April) Development of an extensible dual-core wireless sensing node for cyber-physical systems. In: SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring. International Society for Optics and Photonics, pp 90611U–90611U
23.
Zurück zum Zitat Kim J, Lakshmanan K, Rajkumar RR (2012, April) Rhythmic tasks: a new task model with continually varying periods for cyber-physical systems. In: Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems. IEEE Computer Society, pp 55–64 Kim J, Lakshmanan K, Rajkumar RR (2012, April) Rhythmic tasks: a new task model with continually varying periods for cyber-physical systems. In: Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems. IEEE Computer Society, pp 55–64
24.
Zurück zum Zitat Kivity A, Kamay Y, Laor D, Lublin U, Liguori A (2007, July) kvm: the Linux virtual machine monitor. In: Proceedings of the Linux Symposium, vol 1, pp 225–230 Kivity A, Kamay Y, Laor D, Lublin U, Liguori A (2007, July) kvm: the Linux virtual machine monitor. In: Proceedings of the Linux Symposium, vol 1, pp 225–230
25.
Zurück zum Zitat Koubaa A, Andersson B (2009) A vision of Cyber-Physical Internet. In: Proceedings of the Workshop of Real-Time Networks (RTN 2009), Satellite Workshop to (ECRTS 2009) Koubaa A, Andersson B (2009) A vision of Cyber-Physical Internet. In: Proceedings of the Workshop of Real-Time Networks (RTN 2009), Satellite Workshop to (ECRTS 2009)
26.
Zurück zum Zitat Kukla T, Kiss T, Terstyanszky G, Kacsuk P (2008, November) A general and scalable solution for heterogeneous workflow invocation and nesting. In: Third Workshop on Workflows in Support of Large-Scale Science, 2008. WORKS 2008. IEEE, pp 1–8 Kukla T, Kiss T, Terstyanszky G, Kacsuk P (2008, November) A general and scalable solution for heterogeneous workflow invocation and nesting. In: Third Workshop on Workflows in Support of Large-Scale Science, 2008. WORKS 2008. IEEE, pp 1–8
27.
Zurück zum Zitat Kyusakov R, Eliasson J, Delsing J, van Deventer J, Gustafsson J (2013) Integration of wireless sensor and actuator nodes with IT infrastructure using service-oriented architecture. IEEE Trans Industr Inf 9(1):43–51CrossRef Kyusakov R, Eliasson J, Delsing J, van Deventer J, Gustafsson J (2013) Integration of wireless sensor and actuator nodes with IT infrastructure using service-oriented architecture. IEEE Trans Industr Inf 9(1):43–51CrossRef
28.
Zurück zum Zitat Lee EA (2006, October) Cyber-physical systems-are computing foundations adequate. In: Position Paper for NSF Workshop on Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, vol 2 Lee EA (2006, October) Cyber-physical systems-are computing foundations adequate. In: Position Paper for NSF Workshop on Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, vol 2
29.
Zurück zum Zitat Lin KJ, Panahi M (2010, July) A real-time service-oriented framework to support sustainable cyber-physical systems. In: 2010 8th IEEE International Conference on Industrial Informatics. IEEE, pp 15–21 Lin KJ, Panahi M (2010, July) A real-time service-oriented framework to support sustainable cyber-physical systems. In: 2010 8th IEEE International Conference on Industrial Informatics. IEEE, pp 15–21
30.
Zurück zum Zitat Liu L, Zhao S, Yu Z, Dai H (2015) A big data inspired chaotic solution for fuzzy feedback linearization model in cyber-physical systems. Ad Hoc Netw 35:97–104CrossRef Liu L, Zhao S, Yu Z, Dai H (2015) A big data inspired chaotic solution for fuzzy feedback linearization model in cyber-physical systems. Ad Hoc Netw 35:97–104CrossRef
31.
Zurück zum Zitat Maier S, Herrscher D, Rothermel K (2007) Experiences with node virtualization for scalable network emulation. Comput Commun 30(5):943–956CrossRef Maier S, Herrscher D, Rothermel K (2007) Experiences with node virtualization for scalable network emulation. Comput Commun 30(5):943–956CrossRef
32.
Zurück zum Zitat Marrella A, Mecella M (2017) Adaptive process management in cyber-physical domains. In: Advances in intelligent process-aware information systems. Springer, Berlin, pp 15–48 Marrella A, Mecella M (2017) Adaptive process management in cyber-physical domains. In: Advances in intelligent process-aware information systems. Springer, Berlin, pp 15–48
33.
Zurück zum Zitat Moldovan D, Copil G, Dustdar S (2017) Elastic systems: towards cyber-physical ecosystems of people, processes, and things. Comput Stand Interfaces 57:76–82CrossRef Moldovan D, Copil G, Dustdar S (2017) Elastic systems: towards cyber-physical ecosystems of people, processes, and things. Comput Stand Interfaces 57:76–82CrossRef
34.
Zurück zum Zitat Morales A, Alcarria R, Martin D, Robles T (2014) Enhancing evacuation plans with a situation awareness system based on end-user knowledge provision. Sensors 14(6):11153–11178CrossRef Morales A, Alcarria R, Martin D, Robles T (2014) Enhancing evacuation plans with a situation awareness system based on end-user knowledge provision. Sensors 14(6):11153–11178CrossRef
35.
Zurück zum Zitat Muccini H, Sharaf M, Weyns D (2016, May) Self-adaptation for cyber-physical systems: a systematic literature review. In: Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems. ACM, pp 75–81 Muccini H, Sharaf M, Weyns D (2016, May) Self-adaptation for cyber-physical systems: a systematic literature review. In: Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems. ACM, pp 75–81
36.
Zurück zum Zitat Mueller M (2015) Reducing hazards in multiagent task delegation. In: Thomas O, Teuteberg F (eds) 12th International Conference on Wirtschaftsinformatik. Association for Information Systems (AIS), Illinois, pp 1679–1693 Mueller M (2015) Reducing hazards in multiagent task delegation. In: Thomas O, Teuteberg F (eds) 12th International Conference on Wirtschaftsinformatik. Association for Information Systems (AIS), Illinois, pp 1679–1693
38.
Zurück zum Zitat Perera C, Zaslavsky A, Christen P, Georgakopoulos D (2014) Sensing as a service model for smart cities supported by internet of things. Trans Emerg Telecommun Technol 25(1):81–93CrossRef Perera C, Zaslavsky A, Christen P, Georgakopoulos D (2014) Sensing as a service model for smart cities supported by internet of things. Trans Emerg Telecommun Technol 25(1):81–93CrossRef
39.
Zurück zum Zitat Qiao L, Kao S, Zhang Y (2011) Manufacturing process modelling using process specification language. Int J Adv Manuf Technol 55(5–8):549–563CrossRef Qiao L, Kao S, Zhang Y (2011) Manufacturing process modelling using process specification language. Int J Adv Manuf Technol 55(5–8):549–563CrossRef
40.
Zurück zum Zitat Rajkumar RR, Lee I, Sha L, Stankovic J (2010, June) Cyber-physical systems: the next computing revolution. In: Proceedings of the 47th Design Automation Conference. ACM, pp 731–736 Rajkumar RR, Lee I, Sha L, Stankovic J (2010, June) Cyber-physical systems: the next computing revolution. In: Proceedings of the 47th Design Automation Conference. ACM, pp 731–736
41.
Zurück zum Zitat Reuillon R, Chuffart F, Leclaire M, Faure T, Dumoulin N, Hill D (2010, June) Declarative task delegation in OpenMOLE. In: 2010 International Conference on High Performance Computing and Simulation (HPCS). IEEE, pp 55–62 Reuillon R, Chuffart F, Leclaire M, Faure T, Dumoulin N, Hill D (2010, June) Declarative task delegation in OpenMOLE. In: 2010 International Conference on High Performance Computing and Simulation (HPCS). IEEE, pp 55–62
42.
Zurück zum Zitat Richardson L, Ruby S (2008) RESTful web services. O’Reilly Media Inc., Newton Richardson L, Ruby S (2008) RESTful web services. O’Reilly Media Inc., Newton
43.
Zurück zum Zitat Robles TS, Alcarria R, Morales A, Martín D (2015) Supporting variability dependencies for rule-based service compositions in prosumer environments. Int J Web Grid Serv 11(1):57–77CrossRef Robles TS, Alcarria R, Morales A, Martín D (2015) Supporting variability dependencies for rule-based service compositions in prosumer environments. Int J Web Grid Serv 11(1):57–77CrossRef
44.
Zurück zum Zitat Santos N, Duarte FJ, Machado RJ, Fernandes JM (2013, January) A transformation of business process models into software-executable models using mda. In: International Conference on Software Quality. Springer, Berlin, pp 147–167 Santos N, Duarte FJ, Machado RJ, Fernandes JM (2013, January) A transformation of business process models into software-executable models using mda. In: International Conference on Software Quality. Springer, Berlin, pp 147–167
45.
Zurück zum Zitat Schunselaar DM, Verbeek HMW, Reijers HA, van der Aalst WM (2014, September) YAWL in the cloud: supporting process sharing and variability. In: International Conference on Business Process Management. Springer, Cham, pp 367–379 Schunselaar DM, Verbeek HMW, Reijers HA, van der Aalst WM (2014, September) YAWL in the cloud: supporting process sharing and variability. In: International Conference on Business Process Management. Springer, Cham, pp 367–379
46.
Zurück zum Zitat Sefraoui O, Aissaoui M, Eleuldj M (2012) OpenStack: toward an open-source solution for cloud computing. Int J Comput Appl 55(3):38–42 Sefraoui O, Aissaoui M, Eleuldj M (2012) OpenStack: toward an open-source solution for cloud computing. Int J Comput Appl 55(3):38–42
47.
Zurück zum Zitat Seiger R, Huber S, Schlegel T (2018) Toward an execution system for self-healing workflows in cyber-physical systems. Softw Syst Model 17(2):551–572CrossRef Seiger R, Huber S, Schlegel T (2018) Toward an execution system for self-healing workflows in cyber-physical systems. Softw Syst Model 17(2):551–572CrossRef
48.
Zurück zum Zitat Sikora A (2005) IEEE802. 15.4 and ZigBe for sensor and actuator networks. In: Embedded World Conference, pp 189–197 Sikora A (2005) IEEE802. 15.4 and ZigBe for sensor and actuator networks. In: Embedded World Conference, pp 189–197
50.
Zurück zum Zitat Sungur CT, Spiess P, Oertel N, Kopp O (2013, July) Extending bpmn for wireless sensor networks. In: 2013 IEEE 15th Conference on Business Informatics. IEEE, pp 109–116 Sungur CT, Spiess P, Oertel N, Kopp O (2013, July) Extending bpmn for wireless sensor networks. In: 2013 IEEE 15th Conference on Business Informatics. IEEE, pp 109–116
51.
Zurück zum Zitat Sztipanovits J, Koutsoukos X, Karsai G, Kottenstette N, Antsaklis P, Gupta V, Goodwine B, Baras J, Wang S (2012) Toward a science of cyber-physical system integration. Proc IEEE 100(1):29–44CrossRef Sztipanovits J, Koutsoukos X, Karsai G, Kottenstette N, Antsaklis P, Gupta V, Goodwine B, Baras J, Wang S (2012) Toward a science of cyber-physical system integration. Proc IEEE 100(1):29–44CrossRef
52.
Zurück zum Zitat Tamarit S, Marino J, Vigueras G, Carro M (2016, March) Towards a semantics-aware code transformation toolchain for heterogeneous systems. In: First Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA’16) Tamarit S, Marino J, Vigueras G, Carro M (2016, March) Towards a semantics-aware code transformation toolchain for heterogeneous systems. In: First Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA’16)
53.
Zurück zum Zitat Tan Y, Goddard S, Perez LC (2008) A prototype architecture for cyber-physical systems. ACM Sigbed Rev 5(1):26CrossRef Tan Y, Goddard S, Perez LC (2008) A prototype architecture for cyber-physical systems. ACM Sigbed Rev 5(1):26CrossRef
54.
Zurück zum Zitat Tao F, Cheng Y, Zhang L, Nee AY (2017) Advanced manufacturing systems: socialization characteristics and trends. J Intell Manuf 28(5):1079–1094CrossRef Tao F, Cheng Y, Zhang L, Nee AY (2017) Advanced manufacturing systems: socialization characteristics and trends. J Intell Manuf 28(5):1079–1094CrossRef
55.
Zurück zum Zitat Tranquillini S, Spieß P, Daniel F, Karnouskos S, Casati F, Oertel N, Mottola L, Oppermann FJ, Picco GP, Römer K, Voigt T (2012, September) Process-based design and integration of wireless sensor network applications. In: International Conference on Business Process Management. Springer, Berlin, pp 134–149 Tranquillini S, Spieß P, Daniel F, Karnouskos S, Casati F, Oertel N, Mottola L, Oppermann FJ, Picco GP, Römer K, Voigt T (2012, September) Process-based design and integration of wireless sensor network applications. In: International Conference on Business Process Management. Springer, Berlin, pp 134–149
56.
Zurück zum Zitat Van Der Aalst WM, Ter Hofstede AH (2005) YAWL: yet another workflow language. Inf Syst 30(4):245–275CrossRef Van Der Aalst WM, Ter Hofstede AH (2005) YAWL: yet another workflow language. Inf Syst 30(4):245–275CrossRef
57.
Zurück zum Zitat Van Der Aalst WM, Aldred L, Dumas M, ter Hofstede AH (2004, June) Design and implementation of the YAWL system. In: International Conference on Advanced Information Systems Engineering. Springer, Berlin, pp 142–159 Van Der Aalst WM, Aldred L, Dumas M, ter Hofstede AH (2004, June) Design and implementation of the YAWL system. In: International Conference on Advanced Information Systems Engineering. Springer, Berlin, pp 142–159
58.
Zurück zum Zitat Wan J, Chen M, Xia F, Di L, Zhou K (2013) From machine-to-machine communications towards cyber-physical systems. Comput Sci Inf Syst 10(3):1105–1128CrossRef Wan J, Chen M, Xia F, Di L, Zhou K (2013) From machine-to-machine communications towards cyber-physical systems. Comput Sci Inf Syst 10(3):1105–1128CrossRef
59.
Zurück zum Zitat Wan J, Zhang D, Zhao S, Yang LT, Lloret J (2014) Context-aware vehicular cyber-physical systems with cloud support: architecture, challenges, and solutions. IEEE Commun Mag 52(8):106–113CrossRef Wan J, Zhang D, Zhao S, Yang LT, Lloret J (2014) Context-aware vehicular cyber-physical systems with cloud support: architecture, challenges, and solutions. IEEE Commun Mag 52(8):106–113CrossRef
60.
Zurück zum Zitat Wu J, Stojmenovic I (2004) Ad hoc networks. Computer IEEE Comput Soc 37(2):29–31CrossRef Wu J, Stojmenovic I (2004) Ad hoc networks. Computer IEEE Comput Soc 37(2):29–31CrossRef
61.
Zurück zum Zitat Wu FJ, Kao YF, Tseng YC (2011) From wireless sensor networks towards cyber physical systems. Pervasive Mob Comput 7(4):397–413CrossRef Wu FJ, Kao YF, Tseng YC (2011) From wireless sensor networks towards cyber physical systems. Pervasive Mob Comput 7(4):397–413CrossRef
62.
Zurück zum Zitat Xia F, Ma L, Dong J, Sun Y (2008, July) Network QoS management in cyber-physical systems. In: International Conference on Embedded Software and Systems Symposia, 2008. ICESS Symposia’08. IEEE, pp 302–307 Xia F, Ma L, Dong J, Sun Y (2008, July) Network QoS management in cyber-physical systems. In: International Conference on Embedded Software and Systems Symposia, 2008. ICESS Symposia’08. IEEE, pp 302–307
63.
Zurück zum Zitat Yue X, Cai H, Yan H, Zou C, Zhou K (2015) Cloud-assisted industrial cyber-physical systems: an insight. Microprocess Microsyst 39(8):1262–1270CrossRef Yue X, Cai H, Yan H, Zou C, Zhou K (2015) Cloud-assisted industrial cyber-physical systems: an insight. Microprocess Microsyst 39(8):1262–1270CrossRef
64.
Zurück zum Zitat Zeng Y, Li D, Vasilakos AV (2013) Real-time data report and task execution in wireless sensor and actuator networks using self-aware mobile actuators. Comput Commun 36(9):988–997CrossRef Zeng Y, Li D, Vasilakos AV (2013) Real-time data report and task execution in wireless sensor and actuator networks using self-aware mobile actuators. Comput Commun 36(9):988–997CrossRef
65.
Zurück zum Zitat Zhang J, Lin Y, Gray J (2005) Generic and domain-specific model refactoring using a model transformation engine. In: Beydeda S, Book M, Gruhn V (eds) Model-driven software development. Springer, Berlin, pp 199–217CrossRef Zhang J, Lin Y, Gray J (2005) Generic and domain-specific model refactoring using a model transformation engine. In: Beydeda S, Book M, Gruhn V (eds) Model-driven software development. Springer, Berlin, pp 199–217CrossRef
66.
Zurück zum Zitat Zhang F, Szwaykowska K, Wolf W, Mooney V (2008, November) Task scheduling for control oriented requirements for cyber-physical systems. In: Real-Time Systems Symposium, 2008. IEEE, pp 47–56 Zhang F, Szwaykowska K, Wolf W, Mooney V (2008, November) Task scheduling for control oriented requirements for cyber-physical systems. In: Real-Time Systems Symposium, 2008. IEEE, pp 47–56
67.
Zurück zum Zitat Zhang W, Wen Y, Wu DO (2015) Collaborative task execution in mobile cloud computing under a stochastic wireless channel. IEEE Trans Wireless Commun 14(1):81–93CrossRef Zhang W, Wen Y, Wu DO (2015) Collaborative task execution in mobile cloud computing under a stochastic wireless channel. IEEE Trans Wireless Commun 14(1):81–93CrossRef
Metadaten
Titel
Process execution in Cyber-Physical Systems using cloud and Cyber-Physical Internet services
verfasst von
Borja Bordel
Ramón Alcarria
Diego Sánchez de Rivera
Tomás Robles
Publikationsdatum
17.05.2018
Verlag
Springer US
Erschienen in
The Journal of Supercomputing / Ausgabe 8/2018
Print ISSN: 0920-8542
Elektronische ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-018-2416-4

Weitere Artikel der Ausgabe 8/2018

The Journal of Supercomputing 8/2018 Zur Ausgabe

Premium Partner