Nothing Special   »   [go: up one dir, main page]

skip to main content
research-article

Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies

Published: 04 April 2017 Publication History

Abstract

The dynamic nature of complex Cyber-Physical Systems puts extra requirements on their functionalities: they not only need to be dependable, but also able to adapt to changing situations in their environment. When developing such systems, however, it is often impossible to explicitly design for all potential situations up front and provide corresponding strategies. Situations that come out of this “envelope of adaptability” can lead to problems that end up by applying an emergency fail-safe strategy to avoid complete system failure. The existing approaches to self-adaptation cannot typically cope with such situations better—while they are adaptive (and can apply learning) in choosing a strategy, they still rely on a pre-defined set of strategies not flexible enough to deal with those situations adequately. To alleviate this problem, we propose the concept of meta-adaptation strategies, which extends the limits of adaptability of a system by constructing new strategies at runtime to reflect the changes in the environment. Though the approach is generally applicable to most approaches to self-adaptation, we demonstrate our approach on IRM-SA—a design method and associated runtime model for self-adaptive distributed systems based on component ensembles. We exemplify the meta-adaptation strategies concept by providing three concrete meta-adaptation strategies and show its feasibility on an emergency coordination case study.

Supplementary Material

a13-gerostathopoulos-apndx.pdf (gerostathopoulos.zip)
Supplemental movie, appendix, image and software files for, Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies

References

