Self-aware Computing Systems: Open Challenges and Future Research Directions
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.
KeywordsModel Check Epistemic Uncertainty Open Challenge Autonomic Computing Online Model
Unable to display preview. Download preview PDF.
- 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.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
- 6.J. Forrester. Industrial Dynamics. MIT press, Cambridge MA, 1961.Google Scholar
- 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.E. Gelenbe. Analysis of single and networked auctions. ACM Transactions on Internet Technology, 9(2), May 2009.Google Scholar
- 10.E. Gelenbe. McGraw-Hill Yearbook of Science & Technology 2011—Manuscript ID YB11-0175, January 2011.Google Scholar
- 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.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.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.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.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.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.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.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.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.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.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.T. Roughgarden. Selfish Routing. PhD thesis, Cornell University, 2002.Google Scholar
- 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.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.L. Wang and E. Gelenbe. Adaptive dispatching of tasks in the cloud. IEEE Transactions on Cloud Computing, 2015.Google Scholar
- 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