Abstract
To operate reliably in environments where interaction with an operator is infrequent or undesirable, an autonomous system should be capable of both determining how to achieve its objectives and adapting to novel circumstances on its own. We have developed an approach to constructing autonomous systems that synthesise tasks from high-level goals and adapt their software architecture to perform these tasks reliably in a changing environment. This paper presents our approach through a detailed case study, highlighting the challenges involved.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Garlan, D., Schmerl, B.: Model-Based Adaptation for Self-Healing Systems. In: 1st Workshop on Self-Healing Systems (2002)
Garlan, D., Allen, R., Ockerbloom, J.: Exploiting Style in Architectural Design Environments. In: Preneel, B. (ed.) FSE 1994. LNCS, vol. 1008. Springer, Heidelberg (1995)
Georgiadis, I., Magee, J., Kramer, J.: Self-Organising Software Architectures for Distributed Systems. In: 1st Workshop on Self-Managed Systems (2004)
Georgas, J.C., Taylor, R.N.: Towards a Knowledge-Based Approach to Architectural Adaptation Management. In: 1st Workshop on Self-Managed Systems (2004)
Arshad, N., Heimbigner, D., Wolf, A.: A Planning Based Approach to Failure Recovery in Distributed Systems. In: 1st Workshop on Self-Managed Systems (2004)
Gat, E.: Three-Layer Architectures. In: Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems (1998)
Ghallib, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2005)
Sykes, D., Heaven, W., Magee, J., Kramer, J.: Plan-Directed Architectural Change For Autonomous Systems. In: SAVCBS (2007)
Sykes, D., Heaven, W., Magee, J., Kramer, J.: From Goals to Components: A Combined Approach to Self-Management. In: SEAMS (2008)
Magee, J., Kramer, J.: Concurrency: State Models & Java Programming. Wiley, Chichester (2000)
McVeigh, A., Kramer, J., Magee, J.: Using Resemblance to Support Component Reuse and Evolution. In: SAVCBS (2006)
Brooks, R.: A Robust Layered Control System for a Mobile Robot. Robotics and Automation 2(1), 14–23 (1986)
Cheng, S.W., Garlan, D., Schmerl, B., Sousa, J., Spitnagel, B., Steenkiste, P.: Using Architectural Style as a Basis for System Self-Repair. In: 3rd Working IEEE/IFIP Conference on Software Architecture (2002)
Cheng, S., Garlan, D., Schmerl, B.: Architecture-Based Self-Adaptation in the Presence of Multiple Objectives. In: SEAMS (2006)
Cheng, S., Huang, A., Garlan, D., Schmerl, B., Steenkiste, P.: An Architecture for Coordinating Multiple Self-Management Systems. In: 4th Working IEEE/IFIP Conference on Software Architecture, pp. 243–252 (2004)
Dashofy, E.M., van der Hoek, A., Taylor, R.N.: Towards Architecture-Based Self-Healing Systems. In: 1st Workshop on Self-Healing Systems (2002)
Robbins, J.E., Hilbert, D.M., Redmiles, D.F.: Using Critics to Analyze Evolving Architectures. ISAW-2 / Viewpoints (1996)
Garlan, D., Poladian, V., Schmerl, B., Sousa, J.P.: Task-Based Self-Adaptation. In: 1st Workshop on Self-Managed Systems (2004)
Arshad, N., Heimbigner, D., Wolf, A.: Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems. Software Quality Journal 15(3) (2007)
Lynch, N., Tuttle, M.: An Introduction to Input/Output Automata. CWI-Quarterly 2(3 ) (1989)
Giannakopoulou, D., Magee, J.: Fluent Model Checking for Event-Based Systems. In: ESEC / FSE (2003)
Giunchiglia, F., Traverso, P.: Planning as Model Checking. In: European Conference on Planning (1999)
Warren, I., Sun, J., Krishnamohan, S., Weerasinghe, T.: An Automated Formal Approach to Managing Dynamic Reconfiguration. In: ASE (2006)
Lomuscio, A., Sergot, M.: Deontic Interpreted Systems. Studia Logica (Special Issue on The Dynamics of Knowledge) 75 (2003)
Inverardi, P., Mostarda, L., Tivoli, M., Autili, M.: Synthesis of Correct and Distributed Adaptors for Component-Based Systems: an Automatic Approach. In: ASE, pp. 405–409 (2005)
Sibay, G., Uchitel, S., Braberman, V.: Existential Live Sequence Charts Revisited. In: ICSE (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Heaven, W., Sykes, D., Magee, J., Kramer, J. (2009). A Case Study in Goal-Driven Architectural Adaptation. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science, vol 5525. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02161-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-02161-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02160-2
Online ISBN: 978-3-642-02161-9
eBook Packages: Computer ScienceComputer Science (R0)