[1]
Al Ali Rima, Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, and Frantisek Plasil. 2014. DEECo: An ecosystem for cyber-physical systems. In Companion Proceedings of ICSE’14. 610--611. ACM Press.
[2]
Luciano Baresi and Liliana Pasquale. 2010. Live goals for adaptive service compositions. In Proceedings of SEAMS’10. ACM, New York 114--123.
[3]
Luciano Baresi and Liliana Pasquale. 2011. Adaptation goals for adaptive service-oriented architectures. In Relating Software Requirements and Architectures, Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, and Ivan Mistrík (Eds.). Springer, Berlin. 161--181.
[4]
Luciano Baresi, Liliana Pasquale, and Paola Spoletini. 2010. Fuzzy goals for requirements-driven adaptation. In Proceedings of RE’10. IEEE, 125--134.
[5]
Thais Batista, Joolia Ackbar, and Geoff Coulson. 2005. Managing dynamic reconfiguration in component-based systems. In Software Architecture, Ron Morrison and Flavio Oquendo (Eds.). Lecture Notes in Computer Science, vol. 3527. Springer, Berlin, pp. 1--17.
[6]
B. Baudry, M. Monperrus, C. Mony, F. Chauvel, F. Fleurey, and S. Clarke. 2014. DIVERSIFY: Ecology-inspired software evolution for diversity emergence. In Proceedings of CSMR-WCRE’14. 395--98.
[7]
Daniel M. Berry, Betty H. C. Cheng, and Ji Zhang. 2005. The four levels of requirements engineering for and in dynamic adaptive systems. In Proceedings of the 11th International Workshop on Requirements Engineering Foundation for Software Quality (Porto, Portugal), 95--100.
[8]
N. Bredeche, E. Haasdijk, and A. E. Eiben. 2010. On-line, on-board evolution of robot controllers. In Artifical Evolution, Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, and Evelyne Lutton (Eds.). Lecture Notes in Computer Science, vol. 5975. Springer, Berlin.
[9]
Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, and Frantisek Plasil. 2013. DEECo -- an ensemble-based component system. In Proceedings of CBSE’13. ACM, New York, pp. 81--90. ACM.
[10]
Betty Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, and Basil Becker et al. 2009. Software engineering for self-adaptive systems: A research roadmap. In Software Engineering for Self-Adaptive Systems. Springer Berlin. pp. 110--121. http://www.springerlink.com/index/H380742725036312.pdf
[11]
Betty Cheng, Pete Sawyer, Nelly Bencomo, and Jon Whittle. 2009. A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In Proceedings of MODELS’09. 1--15. Springer Berlin.
[12]
Shang-Wen Cheng, David Garlan, and Bradley Schmerl. 2012. Stitch: A language for architecture-based self-adaptation. Journal of Systems and Software 85, 12, 1--38.
[13]
Carlos Eduardo da Silva and Rogério de Lemos. 2011. Dynamic plans for integration testing of self-adaptive software systems. In Proceedings of SEAMS’11. ACM, New York, pp. 148--157.
[14]
Pierre-Charles David, Thomas Ledoux, Marc Léger, and Thierry Coupaye. 2009. Fpath and fscript: Language support for navigation and reliable reconfiguration of fractal architectures. Annals of Telecommunications 64 (1--2), 45--63.
[15]
Rogerio de Lemos, Holger Giese, Hausi A. Muller, Mary Shaw, Jesper Andersson, Marin Litoiu, and Bradley Schmerl. 2013. Software engineering for self-adaptive systems: A second research roadmap. In Software Engineering for Self-Adaptive Systems II, 7475:1--32. Lecture Notes in Computer Science. Springer, Berlin.
[16]
Ahmed Elkhodary, Naeem Esfahani, and Sam Malek. 2010. FUSION: A framework for engineering self-tuning self-adaptive software systems. In Proceedings of FSE’10. ACM, New York, 7--16.
[17]
ERCIM. 2014. Special Theme: Cyber-Physical Systems, April.
[18]
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1994. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley Professional.
[19]
George Fairbanks. 2014. Architectural Hoisting. IEEE Software 31, 4.
[20]
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio, and Politecnico Milano. 2011. Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. In Proceedings of ASE’11. 283--92. IEEE.
[21]
Antonio Filieri, Henry Hoffmann, and Martina Maggio. 2014. Automated design of self-adaptive software with control-theoretical formal guarantees. In Proceedings of ICSE’14. ACM Press, New York, pp. 299--310.
[22]
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas D’Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, and Henry Hoffmann. 2015. Software engineering meets control theory. In Proceedings of SEAMS’15. IEEE, 71--82. http://dl.acm.org/citation.cfm?id=2821357.2821370
[23]
Erik M. Fredericks and Betty H. C. Cheng. 2015. Automated generation of adaptive test plans for self-adaptive systems. In Proceedings of SEAMS’15, IEEE, 157--168. http://dl.acm.org/citation.cfm?id=2821357.2821385
[24]
Erik M. Fredericks, Byron DeVries, and Betty H. C. Cheng. 2014. Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. In Proceedings of SEAMS’14. ACM, New York, 17--26.
[25]
David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley Schmerl, and Peter Steenkiste. 2004. Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer 37, 10, 46--54.
[26]
Ilias Gerostathopoulos, Tomas Bures, Petr Hnetynka, Adam Hujecek, Frantisek Plasil, and Dominik Skoda. 2015. Meta-adaptation strategies for adaptation in cyber-physical systems. In Proceedings of ECSA’15. Springer, 45--52.
[27]
Ilias Gerostathopoulos, Tomas Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil, and Noël Plouzeau. 2016a. Self-Adaptation in software-intensive cyber--physical systems: From system goals to architecture configurations. Journal of Systems and Software. Accessed June 15.
[28]
Ilias Gerostathopoulos, Dominik Skoda, Frantisek Plasil, Tomas Bures, and Alessia Knauss. 2016b. Architectural homeostasis in self-adaptive software-intensive cyber-physical systems. In Proceedings of the 10th European Conference on Software Architecture. Springer International Publishing, 113--128.
[29]
Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, and Giordano Tamburrelli. 2013. Managing non-functional uncertainty via model-driven adaptivity. In Proceedings of ICSE’13. IEEE, pp. 33--42. http://dl.acm.org/citation.cfm?id=2486788.2486794
[30]
H. J. Goldsby and B. H. C. Cheng. 2008. Automatically generating behavioral models of adaptive systems to address uncertainty. In Proceedings of MODELS’08. Springer Berlin, pp. 568--583.
[31]
Dan Hirsch, Jeff Kramer, Jeff Magee, and Sebastian Uchitel. 2006. Modes for software architectures. In Software Architecture, Volker Gruhn and Flavio Oquendo (Eds.). Lecture Notes in Computer Science, vol. 4344. Springer, Berlin. pp. 113--126.
[32]
Jeffrey Kephart and David Chess. 2003. The vision of autonomic computing. Computer 36, 1, 41--50.
[33]
Jaroslav Keznikl, Tomas Bures, Frantisek Plasil, Ilias Gerostathopoulos, Petr Hnetynka, and Nicklas Hoch. 2013. Design of ensemble-based component systems by invariant refinement. In Proceedings of CBSE’13. ACM, New York, pp. 91--100.
[34]
Jeff Kramer, and Jeff Magee. 2007. Self-managed systems: An architectural challenge. In Proceedings of FOSE’07, 259--68. IEEE. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4221625
[35]
Jeff Kramer, and Jeff Magee. 2009. A rigorous architectural approach to adaptive software engineering. Journal of Computer Science and Technology 24, 2, 183--188.
[36]
Axel Van Lamsweerde. 2008. Requirements engineering: From craft to discipline. In Proceedings of FSE’08, 238--49. ACM.
[37]
Mirko Morandini and Anna Perini. 2008. Towards goal-oriented development of self-adaptive systems. In Proceedings of SEAMS’08. 9--16. ACM.
[38]
NIST. 2012. Cyber-physical systems: Situation analysis of current trends, technologies, and challenges.
[39]
Charles Ofria and Claus O. Wilke. 2004. Avida: A software platform for research in computational evolutionary biology. Artificial Life 10, 2, 191--229.
[40]
Tharindu Patikirikorala, Alan Colman, Jun Han, and Liuping Wang. 2012. A systematic survey on the design of self-adaptive software systems using control engineering approaches. In Proceedings of SEAMS’12. IEEE, pp. 33--42. IEEE.
[41]
Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, and Jean-Marc Jezequel. 2012. Towards flexible evolution of dynamically adaptive systems. In Proceedings of ICSE’12. 1353--56. IEEE. http://dl.acm.org/citation.cfm?id=2337223.2337416
[42]
Andres J. Ramirez and Betty H. C. Cheng. 2010a. Design patterns for developing dynamically adaptive systems. In Proceedings of SEAMS’10. ACM, New York, 49--58.
[43]
Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley, and Benjamin E. Beckmann. 2010b. Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration. In Proceedings of the 7th International Conference on Autonomic Computing. ACM, New York, pp. 225--234. http://dl.acm.org/citation.cfm?id=1809080
[44]
Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, and Philip K. McKinley. 2009. Applying genetic algorithms to decision making in autonomic computing systems. In Proceedings of ICAC’09. ACM, New York, pp. 97--106.
[45]
Mazeiar Salehie and Ladan Tahvildari. 2009. Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems 4, 2 (May), 1--40.
[46]
Mazeiar Salehie and Ladan Tahvildari. 2012. Towards a goal-driven approach to action selection in self-adaptive software. Softw. Pract. Exper. 42, 2, 211--233.
[47]
Vitor Souza, E. Silva, Alexei Lapouchnian, Konstantinos Angelopoulos, and John Mylopoulos. 2012a. Requirements-driven software evolution. Computer Science - Research and Development 28, 4, 311--329.
[48]
Vitor Souza, E. Silva, Alexei Lapouchnian, and John Mylopoulos. 2012b. (Requirement) evolution requirements for adaptive systems. In Proceedings of SEAMS’12. pp. 155--164.
[49]
Daniel Sykes, William Heaven, Jeff Magee, and Jeff Kramer. 2008. From goals to components: A combined approach to self-management. In Proceedings of SEAMS’08. ACM, New York, pp. 1--8.
[50]
Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H. C. Cheng, and Jean-Michel Bruel. 2010. RELAX: A language to address uncertainty in self-adaptive systems requirement. Requirements Engineering 15, 2, 177--196.
[51]
Eric Yuan, Naeem Esfahani, and Sam Malek. 2014. Automated mining of software component interactions for self-adaptation. In Proceedings of SEAMS’14. ACM, New York, pp. 27--36.
[52]
Ji Zhang and Betty H. C. Cheng. 2006. Model-based development of dynamically adaptive software. In Proceedings of ICSE’06. 371--380. ACM, New York, pp. 371--380.

