Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Decentralized Dynamic Adaptation for Service-Based Collective Adaptive Systems Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems

verfasst von : Amir Taherkordi, Peter Herrmann, Jan Olaf Blech, Álvaro Férnandez

Erschienen in: Service-Oriented Computing – ICSOC 2016 Workshops

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

Mobile Cyber-Physical Systems (mCPS) consist of cooperating units that often operate in an unpredictably changing environment. Thus, they need to adapt quickly to varying spatial and temporal conditions during operation, e.g., to avoid collisions. The control software of the mobile units has to reflect this complex dynamics, and traditional device-level adaptation models are usually not efficient enough to engineer them smoothly. We address this challenge by proposing a Virtual Adaptation Services Framework (VASF). It provides a virtualized application-level view to adaptation requirements, enabling adaptation coordination between cooperative mCPS devices. In particular, VASF allows us to describe the contextual conditions of mCPS by abstract rules that are analyzed at runtime by the tool-set BeSpaceD. Based on this analysis, the control systems of the involved mCPS units are automatically reconfigured using the OSGi framework. The approach is demonstrated with DiddyBorg robots that are operated by Raspberry Pi boards.

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

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel A Brokerage Architecture: Cloud Service Selection
Nächstes Kapitel EQL: Event Query Language for the Sharing of Internet-of-Things Infrastructure and Collaborative Applications Development
Fußnoten
1
In Table 1, US stands for ultrasound and IR for infrared.
 
Literatur
1.
Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Appl. Intell. 17(3), 239–251 (2002)CrossRefMATH
2.
Benveniste, A., et al.: Multiple viewpoint contract-based specification and design. In: Formal Methods for Components and Objects (2008)
3.
Blech, J.O., et al.: Efficient incident handling in industrial automation through collaborative engineering. In: 2015 IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA) (2015)
4.
Blech, J.O., et al.: BeSpaceD: towards a tool framework and methodology for the specification and verification of spatial behavior of distributed software component systems. ArXiv e-print abs/​1404.​3537 (2014)
5.
Brataas, G., Hallsteinsen, S.O., Rouvoy, R., Eliassen, F.: Scalability of decision models for dynamic product lines. In: SPLC, vol. 2, Kindai Kagaku Sha (2007)
6.
Caires, L.: Spatial-behavioral types for concurrency and resource control in distributed systems. Theoret. Comput. Sci. 402(2–3), 120–141 (2008)CrossRefMATHMathSciNet
7.
Conan, D., Rouvoy, R., Seinturier, L.: Scalable processing of context information with COSMOS. In: Indulska, J., Raymond, K. (eds.) DAIS 2007. LNCS, vol. 4531, pp. 210–224. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-72883-2_​16 CrossRef
8.
9.
Dobson, S., et al.: A survey of autonomic communications. ACM Trans. Auton. Adapt. Syst. 1(2), 223–259 (2006)CrossRef
10.
11.
Eidson, J., Lee, E., Matic, S., Seshia, S., Zou, J.: Distributed real-time software for cyber-physical systems. Proc. IEEE 100(1), 45–59 (2012)CrossRef
12.
Fouquet, F., et al.: A dynamic component model for cyber physical systems. In: Proceedings of 15th ACM Symposium on Component Based Software Engineering (CBSE 2012). ACM (2012)
13.
Frehse, G., Le Guernic, C., Donzé, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: Computer Aided Verification (CAV) (2011)
14.
Fritsch, S., et al.: Time-bounded adaptation for automotive system software. In: ACM/IEEE 30th Conference on Software Engineering, ICSE 2008 (2008)
15.
Gerostathopoulos, I., et al.: Meta-adaptation strategies for adaptation in cyber-physical systems. In: Software Architecture: 9th European Conference, ECSA 2015 (2015)
16.
Gerostathopoulos, I., et al.: Self-adaptation in software-intensive cyber-physical systems: from system goals to architecture configurations. J. Syst. Softw. 122, 378–397 (2016)CrossRef
17.
Graf, S., et al.: Contract-based Reasoning for Component Systems with Rich Interactions. In: Sangiovanni-Vincentelli, A., Zeng, H., Di Natale, M., Marwedel, P. (eds.) Embedded Systems Development. EMSY, vol. 20, pp. 139–154. Springer, New York (2014). doi:10.​1007/​978-1-4614-3879-3_​8 CrossRef
18.
Han, F., et al.: Model-based engineering and analysis of space-aware systems communicating via IEEE 802.11. In: 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), vol. 2 (2015)
19.
Herrmann, P., et al.: A model-based toolchain to verify spatial behavior of cyber-physical systems. Int. J. Web Serv. Res. (IJWSR) 13(1), 40–52 (2016)CrossRef
20.
Hirschkoff, D., Lozes, É., Sangiorgi, D.: Minimality results for the spatial logics. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 252–264. Springer, Heidelberg (2003). doi:10.​1007/​978-3-540-24597-1_​22 CrossRef
21.
Hordvik, S., et al.: A methodology for model-based development and safety analysis of transport systems. In: 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) (2016)
22.
Huber, N., et al.: Model-based self-adaptive resource allocation in virtualized environments. In: SEAMS 2011 (2011)
23.
Kang, S., Lee, J., Jang, H., Lee, H., Lee, Y., Park, S., Park, T., Song, J.: SeeMon: scalable and energy-efficient context monitoring framework for sensor-rich mobile environments. In: MobiSys 2008. ACM (2008)
24.
Lauer, M., Lange, S., Riedmiller, M.: Calculating the perfect match: an efficient and accurate approach for robot self-localization. In: Bredenfeld, A., Jacoff, A., Noda, I., Takahashi, Y. (eds.) RoboCup 2005. LNCS, vol. 4020, pp. 142–153. Springer, Heidelberg (2006). doi:10.​1007/​11780519_​13 CrossRef
25.
Lee, E.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC) (2008)
26.
Lum, W.Y., Lau, F.C.M.: A context-aware decision engine for content adaptation. IEEE Pervasive Comput. 1(3), 41–49 (2002)CrossRef
27.
Nallur, V., Bahsoon, R.: A decentralized self-adaptation mechanism for service-based applications in the cloud. IEEE Trans. Softw. Eng. 39(5), 591–612 (2013)CrossRef
28.
29.
Patterson, S., Bamieh, B.: Leader selection for optimal network coherence. In: 49th IEEE Conference on Decision and Control, pp. 2692–2697 (2010)
30.
31.
32.
Rellermeyer, J.S., Alonso, G.: Concierge: a service platform for resource-constrained devices. SIGOPS Oper. Syst. Rev. 41(3), 245–258 (2007)CrossRef
33.
Santos, A.C., et al.: Specifying adaptations through a DSL with an application to mobile robot navigation. In: SLATE 2013 (2013)
34.
Sykes, D., et al.: From goals to components: a combined approach to self-management. In: SEAMS 2008 (2008)
35.
Tajalli, H., et al.: PLASMA: a plan-based layered architecture for software model-driven adaptation. In: Proceedings the IEEE/ACM Conference on Automated Software Engineering, ASE 2010 (2010)
36.
Weyns, D., et al.: On decentralized self-adaptation: lessons from the trenches and challenges for the future. In: SEAMS 2010 (2010)
37.
White, J., et al.: R&D challenges and solutions for mobile cyber-physical applications and supporting internet services. J. Internet Serv. Appl. 1(1), 45–56 (2010)CrossRef
Metadaten
Titel
Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems
verfasst von
Amir Taherkordi
Peter Herrmann
Jan Olaf Blech
Álvaro Férnandez
Copyright-Jahr
2017
Buch
Service-Oriented Computing – ICSOC 2016 Workshops

Print ISBN: 978-3-319-68135-1

Electronic ISBN: 978-3-319-68136-8

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-68136-8_5