Logico-numerical Control for Software Components Reconfiguration

Berthier, Nicolas, Alvares, Frederico, Marchand, Herve, Delaval, Gwenael and Rutten, Eric (2017) Logico-numerical Control for Software Components Reconfiguration In: 2017 IEEE Conference on Control Technology and Applications (CCTA), 2017-8-27 - 2017-8-30, Kohala Coast, Hawaï.

Text paper.pdf - Author Accepted Manuscript Download (320kB)

Abstract

We target the problem of the safe control of reconfigurations in component-based software systems, where strategies of adaptation to variations in both their environment and internal resource demands need to be enforced. In this context, the computing system involves software components that are subject to control decisions. We approach this problem under the angle of Discrete Event Systems (DES), involving properties on events observed during the execution (e.g., requests of computing tasks, work overload), and a state space representing different configurations such as activity or assemblies of components. We consider in particular the potential of applying novel logico-numerical control techniques to extend the expressivity of control models and objectives, thereby extending the application of DES in component-based software systems. We elaborate methodological guidelines for the application of logico-numerical control based on a case-study, and validate the result experimentally.

Item Type:	Conference Item (Unspecified)
Uncontrolled Keywords:	46 Information and Computing Sciences, 4612 Software Engineering
Depositing User:	Symplectic Admin
Date Deposited:	03 Jul 2017 08:28
Last Modified:	22 May 2026 21:01
DOI:	10.1109/CCTA.2017.8062685
Related Websites:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3008271
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.