Adaptive predictive control for software systems

作者: Konstantinos Angelopoulos , Alessandro Vittorio Papadopoulos , John Mylopoulos

DOI: 10.1145/2804337.2804340

关键词: Reliability engineeringSoftware requirements specificationModel predictive controlAdaptation (computer science)Information engineeringEngineeringSystems engineeringSoftware systemSoftware requirementsSoftwareControl theory

摘要: Self-adaptive software systems are designed to support a number of alternative solutions for fulfilling their requirements. These define an adaptation space. During operation, self-adaptive system monitors its performance and when it finds that requirements not fulfilled, searches space select best adaptation. Two major problems need be addressed during the selection process: (a) Handling environmental uncertainty in determining impact adaptation; (b) maintain optimal equilibrium among conflicting This position paper investigates application Adaptive Model Predictive Control ideas from Theory design makes decisions by predicting future adaptations selects ones minimize cost requirement failures using quantitative information. The technical details our proposal illustrated through meeting-scheduler exemplar.

参考文章(23)
Roberto Sebastiani, Patrick Trentin, OptiMathSAT: A Tool for Optimization Modulo Theories Computer Aided Verification. pp. 447- 454 ,(2015) , 10.1007/978-3-319-21690-4_27
Vincent Verdult, Michel Verhaegen, Filtering and System Identification: A Least Squares Approach ,(2007)
Jan Marian Maciejowski, Predictive Control With Constraints ,(2001)
Federico Terraneo, Martina Maggio, Alberto Leva, Alessandro V. Papadopoulos, Control-Based Operating System Design ,(2013)
Gijs van der Veen, Jan-Willem van Wingerden, Marco Lovera, Marco Bergamasco, Michel Verhaegen, Closed-loop subspace identification methods: an overview IET Control Theory & Applications. ,vol. 7, pp. 1339- 1358 ,(2013) , 10.1049/IET-CTA.2012.0653
Marco Lovera, Tony Gustafsson, Michel Verhaegen, Recursive subspace identification of linear and non-linear Wiener state-space models Automatica. ,vol. 36, pp. 1639- 1650 ,(2000) , 10.1016/S0005-1098(00)00103-5
A.V. Papadopoulos, M. Maggio, S. Negro, A. Leva, General control-theoretical framework for online resource allocation in computing systems Iet Control Theory and Applications. ,vol. 6, pp. 1594- 1602 ,(2012) , 10.1049/IET-CTA.2011.0632
I. Houtzager, J.W. van Wingerden, M. Verhaegen, Fast-array Recursive Closed-loop Subspace Model Identification IFAC Proceedings Volumes. ,vol. 42, pp. 96- 101 ,(2009) , 10.3182/20090706-3-FR-2004.00015
Sasa Misailovic, Antonio Filieri, Amir M. Sharifloo, Evangelia Kalyvianaki, Pooyan Jamshidi, Nicolas D'Ippolito, Ilias Gerostathopoulos, Filip Krikava, Mateusz Ujma, Andreas Berndt Hempel, Thomas Vogel, Martina Maggio, Cristian Klein, Henry Hoffmann, Konstantinos Angelopoulos, Suprio Ray, Stepan Shevtsov, Alessandro Vittorio Papadopoulos, Software engineering meets control theory software engineering for adaptive and self managing systems. pp. 71- 82 ,(2015) , 10.5555/2821357.2821370