Skip to main content

A Case Study in Goal-Driven Architectural Adaptation

  • Chapter

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 5525)

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.

Keywords

  • Mobile Robot
  • Domain Model
  • Autonomous System
  • Goal State
  • Environment Action

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-02161-9_6
  • Chapter length: 19 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-02161-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   84.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Garlan, D., Schmerl, B.: Model-Based Adaptation for Self-Healing Systems. In: 1st Workshop on Self-Healing Systems (2002)

    Google Scholar 

  2. Garlan, D., Allen, R., Ockerbloom, J.: Exploiting Style in Architectural Design Environments. In: Preneel, B. (ed.) FSE 1994. LNCS, vol. 1008. Springer, Heidelberg (1995)

    Google Scholar 

  3. Georgiadis, I., Magee, J., Kramer, J.: Self-Organising Software Architectures for Distributed Systems. In: 1st Workshop on Self-Managed Systems (2004)

    Google Scholar 

  4. Georgas, J.C., Taylor, R.N.: Towards a Knowledge-Based Approach to Architectural Adaptation Management. In: 1st Workshop on Self-Managed Systems (2004)

    Google Scholar 

  5. Arshad, N., Heimbigner, D., Wolf, A.: A Planning Based Approach to Failure Recovery in Distributed Systems. In: 1st Workshop on Self-Managed Systems (2004)

    Google Scholar 

  6. Gat, E.: Three-Layer Architectures. In: Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems (1998)

    Google Scholar 

  7. Ghallib, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2005)

    Google Scholar 

  8. Sykes, D., Heaven, W., Magee, J., Kramer, J.: Plan-Directed Architectural Change For Autonomous Systems. In: SAVCBS (2007)

    Google Scholar 

  9. Sykes, D., Heaven, W., Magee, J., Kramer, J.: From Goals to Components: A Combined Approach to Self-Management. In: SEAMS (2008)

    Google Scholar 

  10. Magee, J., Kramer, J.: Concurrency: State Models & Java Programming. Wiley, Chichester (2000)

    MATH  Google Scholar 

  11. McVeigh, A., Kramer, J., Magee, J.: Using Resemblance to Support Component Reuse and Evolution. In: SAVCBS (2006)

    Google Scholar 

  12. Brooks, R.: A Robust Layered Control System for a Mobile Robot. Robotics and Automation 2(1), 14–23 (1986)

    CrossRef  MathSciNet  Google Scholar 

  13. 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)

    Google Scholar 

  14. Cheng, S., Garlan, D., Schmerl, B.: Architecture-Based Self-Adaptation in the Presence of Multiple Objectives. In: SEAMS (2006)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. Dashofy, E.M., van der Hoek, A., Taylor, R.N.: Towards Architecture-Based Self-Healing Systems. In: 1st Workshop on Self-Healing Systems (2002)

    Google Scholar 

  17. Robbins, J.E., Hilbert, D.M., Redmiles, D.F.: Using Critics to Analyze Evolving Architectures. ISAW-2 / Viewpoints (1996)

    Google Scholar 

  18. Garlan, D., Poladian, V., Schmerl, B., Sousa, J.P.: Task-Based Self-Adaptation. In: 1st Workshop on Self-Managed Systems (2004)

    Google Scholar 

  19. Arshad, N., Heimbigner, D., Wolf, A.: Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems. Software Quality Journal 15(3) (2007)

    Google Scholar 

  20. Lynch, N., Tuttle, M.: An Introduction to Input/Output Automata. CWI-Quarterly 2(3 ) (1989)

    Google Scholar 

  21. Giannakopoulou, D., Magee, J.: Fluent Model Checking for Event-Based Systems. In: ESEC / FSE (2003)

    Google Scholar 

  22. Giunchiglia, F., Traverso, P.: Planning as Model Checking. In: European Conference on Planning (1999)

    Google Scholar 

  23. Warren, I., Sun, J., Krishnamohan, S., Weerasinghe, T.: An Automated Formal Approach to Managing Dynamic Reconfiguration. In: ASE (2006)

    Google Scholar 

  24. Lomuscio, A., Sergot, M.: Deontic Interpreted Systems. Studia Logica (Special Issue on The Dynamics of Knowledge) 75 (2003)

    Google Scholar 

  25. 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)

    Google Scholar 

  26. Sibay, G., Uchitel, S., Braberman, V.: Existential Live Sequence Charts Revisited. In: ICSE (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)