Advertisement

Self-aware Computing Systems: Open Challenges and Future Research Directions

  • Robert Birke
  • Javier Cámara
  • Lydia Y. Chen
  • Lukas Esterle
  • Kurt Geihs
  • Erol Gelenbe
  • Holger Giese
  • Anders Robertsson
  • Xiaoyun Zhu
Chapter

Abstract

In this chapter, we discuss the open challenges in building self-aware computing systems that are still being faced by the research and development community. The challenges can be theoretical, technical, computational, or even sociological. First, we highlight the challenges associated with each of the earlier parts of the book and summarize on respective future research directions. We then offer concluding remarks and an outlook into the future in the last section.

Keywords

Model Check Epistemic Uncertainty Open Challenge Autonomic Computing Online Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    G. Baxter and I. Sommerville. Socio-technical systems: From design methods to systems engineering. Interacting with Computers, 23(1):4–17, May 2010.CrossRefGoogle Scholar
  2. 2.
    O. Brun, L. Wang, and E. Gelenbe. Data driven self-managing routing in intercontinental overlay networks. IEEE Journal on Selected Areas in Communications, 34:575–583, 2016.CrossRefGoogle Scholar
  3. 3.
    Radu Calinescu, Simos Gerasimou, and Alec Banks. Fundamental Approaches to Software Engineering: 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11–18, 2015, Proceedings, chapter Self-adaptive Software with Decentralised Control Loops, pages 235–251. Springer Berlin Heidelberg, Berlin, Heidelberg, 2015.Google Scholar
  4. 4.
    K. David, K. Geihs, J.M. Leimeister, A. Rossnagel, L. Schmidt, G. Stumme, and A. Wacker. Socio-Technical Design of Ubiquitous Computing Systems. Springer, Berlin Heidelberg, 2014.Google Scholar
  5. 5.
    S. Dobson et al. A survey of autonomic communications. ACM Transactions on Autonomous and Adaptive Systems, 1(2):223–259, Dec 2006.CrossRefGoogle Scholar
  6. 6.
    J. Forrester. Industrial Dynamics. MIT press, Cambridge MA, 1961.Google Scholar
  7. 7.
    F. Francois and E. Gelenbe. Towards a cognitive routing engine for software defined networks. In Proceedings of the IEEE International Conference on Communications (ICC), May 2016.Google Scholar
  8. 8.
    E. Gelenbe. Analysis of single and networked auctions. ACM Transactions on Internet Technology, 9(2), May 2009.Google Scholar
  9. 9.
    E. Gelenbe. Steps toward self-aware networks. Communications of the ACM, 52(7):66–75, 2009.CrossRefGoogle Scholar
  10. 10.
    E. Gelenbe. McGraw-Hill Yearbook of Science & Technology 2011—Manuscript ID YB11-0175, January 2011.Google Scholar
  11. 11.
    E. Gelenbe and E. Egai. Adaptive qos routing for significant events in wireless sensor networks. In Proceedings of the 5th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems (MASS), pages 410–415, September 2008.Google Scholar
  12. 12.
    E. Gelenbe and M. Gellman. Oscillations in a bio-inspired routing algorithm. In Proceedings of the 4th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems (MASS), pages 1–7, October 2007.Google Scholar
  13. 13.
    Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, and Lijun Zhang. Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15–19, 2010. Proceedings, chapter PARAM: A Model Checker for Parametric Markov Models, pages 660–664. Springer Berlin Heidelberg, Berlin, Heidelberg, 2010.Google Scholar
  14. 14.
    Kenneth Johnson, Radu Calinescu, and Shinji Kikuchi. An incremental verification framework for component-based software systems. In Proceedings of the 16th International ACM Sigsoft Symposium on Component-based Software Engineering, CBSE’13, pages 33–42, New York, NY, USA, 2013. ACM.Google Scholar
  15. 15.
    Jeffrey O Kephart, Hoi Chan, Rajarshi Das, David W Levine, Gerald Tesauro, and Charles Lefurgy. Coordinating multiple autonomic managers to achieve specified power-performance tradeoffs. In Proceedings of the Fourth International Conference on Autonomic Computing. IEEE, 2007.Google Scholar
  16. 16.
    Jeffrey O Kephart and Jonathan Lenchner. A symbiotic cognitive computing perspective on autonomic computing. In Proceedings of the 2015 IEEE International Conference on Autonomic Computing. IEEE, 2015.Google Scholar
  17. 17.
    Jeffrey O Kephart and William E Walsh. An artificial intelligence perspective on autonomic computing policies. In Policies for Distributed Systems and Networks, 2004. POLICY 2004. Proceedings. Fifth IEEE International Workshop on, pages 3–12. IEEE, 2004.Google Scholar
  18. 18.
    Marta Kwiatkowska, Gethin Norman, and David Parker. Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, chapter Stochastic Model Checking, pages 220–270. Springer Berlin Heidelberg, Berlin, Heidelberg, 2007.Google Scholar
  19. 19.
    R. Lent, O.H. Abdelrahman, G. Gorbil, and E. Gelenbe. Fast message dissemination for emergency communications. In Proceedings of PerCom Workshop on Pervasive Networks for Emergency Management (PerNEM), pages 370–375, April 2010.Google Scholar
  20. 20.
    R. Middleton and J.H. Braslavsky. String instability in classes of linear time invariant formation control with limited communication range. IEEE Trans. on Automatic Control, 55(7):1519–1530, 2010. doi: 10.1109/TAC.2010.2042318.
  21. 21.
    Dudekula Mohammad Rafi, Katam Reddy Kiran Moses, Kai Petersen, and Mika V. Mäntylä. Benefits and limitations of automated software testing: Systematic literature review and practitioner survey. In Proceedings of the 7th International Workshop on Automation of Software Test, AST ’12, pages 36–42, Piscataway, NJ, USA, 2012. IEEE Press.Google Scholar
  22. 22.
    T. Roughgarden. Selfish Routing. PhD thesis, Cornell University, 2002.Google Scholar
  23. 23.
    T. Roughgarden and E. Tardos. How bad is selfish routing? Journal of the ACM, 49(2):236–259, 2002.MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecilia M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, and Luciano Baresi. Challenges in composing and decomposing assurances for self-adaptive systems. Software Engineering for Self-Adaptive Systems III: Assurances, Lecture Notes in Computer Science (LNCS), 2016.Google Scholar
  25. 25.
    D. Swaroop and J.K. Hedrick. String stability of interconnected systems,. IEEE Trans. on Automatic Control, 41(3):349–357, 1996. doi: 10.1109/9.486636.
  26. 26.
    L. Wang and E. Gelenbe. Adaptive dispatching of tasks in the cloud. IEEE Transactions on Cloud Computing, 2015.Google Scholar
  27. 27.
    L. Wang and E. Gelenbe. Demonstrating voice over an autonomic network. In Proceedings of IEEE 12th International Conference on Autonomic Computing (ICAC), July 2015.Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Robert Birke
    • 1
  • Javier Cámara
    • 2
  • Lydia Y. Chen
    • 1
  • Lukas Esterle
    • 3
  • Kurt Geihs
    • 4
  • Erol Gelenbe
    • 5
  • Holger Giese
    • 6
  • Anders Robertsson
    • 7
  • Xiaoyun Zhu
    • 8
  1. 1.IBM Research ZurichZürichSwitzerland
  2. 2.Carnegie Mellon UniversityPittsburghUSA
  3. 3.Vienna University of TechnologyViennaAustria
  4. 4.University of KasselKasselGermany
  5. 5.Imperial College LondonLondonUK
  6. 6.Hasso Plattner Institute at the University of PotsdamPotsdamGermany
  7. 7.Lund UniversityLundSweden
  8. 8.Futurewei TechnologiesSanta ClaraUSA

Personalised recommendations