Cited By

View all
  • (2024)CASTNet: A Context-Aware, Spatio-Temporal Dynamic Motion Prediction Ensemble for Autonomous DrivingACM Transactions on Cyber-Physical Systems10.1145/36486228:2(1-20)Online publication date: 16-Feb-2024
  • (2024)Meta-Adaptation Goals: Leveraging Feedback Loop Requirements for Effective Self-Adaptation2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)10.1109/ACSOS-C63493.2024.00037(91-96)Online publication date: 16-Sep-2024
  • (2023)Self-aware Optimization of Adaptation Planning StrategiesACM Transactions on Autonomous and Adaptive Systems10.1145/356868018:3(1-35)Online publication date: 20-Sep-2023
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Cyber-Physical Systems
ACM Transactions on Cyber-Physical Systems  Volume 1, Issue 3
July 2017
91 pages
ISSN:2378-962X
EISSN:2378-9638
DOI:10.1145/3068423
  • Editor:
  • Tei-Wei Kuo
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

Publication History

Published: 04 April 2017
Accepted: 01 September 2016
Revised: 01 July 2016
Received: 01 July 2015
Published in TCPS Volume 1, Issue 3

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Meta-adaptation strategies
  2. adaptation strategies

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

  • Charles University Grant Agency
  • Youth and Sports of the Czech Republic
  • Ministry of Education
  • COST CZ (LD)
  • Charles University institutional

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)9
  • Downloads (Last 6 weeks)2
Reflects downloads up to 14 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2024)CASTNet: A Context-Aware, Spatio-Temporal Dynamic Motion Prediction Ensemble for Autonomous DrivingACM Transactions on Cyber-Physical Systems10.1145/36486228:2(1-20)Online publication date: 16-Feb-2024
  • (2024)Meta-Adaptation Goals: Leveraging Feedback Loop Requirements for Effective Self-Adaptation2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)10.1109/ACSOS-C63493.2024.00037(91-96)Online publication date: 16-Sep-2024
  • (2023)Self-aware Optimization of Adaptation Planning StrategiesACM Transactions on Autonomous and Adaptive Systems10.1145/356868018:3(1-35)Online publication date: 20-Sep-2023
  • (2023)Towards the decentralized coordination of multiple self-adaptive systems2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)10.1109/ACSOS58161.2023.00028(107-116)Online publication date: 25-Sep-2023
  • (2022)Assured Mission Adaptation of UAVsACM Transactions on Autonomous and Adaptive Systems10.1145/351309116:3-4(1-27)Online publication date: 6-Jul-2022
  • (2022)Update with careJournal of Systems and Software10.1016/j.jss.2022.111381191:COnline publication date: 1-Sep-2022
  • (2022)Fuzzing with automatically controlled interleavings to detect concurrency bugsJournal of Systems and Software10.1016/j.jss.2022.111379191:COnline publication date: 1-Sep-2022
  • (2022)Preventing accessibility barriersJournal of Systems and Software10.1016/j.jss.2021.111213186:COnline publication date: 1-Apr-2022
  • (2022)Considerations and challenges for the adoption of open source components in software-intensive businessesJournal of Systems and Software10.1016/j.jss.2021.111152186:COnline publication date: 1-Apr-2022
  • (2021)Towards Situation-Aware Meta-Optimization of Adaptation Planning Strategies2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)10.1109/ACSOS52086.2021.00042(177-187)Online publication date: Sep-2021
  • Show More Cited By

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media