Plan-directed architectural change for autonomous systems

ABSTRACT

Autonomous systems operate in an unpredictable world, where communication with those people responsible for its software architecture may be infrequent or undesirable. If such a system is to continue reliable operation it must be able to derive and initiate adaptations to new circumstances on its own behalf. Much of the previous work on dynamic reconfigurations supposes that the programmer is able to express the possible adaptations before the system is deployed, or at least is able to add new adaptation strategies after deployment. We consider the challenges in providing an autonomous system with the capability to direct its own adaptation, and describe an initial implementation where change in the software architecture of an autonomous system is enacted as a result of executing a reactive plan.

REFERENCES

• 1: Naveed Arshad , Dennis Heimbigner , Alexander L. Wolf, Deployment and dynamic reconfiguration planning for distributed software systems, Software Quality Control, v.15 n.3, p.265-281, September 2007 [doi>10.1007/s11219-007-9019-2]
• 2: Edmund M. Clarke, Jr. , Orna Grumberg , Doron A. Peled, Model checking, MIT Press, Cambridge, MA, 2000
• 3: Eric M. Dashofy , André van der Hoek , Richard N. Taylor, Towards architecture-based self-healing systems, Proceedings of the first workshop on Self-healing systems, November 18-19, 2002, Charleston, South Carolina [doi>10.1145/582128.582133]
• 4: David Garlan , Robert Allen , John Ockerbloom, Exploiting style in architectural design environments, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.175-188, December 06-09, 1994, New Orleans, Louisiana, United States
• 5: David Garlan , Bradley Schmerl, Model-based adaptation for self-healing systems, Proceedings of the first workshop on Self-healing systems, November 18-19, 2002, Charleston, South Carolina [doi>10.1145/582128.582134]
• 6: Fausto Giunchiglia , Paolo Traverso, Planning as Model Checking, Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning, p.1-20, September 08-10, 1999
• 7: Jeff Kramer , Jeff Magee, The Evolving Philosophers Problem: Dynamic Change Management, IEEE Transactions on Software Engineering, v.16 n.11, p.1293-1306, November 1990 [doi>10.1109/32.60317]
• 8: Malik Ghallib, Dana Nau, Paolo Traverso. Automated Planning: Theory and Practice. Morgan Kaufman, 2005.
• 9: Andrew McVeigh , Jeff Kramer , Jeff Magee, Using resemblance to support component reuse and evolution, Proceedings of the 2006 conference on Specification and verification of component-based systems, November 10-11, 2006, Portland, Oregon [doi>10.1145/1181195.1181206]
• 10: Peyman Oreizy , Michael M. Gorlick , Richard N. Taylor , Dennis Heimbigner , Gregory Johnson , Nenad Medvidovic , Alex Quilici , David S. Rosenblum , Alexander L. Wolf, An Architecture-Based Approach to Self-Adaptive Software, IEEE Intelligent Systems, v.14 n.3, p.54-62, May 1999 [doi>10.1109/5254.769885]
• 11: Peyman Oreizy , Nenad Medvidovic , Richard N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th international conference on Software engineering, p.177-186, April 19-25, 1998, Kyoto, Japan
• 12: P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, P. Traverso. MBP: A Model-Based Planner. Proc. of IJCAI'01 Workshop on Planning Under Uncertainty and Incomplete Information, 2001.
• 13: Alessandro Cimatti , Edmund M. Clarke , Enrico Giunchiglia , Fausto Giunchiglia , Marco Pistore , Marco Roveri , Roberto Sebastiani , Armando Tacchella, NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceedings of the 14th International Conference on Computer Aided Verification, p.359-364, July 27-31, 2002
• 14: Jason E. Robbins , David M. Hilbert , David F. Redmiles, Using critics to analyze evolving architectures, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.90-93, October 16-18, 1996, San Francisco, California, United States [doi>10.1145/243327.243617]
• 15: J. Zhang and B. Cheng. Modular model checking of dynamically adaptive programs. Technical report, Michigan State University, 2006.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures

General Terms:
Design, Management, Reliability

Keywords:
autonomous systems, dynamic reconfiguration, self-adaptive, self-healing, software architecture