Skip to main content
SpringerLink
Log in

Control of Self-adaptation Under Partial Observation: A Modular Approach

  • Conference paper
  • First Online:
Software Architecture (ECSA 2017)

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

Included in the following conference series:

Abstract

To realize correct adaptive and reconfigurable systems, we need techniques to assure that the behavior of an adaptive system during dynamic adaptation is correct. In this paper, we propose a modular approach to synthesize a symbolic reconfiguration controller that guides the behavior of a system during adaptation under partial observations. The reconfiguration controller observes the system behavior partially during an adaptation and controls it by allowing/disallowing actions in a way to ensure that a given property is satisfied and a deadlock is avoided.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Autili, M., Flammini, M., Inverardi, P., Navarra, A., Tivoli, M.: Synthesis of concurrent and distributed adaptors for component-based systems. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344, pp. 17–32. Springer, Heidelberg (2006). doi:10.1007/11966104_3

    Chapter  Google Scholar 

  2. Autili, M., Mostarda, L., Navarra, A., Tivoli, M.: Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. J. Syst. Softw. 81(12), 2210–2236 (2008)

    Article  Google Scholar 

  3. Biyani, K.N., Kulkarni, S.S.: Assurance of dynamic adaptation in distributed systems. J. Parallel Distrib. Comput. 68(8), 1097–1112 (2008)

    Article  MATH  Google Scholar 

  4. Bouhadiba, T., Sabah, Q., Delaval, G., Rutten, E.: Synchronous control of reconfiguration in fractal component-based systems - a case study. In: Proceeding of ACM Conference on Embedded Software, EMSOFT, Taiwan (2011)

    Google Scholar 

  5. Chakrabarti, A., Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: Synchronous and bidirectional component interfaces. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 414–427. Springer, Heidelberg (2002). doi:10.1007/3-540-45657-0_34

    Chapter  Google Scholar 

  6. Cmara, J., Lopes, A., Garlan, D., Schmerl, B.: Adaptation impact and environment models for architecture-based self-adaptive systems. Sci. Comput. Programm. 127, 50–75 (2016). Special issue of the 11th International Symposium on Formal Aspects of Component Software

    Article  Google Scholar 

  7. Delaval, G., Rutten, E., Marchand, H.: Integrating discrete controller synthesis into a reactive programming language compiler. Discret. Event Dyn. Syst. 23(4), 385–418 (2013)

    Article  MATH  Google Scholar 

  8. Gierds, C., Mooij, A.J., Wolf, K.: Reducing adapter synthesis to controller synthesis. IEEE Trans. Serv. Comput. 5(1), 72–85 (2012)

    Article  Google Scholar 

  9. Kalyon, G., Le Gall, T., Marchand, H., Massart, T.: Control of infinite symbolic transition systems under partial observation. In: 2009 European Control Conference (ECC), pp. 1456–1462 (2009)

    Google Scholar 

  10. Khakpour, N.: Control of self-adaptation under partial observation: A modular approach. Technical report, Linnaeus University (2017)

    Google Scholar 

  11. Khakpour, N., Arbab, F., Rutten, E.: Supervisory controller synthesis for safe software adaptation. In: Proceedings of the 12th IFAC Workshop on Disceret Event Systems (2014)

    Google Scholar 

  12. Khakpour, N., Arbab, F., Rutten, É.: Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Asp. Comput. 28(1), 21–43 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  13. Kulkarni, S.S., Biyani, K.N.: Correctness of component-based adaptation. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 48–58. Springer, Heidelberg (2004). doi:10.1007/978-3-540-24774-6_6

    Chapter  Google Scholar 

  14. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206–230 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  15. Tivoli, M., Fradet, P., Girault, A., Goessler, G.: Adaptor synthesis for real-time components. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 185–200. Springer, Heidelberg (2007). doi:10.1007/978-3-540-71209-1_16

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Linnaeus University, Växjö, Sweden

    Narges Khakpour

Authors
  1. Narges Khakpour
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Narges Khakpour .

Editor information

Editors and Affiliations

  1. Universidade de Lisboa, Lisbon, Portugal

    Antónia Lopes

  2. University of Kent, Canterbury, United Kingdom

    Rogério de Lemos

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Khakpour, N. (2017). Control of Self-adaptation Under Partial Observation: A Modular Approach. In: Lopes, A., de Lemos, R. (eds) Software Architecture. ECSA 2017. Lecture Notes in Computer Science(), vol 10475. Springer, Cham. https://doi.org/10.1007/978-3-319-65831-5_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-65831-5_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-65830-8

  • Online ISBN: 978-3-319-65831-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation