nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

QoS-Driven Self-adaptation for Critical IoT-Based Systems

verfasst von : Arthur Gatouillat, Youakim Badr, Bertrand Massot

Erschienen in: Service-Oriented Computing – ICSOC 2017 Workshops

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

The Internet-of-Things, which designates the interconnection of numerous physical devices, is a growing research direction faced with many challenges. One of these challenges is to provide constant quality-of-service despite IoT devices being used in a constantly changing physical environment. In order to answer this problem, we introduce a quality-of-service driven self-adaptation framework, which can simultaneously handle changing adaptation strategies, monitoring infrastructure and physical environment while guaranteeing constant quality-of-service. Because of its formal guarantees, our system is particularly suited for the control of critical IoT-based systems, and we thus demonstrated its practicality by applying it to an e-health case-study where the safety of the monitored patients must be assured.

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 Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

Nächstes Kapitel BiAgent-Based Model for IoT Applications

Zhao, M., Privat, G., Rutten, É., Alla, H.: Discrete control for the internet of things and smart environments. In: 8th International Workshop on Feedback Computing, San Jose, CA, USA, 25 June 2013

Zhao, M., Privat, G., Rutten, E., Alla, H.: Discrete control for smart environments through a generic finite-state-models-based infrastructure. In: Aarts, E., et al. (eds.) AmI 2014. LNCS, vol. 8850, pp. 174–190. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-319-14112-1_15CrossRef

Villegas, N.M., Tamura, G., Müller, H.A., Duchien, L., Casallas, R.: DYNAMICO: a reference model for governing control objectives and context relevance in self-adaptive software systems. In: de Lemos, R., Giese, H., Müller, H.A. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 265–293. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-35813-5_11CrossRef

Weyns, D., Malek, S., Andersson, J.: FORMS: a formal reference model for self-adaptation. In: Proceedings of the 7th International Conference on Autonomic Computing, pp. 205–214 (2010)

Villegas, N.M., Müller, H.A., Tamura, G., Duchien, L., Casallas, R.: A framework for evaluating quality-driven self-adaptive software systems. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 80–89 (2011)

Bonino, D., Corno, F.: Rule-based intelligence for domotic environments. Autom. Constr. 19, 183–196 (2010)CrossRef

Yuan, B., Herbert, J.: Context-aware hybrid reasoning framework for pervasive healthcare. Pers. Ubiquit. Comput. 18, 865–881 (2014)CrossRef

Augusto, J.C., McCullagh, P., McClelland, V., Walkden, J.A.: Enhanced healthcare provision through assisted decision-making in a smart home environment. In: 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (2007)

Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36, 41–50 (2003)CrossRef

10.

Angelopoulos, K., Papadopoulos, A.V., Silva Souza, V.E., Mylopoulos, J.: Model predictive control for software systems with CobRA. In: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 35–46 (2016)

11.

Peng, X., Chen, B., Yu, Y., Zhao, W.: Self-tuning of software systems through dynamic quality tradeoff and value-based feedback control loop. J. Syst. Softw. 85, 2707–2719 (2012)CrossRef

12.

Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 13–23 (2015)

13.

Marchand, H., Bournai, P., Borgne, M.L., Guernic, P.L.: Synthesis of discrete-event controllers based on the signal environment. Discret. Event Dyn. Syst. 10, 325–346 (2000)MathSciNetCrossRef

14.

Delaval, G., Marchand, H., Rutten, E.: Contracts for modular discrete controller synthesis. ACM Sigplan Not. 45, 57–66 (2010)CrossRef

15.

Delaval, G., Rutten, E., Marchand, H.: Integrating discrete controller synthesis into a reactive programming language compiler. Discret. Event Dyn. Syst. 23, 385–418 (2013)CrossRef

16.

Cano, J., Delaval, G., Rutten, E.: Coordination of ECA rules by verification and control. In: Kühn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 33–48. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43376-8_3CrossRef

17.

Cano, J., Rutten, E., Delaval, G., Benazzouz, Y., Gurgen, L.: ECA rules for IoT environment: a case study in safe design. In: Proceedings of the 8th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp. 116–121 (2014)

18.

Abid, R., Salaün, G., De Palma, N.: Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. Sci. Comput. Program. 146, 87–103 (2017)CrossRef

19.

Gamatié, A.: Synchronous programming: overview. In: Designing Embedded Systems with the SIGNAL Programming Language, pp. 21–39. Springer, New York (2010). https://doi.org/10.1007/978-1-4419-0941-1_2

Titel: QoS-Driven Self-adaptation for Critical IoT-Based Systems
verfasst von: Arthur Gatouillat
Youakim Badr
Bertrand Massot
Verlag: Springer International Publishing
Buch: Service-Oriented Computing – ICSOC 2017 Workshops
Print ISBN: 978-3-319-91763-4

Electronic ISBN: 978-3-319-91764-1

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-91764-1_8

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner