skip to main content
10.1145/2494444.2494446acmotherconferencesArticle/Chapter ViewAbstractPublication PagesuccsConference Proceedingsconference-collections
research-article

SimSOTA: engineering and simulating feedback loops for self-adaptive systems

Published: 10 July 2013 Publication History

Abstract

Engineering a decentralized system of autonomous service components and ensembles having multiple and interacting feedback loops is very challenging. While several works have expressed feedback loops as first-class entities, very little attention has been given to providing actual tool support. In this paper, we propose a novel approach to architect and engineer self-adaptive systems based on feedback loops. We also present the first implementation of SimSOTA, an Eclipse plug-in being developed to support the modeling, simulating and validating of self-adaptive systems based on our feedback loop-based approach. We validate our approach using a case study in cooperative electric vehicles.

References

[1]
D. B. Abeywickrama, N. Bicocchi, and F. Zambonelli. SOTA: Towards a general model for self-adaptive systems. In Proc. of the IEEE 21st International WETICE Conference, pages 48--53. IEEE, June 2012.
[2]
D. B. Abeywickrama and F. Zambonelli. Model checking goal-oriented requirements for self-adaptive systems. In Proc. of the 19th Annual ECBS'12 Conference, pages 33--42. IEEE, Apr. 2012.
[3]
D. B. Abeywickrama, F. Zambonelli, and N. Hoch. Towards simulating architectural patterns for self-aware and self-adaptive systems. In Proc. of the 2nd Awareness Workshop co-located with the SASO'12 Conference, pages 133--138. IEEE, Sept. 2012.
[4]
G. Cabri, M. Puviani, and F. Zambonelli. Towards a taxonomy of adaptive agent-based collaboration patterns for autonomic service ensembles. In Proc. of the International Conference on Collaboration Technologies and Systems, pages 508--515. IEEE, 2011.
[5]
B. Cheng, R. de Lemos, H. Giese, P. Inverardi, J. Magee, et al. Software engineering for self-adaptive systems: A research roadmap. In Software Engineering for Self-Adaptive Systems, volume 5525 of LNCS, pages 1--26. Springer-Verlag, 2009.
[6]
E. Clayberg and D. Rubel. Eclipse Plug-ins. Addison-Wesley Professional, 3 edition, 2008.
[7]
T. Haupt. Towards mediation-based self-healing of data-driven business processes. In Proc. of the 7th International SEAMS Symposium, pages 139--144. IEEE/ACM, june 2012.
[8]
R. Hebig, H. Giese, and B. Becker. Making control loops explicit when architecting self-adaptive systems. In Proc. of the 2nd International Workshop on Self-Organizing Architectures, pages 21--28. ACM, 2010.
[9]
N. Hoch, K. Zemmer, B. Werther, and R. Y. Siegwart. Electric vehicle travel optimization---customer satisfaction despite resource constraints. In Proc. of the 4th Intelligent Vehicles Symposium, pages 172--177. IEEE, 2012.
[10]
J. O. Kephart and D. M. Chess. The vision of autonomic computing. IEEE Computer, 36(1):41--50, 2003.
[11]
M. Luckey, B. Nagel, C. Gerth, and G. Engels. Adapt cases: extending use cases for adaptive systems. In Proc. of the 6th International SEAMS Symposium, pages 30--39. ACM, 2011.
[12]
H. Müller, M. Pezzè, and M. Shaw. Visibility of control in adaptive systems. In Proc. of the 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems, pages 23--26. ACM, may 2008.
[13]
P. V. Roy, S. Haridi, and A. Reinefeld. Designing robust and adaptive distributed systems with weakly interacting feedback structures. Technical report, ICTEAM Institute, Université catholique de Louvain, 2011.
[14]
E. Vassev and M. Hinchey. Awareness in software-intensive systems. Computer, 45(12):84--87, 2012.
[15]
T. Vogel and H. Giese. A language for feedback loops in self-adaptive systems: Executable runtime megamodels. In Proc. of the 7th International SEAMS Symposium, pages 129--138. IEEE/ACM, june 2012.
[16]
P. Vromant, D. Weyns, S. Malek, and J. Andersson. On interacting control loops in self-adaptive systems. In Proc. of the 6th SEAMS Symposium, pages 202--207, 2011.
[17]
D. Weyns, S. Malek, and J. Andersson. FORMS: a formal reference model for self-adaptation. In Proc. of the 7th International Conference on Autonomic Computing, pages 205--214. ACM, 2010.
[18]
T. D. Wolf and T. Holvoet. Using UML 2 activity diagrams to design information flows and feedback-loops in self-organising emergent systems. In T. D. Wolf, F. Saffre, and R. Anthony, editors, Proc. of the 2nd International Workshop on Engineering Emergence in Decentralised Autonomic Systems, pages 52--61, 2007.
[19]
J. Wuttke, Y. Brun, A. Gorla, and J. Ramaswamy. Traffic routing for evaluating self-adaptation. In Proc. of the 7th International SEAMS Symposium, pages 27--32. IEEE/ACM, june 2012.

Cited By

View all
  • (2023)A hybrid model for efficient decision-making in self-adaptive systemsInformation and Software Technology10.1016/j.infsof.2022.107063153(107063)Online publication date: Jan-2023
  • (2022)Modeling Autonomic SystemsInternational Journal of Software Innovation10.4018/IJSI.30358510:1(1-22)Online publication date: 1-Jan-2022
  • (2022)MAPE-K patterns for self-adaptation in cyber-physical systemsThe Journal of Supercomputing10.1007/s11227-022-04828-279:5(4917-4943)Online publication date: 4-Oct-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
C3S2E '13: Proceedings of the International C* Conference on Computer Science and Software Engineering
July 2013
155 pages
ISBN:9781450319768
DOI:10.1145/2494444
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]

Sponsors

  • Concordia University: Concordia University
  • ISEP-IPP: Polytechnic Institute of Porto / ISEP

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 July 2013

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. autonomic systems
  2. self-adaptive architectural patterns
  3. self-awareness
  4. simulation tools
  5. software engineering

Qualifiers

  • Research-article

Funding Sources

Conference

C3S2E13
Sponsor:
  • Concordia University
  • ISEP-IPP

Acceptance Rates

C3S2E '13 Paper Acceptance Rate 12 of 42 submissions, 29%;
Overall Acceptance Rate 12 of 42 submissions, 29%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)9
  • Downloads (Last 6 weeks)4
Reflects downloads up to 22 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)A hybrid model for efficient decision-making in self-adaptive systemsInformation and Software Technology10.1016/j.infsof.2022.107063153(107063)Online publication date: Jan-2023
  • (2022)Modeling Autonomic SystemsInternational Journal of Software Innovation10.4018/IJSI.30358510:1(1-22)Online publication date: 1-Jan-2022
  • (2022)MAPE-K patterns for self-adaptation in cyber-physical systemsThe Journal of Supercomputing10.1007/s11227-022-04828-279:5(4917-4943)Online publication date: 4-Oct-2022
  • (2021)AdaptiveSystems: An Integrated Framework for Adaptive Systems Design and Development Using MPS JetBrains Domain-Specific Modeling EnvironmentIEEE Access10.1109/ACCESS.2021.31112299(127973-127984)Online publication date: 2021
  • (2019)A Pattern-Oriented Design Framework for Self-Adaptive Software Systems2019 IEEE International Conference on Software Architecture Companion (ICSA-C)10.1109/ICSA-C.2019.00037(166-169)Online publication date: Mar-2019
  • (2018)Modelling, specifying and verifying self-adaptive systems instantiating MAPE patternsInternational Journal of Computer Applications in Technology10.1504/IJCAT.2018.09002957:1(28-44)Online publication date: 28-Dec-2018
  • (2018)Formal Specification and Verification of Self-Adaptive Concurrent SystemsIEEE Access10.1109/ACCESS.2018.28498216(34790-34803)Online publication date: 2018
  • (2018)A DSL for MAPE Patterns Representation in Self-adapting SystemsSoftware Architecture10.1007/978-3-030-00761-4_1(3-19)Online publication date: 15-Sep-2018
  • (2017)Formal Design and Verification of Self-Adaptive Systems with Decentralized ControlACM Transactions on Autonomous and Adaptive Systems10.1145/301959811:4(1-35)Online publication date: 10-Jan-2017
  • (2017)Modern software cyberneticsJournal of Systems and Software10.1016/j.jss.2016.08.095124:C(169-186)Online publication date: 1-Feb-2017
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media