[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/2662572.2662574acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty

Published: 19 May 2013 Publication History

Abstract

This keynote talk and paper intend to motivate research projects that investigate novel ways to model, analyze, and mitigate uncertainty arising in three different aspects of the cyber-physical systems. First, uncertainty about the physical environment can lead to suboptimal, and sometimes catastrophic, results as the system tries to adapt to unanticipated or poorly-understood environmental conditions. Second, uncertainty in the cyber environment can have lead to unexpected and adverse effects, including not only performance impacts (load, traffic, etc.) but also potential threats or overt attacks. Finally, uncertainty can exist with the components themselves and how they interact upon reconfiguration, including unexpected and unwanted feature interactions. Each of these sources of uncertainty can potentially be identified at different stages, respectively run time, design time, and requirements, but their mitigation might be done at the same or a different stage. Based on the related literature and our preliminary investigations, we argue that the following three overarching techniques are essential and warrant further research to provide enabling technologies to address uncertainty at all three stages: model-based development, assurance, and dynamic adaptation. Furthermore, we posit that in order to go beyond incremental improvements to current software engineering techniques, we need to leverage, extend, and integrate techniques from other disciplines.

References

[1]
M. Harman, E. Burke, J. Clark, and X. Yao, "Dynamic adaptive search based software engineering," in Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement, ser. ESEM '12. New York, NY, USA: ACM, 2012, pp. 1--8.
[2]
M. S. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard, "Reconciling system requirements and runtime behavior," in Proc. of the 8th Int. Workshop on Software Specification and Design, Washington, DC, USA, 1998, pp. 50--59.
[3]
S. Fickas and M. S. Feather, "Requirements monitoring in dynamic environments," in Proc. of the Second IEEE Int. Symp. on Requirements Eng., Washington, DC, USA, 1995, pp. 140--147.
[4]
W. N. Robinson, "Monitoring software requirements using instrumented code," in HICSS '02: Proceedings of the 35th Annual Hawaii International Conference on System Sciences. Hawaii, USA: IEEE Computer Society, 2002, pp. 276--285.
[5]
J. Whittle, P. Sawyer, N. Bencomo, Betty H. C. Cheng, and J.-M. Bruel, "RELAX: Incorporating uncertainty into the specification of self-adaptive systems," in Proc. of the 17th Int. Requirements Eng. Conf. (RE '09), Atlanta, Georgia, USA, September 2009, pp. 79--88.
[6]
A. van Lamsweerde, Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, March 2009.
[7]
A. van Lamsweerde and E. Letier, "Handling obstacles in goal-oriented requirements engineering," IEEE Tran. on Soft. Eng., vol. 26, no. 10, pp. 978--1005, 2000.
[8]
P. Oreizy, M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D. S. Rosenblum, and A. L. Wolf, "An Architecture-Based Approach to Self-Adaptive Software," IEEE Intelligent Systems, vol. 14, no. 3, pp. 54--62, 1999.
[9]
S. W. Cheng, D. Garlan, and B. Schmerl, "Architecture-based self-adaptation in the presence of multiple objectives," in Proceedings of the 2006 International Workshop on Self-adaptation and Self-Managing Systems. Shanghai, China: ACM, 2006, pp. 2--8.
[10]
B. H. Cheng, P. Sawyer, N. Bencomo, and J. Whittle, "A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty," in ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'09), ser. Lecture Notes in Computer Science. Denver, Colorado, USA: Springer-Verlag, October 2009, pp. 468--483.
[11]
A. J. Ramirez and B. H. Cheng, "Automatically deriving utility functions for monitoring software requirements," in Proceedings of the 2011 International Conference on Model Driven Engineering Languages and Systems Conference, Wellington, New Zealand, 2011, pp. 501--516.
[12]
A. J. Ramirez, A. C. Jensen, B. H. Cheng, and D. B. Knoester, "Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems," in To Appear In the Proceedings of the 2011 International Conference on Automatic Software Engineering, ser. ASE'11, Lawrence, Kansas, USA, November 2011.
[13]
A. J. Ramirez, D. B. Knoester, Betty H. C. Cheng, and P. K. McKinley, "Applying genetic algorithms to decision making in autonomic computing systems," in Proceedings of the Sixth International Conference on Autonomic Computing, Barcelona, Spain, June 2009, pp. 97--106.
[14]
A. J. Ramirez, B. H. Cheng, P. K. McKinley, and B. E. Beckmann, "Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration," in Proceedings of the 7th International Conference on Autonomic Computing, ser. ICAC. Washington, DC, USA: ACM, June 2010, pp. 225--234.
[15]
A. J. Ramirez, E. M. Fredericks, A. C. Jensen, and B. H. C. Cheng, "Automatically RELAXing a goal model to cope with uncertainty," in SSBSE'12: Proceedings of the 4th international conference on Search Based Software Engineering. Berlin, Heidelberg: Springer-Verlag, 2012, pp. 198--212.
[16]
P. de Grandis and G. Valetto, "Elicitation and utilization of application-level utility functions," in In the Proceedings of the Sixth International Conference on Autonomic Computing (ICAC'09). Barcelona, Spain: ACM, June 2009, pp. 107--116.
[17]
A. Dardenne, A. van Lamsweerde, and S. Fickas, "Goal-directed requirements acquisition," Science of Computer Programming, vol. 20, no. 1--2, pp. 3--50, 1993.
[18]
O. Michel, "Webots: Professional mobile robot simulation," Journal of Advanced Robotics Systems, vol. 1, no. 1, pp. 39--42, 2004.

Cited By

View all
  • (2023)Using Genetic Programming to Build Self-Adaptivity into Software-Defined NetworksACM Transactions on Autonomous and Adaptive Systems10.1145/361649619:1(1-35)Online publication date: 17-Aug-2023
  • (2019)Runtime Monitoring and Resolution of Probabilistic Obstacles to System GoalsACM Transactions on Autonomous and Adaptive Systems10.1145/333780014:1(1-40)Online publication date: 31-Aug-2019
  • (2018)Managing uncertainty in self-adaptive systems with plan reuse and stochastic searchProceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems10.1145/3194133.3194145(40-50)Online publication date: 28-May-2018
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
CMSBSE '13: Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering
May 2013
76 pages
ISBN:9781467362849

Sponsors

Publisher

IEEE Press

Publication History

Published: 19 May 2013

Check for updates

Author Tags

  1. Dynamically adaptive systems
  2. design
  3. model-based development
  4. requirements engineering
  5. run-time
  6. uncertainty

Qualifiers

  • Research-article

Conference

ICSE '13
Sponsor:

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 06 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Using Genetic Programming to Build Self-Adaptivity into Software-Defined NetworksACM Transactions on Autonomous and Adaptive Systems10.1145/361649619:1(1-35)Online publication date: 17-Aug-2023
  • (2019)Runtime Monitoring and Resolution of Probabilistic Obstacles to System GoalsACM Transactions on Autonomous and Adaptive Systems10.1145/333780014:1(1-40)Online publication date: 31-Aug-2019
  • (2018)Managing uncertainty in self-adaptive systems with plan reuse and stochastic searchProceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems10.1145/3194133.3194145(40-50)Online publication date: 28-May-2018
  • (2017)A survey on search-based model-driven engineeringAutomated Software Engineering10.1007/s10515-017-0215-424:2(233-294)Online publication date: 1-Jun-2017
  • (2016)Modeling for sustainabilityProceedings of the 8th International Workshop on Modeling in Software Engineering10.1145/2896982.2896992(62-66)Online publication date: 14-May-2016
  • (2015)SASSProceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.5555/2821357.2821386(168-174)Online publication date: 16-May-2015

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