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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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
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)
Biyani, K.N., Kulkarni, S.S.: Assurance of dynamic adaptation in distributed systems. J. Parallel Distrib. Comput. 68(8), 1097–1112 (2008)
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)
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
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
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)
Gierds, C., Mooij, A.J., Wolf, K.: Reducing adapter synthesis to controller synthesis. IEEE Trans. Serv. Comput. 5(1), 72–85 (2012)
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)
Khakpour, N.: Control of self-adaptation under partial observation: A modular approach. Technical report, Linnaeus University (2017)
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)
Khakpour, N., Arbab, F., Rutten, É.: Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Asp. Comput. 28(1), 21–43 (2016)
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
Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206–230 (1987)
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)