Skip to main content

2018 | OriginalPaper | Buchkapitel

55. Don’t Lose Control, Stay up to Date: Automated Runtime Quality Engineering

verfasst von : Thomas Gabor, Marie Kiermeier, Lenz Belzner

Erschienen in: Digital Marketplaces Unleashed

Verlag: Springer Berlin Heidelberg

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

search-config
loading …

Abstract

Modern industrial settings require great flexibility of systems. For example, in automated factories, smart cities or smart grids, systems are exposed to highly variable and dynamic environments: Not all events can be modeled at design time, system components may fail to operate as desired at runtime, and stakeholder requirements may change at high frequency. In order to handle these challenges, systems have to expose highly flexible behavior. Due to the complexity of application domains, deterministic specification and validation of system behavior and quality is no more feasible. Instead, new approaches for building flexible systems yield probabilistic behavior at runtime. While this defeats the purpose of design time testing and quality assessment, it is indeed possible to shift the standard design time engineering activities towards runtime. This enables monitoring and validating system behavior at runtime, incorporating information not available a priori and using it to keep the dynamic system under control at runtime.

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!

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!

Literatur
1.
Zurück zum Zitat Barry Francis Porter and Roberto Rodrigues Filho. Losing control: the case for emergent software systems using autonomous assembly, perception and learning. 2016 IEEE 10th International Conference on Self‐Adaptive and Self‐Organizing Systems (SASO). Barry Francis Porter and Roberto Rodrigues Filho. Losing control: the case for emergent software systems using autonomous assembly, perception and learning. 2016 IEEE 10th International Conference on Self‐Adaptive and Self‐Organizing Systems (SASO).
2.
Zurück zum Zitat Sebastian Thrun and Lorien Pratt. Learning to learn. Springer Science & Business Media, 2012. MATH Sebastian Thrun and Lorien Pratt. Learning to learn. Springer Science & Business Media, 2012. MATH
4.
Zurück zum Zitat Edwin T Jaynes. Probability theory: The logic of science. Cambridge university press, 2003. CrossRefMATH Edwin T Jaynes. Probability theory: The logic of science. Cambridge university press, 2003. CrossRefMATH
5.
Zurück zum Zitat Samuel J Gershman, Arthur B Markman, and A Ross Otto. Retrospective revaluation in sequential decision making: A tale of two systems. Journal of Experimental Psychology: General, 143(1):182, 2014. CrossRef Samuel J Gershman, Arthur B Markman, and A Ross Otto. Retrospective revaluation in sequential decision making: A tale of two systems. Journal of Experimental Psychology: General, 143(1):182, 2014. CrossRef
6.
Zurück zum Zitat Diederik Marijn Roijers, Peter Vamplew, Shimon Whiteson, and Richard Dazeley. A survey of multi‐objective sequential decision‐making. Journal of Artificial Intelligence Research, 2013. Diederik Marijn Roijers, Peter Vamplew, Shimon Whiteson, and Richard Dazeley. A survey of multi‐objective sequential decision‐making. Journal of Artificial Intelligence Research, 2013.
7.
Zurück zum Zitat Thomas T Hills, Peter M Todd, David Lazer, A David Redish, Iain D Couzin, Cognitive Search Research Group, et al. Exploration versus exploitation in space, mind, and society. Trends in cognitive sciences, 19(1):46–54, 2015.CrossRef Thomas T Hills, Peter M Todd, David Lazer, A David Redish, Iain D Couzin, Cognitive Search Research Group, et al. Exploration versus exploitation in space, mind, and society. Trends in cognitive sciences, 19(1):46–54, 2015.CrossRef
8.
Zurück zum Zitat Norha M Villegas, Hausi A Müller, Gabriel Tamura, Laurence Duchien, and Rubby Casallas. 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, pages 80–89. ACM, 2011. Norha M Villegas, Hausi A Müller, Gabriel Tamura, Laurence Duchien, and Rubby Casallas. 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, pages 80–89. ACM, 2011.
9.
Zurück zum Zitat Edward H Glaessgen and David Stargel. The digital twin paradigm for future nasa and us air force vehicles. In 53rd Struct. Dyn. Mater. Conf. Special Session: Digital Twin, Honolulu, HI, US, pages 1–14, 2012. Edward H Glaessgen and David Stargel. The digital twin paradigm for future nasa and us air force vehicles. In 53rd Struct. Dyn. Mater. Conf. Special Session: Digital Twin, Honolulu, HI, US, pages 1–14, 2012.
10.
Zurück zum Zitat Thomas Gabor, Lenz Belzner, Marie Kiermeier, Michael Till Beck, and Alexander Neitz. A simulation‐based architecture for smart cyber‐physical systems. In Workshop Models at Runtime, Proceedings of ICAC 2016, 2016. to be published. Thomas Gabor, Lenz Belzner, Marie Kiermeier, Michael Till Beck, and Alexander Neitz. A simulation‐based architecture for smart cyber‐physical systems. In Workshop Models at Runtime, Proceedings of ICAC 2016, 2016. to be published.
11.
Zurück zum Zitat Mark Harman and Bryan F Jones. Search‐based software engineering. Information and software Technology, 43(14):833–839, 2001. Mark Harman and Bryan F Jones. Search‐based software engineering. Information and software Technology, 43(14):833–839, 2001.
12.
Zurück zum Zitat Donald Berndt, J Fisher, L Johnson, J Pinglikar, and Alison Watkins. Breeding software test cases with genetic algorithms. In System Sciences, 2003. Proceedings of the 36th Annual Hawaii In‐ ternational Conference on, pages 10–pp. IEEE, 2003. Donald Berndt, J Fisher, L Johnson, J Pinglikar, and Alison Watkins. Breeding software test cases with genetic algorithms. In System Sciences, 2003. Proceedings of the 36th Annual Hawaii In‐ ternational Conference on, pages 10–pp. IEEE, 2003.
13.
Zurück zum Zitat Steven Carl Bankes. Robustness, adaptivity, and resiliency analysis. In AAAI fall symposium: complex adaptive systems, volume 10, page 03, 2010. Steven Carl Bankes. Robustness, adaptivity, and resiliency analysis. In AAAI fall symposium: complex adaptive systems, volume 10, page 03, 2010.
14.
Zurück zum Zitat Tomáš Bureš, Vojtěch Horkỳ, Michal Kit, Lukáš Marek, and Petr Tuma. Towards performance‐aware engineering of autonomic component ensembles. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pages 131–146. Springer, 2014. Tomáš Bureš, Vojtěch Horkỳ, Michal Kit, Lukáš Marek, and Petr Tuma. Towards performance‐aware engineering of autonomic component ensembles. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pages 131–146. Springer, 2014.
Metadaten
Titel
Don’t Lose Control, Stay up to Date: Automated Runtime Quality Engineering
verfasst von
Thomas Gabor
Marie Kiermeier
Lenz Belzner
Copyright-Jahr
2018
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-49275-8_55

Premium Partner