Active Monitoring Mechanism for Control-Based Self-Adaptive Systems
Authors: 
Yi Qin, Yanxiang Tong, Yifei Xu, Chun Cao, 
Xiaoxing MaAuthors Info & Claims
Yi Qin, Yanxiang Tong, Yifei Xu, Chun Cao, Xiaoxing MaAuthors Info & ClaimsArticle No.: 82, Pages 1841 - 1864
Abstract
Control-based self-adaptive systems (control-SAS) are susceptible to deviations from their pre-identified nominal models. If this model deviation exceeds a threshold, the optimal performance and theoretical guarantees of the control-SAS can be compromised. Existing approaches detect these deviations by locating the mismatch between the control signal of the managing system and the response output of the managed system. However, vague observations may mask a potential mismatch where the explicit system behavior does not reflect the implicit variation of the nominal model. In this paper, we propose the Active Monitoring Mechanism (AMM for short) as a solution to this issue. The basic intuition of AMM is to stimulate the control-SAS with an active control signal when vague observations might mask model deviations. To determine the appropriate time for triggering the active signals, AMM proposes a stochastic framework to quantify the relationship between the implicit variation of a control-SAS and its explicit observation. Based on this framework, AMM’s monitor and remediator enhance model deviation detection by generating active control signals of well-designed timing and intensity. Results from empirical evaluations on three representative systems demonstrate AMM’s effectiveness (33.0% shorter detection delay, 18.3% lower FN rate, 16.7% lower FP rate) and usefulness (19.3% lower abnormal rates and 88.2% higher utility).
References
[1]
Ryan Prescott Adams and David JC MacKay. 2007. Bayesian online changepoint detection. arXiv preprint arXiv:0710.3742, https://doi.org/10.48550/arXiv.0710.3742
[2]
Nadia Alshahwan and Mark Harman. 2011. Automated web application testing using search based software engineering. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering. 3–12. https://doi.org/10.1109/ASE.2011.6100082
[3]
Konstantinos Angelopoulos, Alessandro Papadopoulos, Vítor Silva Souza, and John Mylopoulos. 2016. Model predictive control for software systems with CobRA. In Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 35–46. https://doi.org/10.1145/2897053.2897054
[4]
Konstantinos Angelopoulos, Alessandro Papadopoulos, Vítor Silva Souza, and John Mylopoulos. 2018. Engineering self-adaptive software systems: From requirements to model predictive control. ACM Transactions on Autonomous and Adaptive Systems, 13, 1 (2018), 1–27. https://doi.org/10.1145/3105748
[5]
Martin Arlitt and Tai Jin. 2000. A workload characterization study of the 1998 world cup web site. IEEE Network, 14, 3 (2000), 30–37. https://doi.org/10.1109/65.844498
[6]
Martin Arlitt and Carey Williamson. 1996. Web server workload characterization: The search for invariants. ACM SIGMETRICS Performance Evaluation Review, 24, 1 (1996), 126–137. https://doi.org/10.1145/233008.233034
[7]
Gabriel E Arrobo and Richard D Gitlin. 2011. Improving the reliability of wireless body area networks. In 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society. 2192–2195. https://doi.org/10.1109/IEMBS.2011.6090413
[8]
Kaung Myat Aung. 2015. Secure water treatment testbed (SWaT): an overview. Singapore University of Technology and Design.
[9]
Abhijit Badwe, Ravindra Gudi, Rohit Patwardhan, Sirish Shah, and Sachin Patwardhan. 2009. Detection of model-plant mismatch in MPC applications. Journal of Process Control, 19, 8 (2009), 1305–1313. https://doi.org/10.1016/j.jprocont.2009.04.007
[10]
Taposh Banerjee, Miao Liu, and Jonathan P How. 2017. Quickest change detection approach to optimal control in markov decision processes with model changes. In 2017 American control conference (ACC). 399–405. https://doi.org/10.23919/ACC.2017.7962986
[11]
Stephen P Banks. 2002. Three-dimensional stratifications, knots and bifurcations of two-dimensional dynamical systems. International Journal of Bifurcation and Chaos, 12, 01 (2002), 1–21. https://doi.org/10.1142/S0218127402004152
[12]
Stephen P Banks and Song Yi. 2006. Elliptic and automorphic dynamical systems on surfaces. International Journal of Bifurcation and Chaos, 16, 04 (2006), 911–923. https://doi.org/10.1142/S0218127406015209
[13]
Saeid Barati, Ferenc Bartha, Swarnendu Biswas, Robert Cartwright, Adam Duracz, Donald Fussell, and et al. 2019. Proteus: Language and runtime support for self-adaptive software development. IEEE Software, 36, 2 (2019), 73–82. https://doi.org/10.1109/MS.2018.2884864
[14]
Luciano Baresi, Sam Guinea, Alberto Leva, and Giovanni Quattrocchi. 2016. A discrete-time feedback controller for containerized cloud applications. In Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 217–228. https://doi.org/10.1145/2950290.2950328
[15]
Michele Basseville and Igor Nikiforov. 1993. Detection of abrupt changes: theory and application. 104, https://doi.org/10.1016/0005-1098(96)82332-6
[16]
Javier Cámara and Rogério De Lemos. 2012. Evaluation of resilience in self-adaptive systems using probabilistic model-checking. In 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 53–62. https://doi.org/10.1109/SEAMS.2012.6224391
[17]
Javier Cámara, Gabriel A Moreno, and David Garlan. 2014. Stochastic game analysis and latency awareness for proactive self-adaptation. In Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 155–164. https://doi.org/10.1145/2593929.2593933
[18]
Matteo Camilli, Carlo Bellettini, Angelo Gargantini, and Patrizia Scandurra. 2018. Online model-based testing under uncertainty. In 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE). 36–46. https://doi.org/10.1109/ISSRE.2018.00015
[19]
Matteo Camilli, Angelo Gargantini, and Patrizia Scandurra. 2020. Model-based hypothesis testing of uncertain software systems. Software Testing, Verification and Reliability, 30, 2 (2020), e1730. https://doi.org/10.1002/stvr.1730
[20]
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, and Catia Trubiani. 2021. Uncertainty-aware exploration in model-based testing. In 14th IEEE Conference on Software Testing, Verification and Validation. 71–81. https://doi.org/10.1109/ICST49551.2021.00019
[21]
Hao Chen. 2019. Sequential change-point detection based on nearest neighbors. The Annals of Statistics, 47, 3 (2019), 1381–1407. https://doi.org/10.1214/18-AOS1718
[22]
Yuqi Chen, Christopher Poskitt, and Jun Sun. 2018. Learning from mutants: Using code mutation to learn and monitor invariants of a cyber-physical system. In Proceedings of the 39th IEEE Symposium on Security and Privacy. 648–660. https://doi.org/10.1109/SP.2018.00016
[23]
Martial Coulon, Marie Chabert, and Ananthram Swami. 2008. Detection of multiple changes in fractional integrated ARMA processes. IEEE Transactions on Signal Processing, 57, 1 (2008), 48–61. https://doi.org/10.1109/TSP.2008.2007313
[24]
Mário de Castro and Ignacio Vidal. 2019. Bayesian inference in measurement error models from objective priors for the bivariate normal distribution. Statistical Papers, 60, 4 (2019), 1059–1078. https://doi.org/10.1007/s00362-016-0863-7
[25]
Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings 14. 337–340. https://doi.org/10.1007/978-3-540-78800-3_24
[26]
Jens Ehlers, André van Hoorn, Jan Waller, and Wilhelm Hasselbring. 2011. Self-adaptive software system monitoring for performance anomaly localization. In Proceedings of the 8th ACM International Conference on Autonomic Computing. 197–200. https://doi.org/10.1145/1998582.1998628
[27]
Naeem Esfahani, Ehsan Kouroshfar, and Sam Malek. 2011. Taming uncertainty in self-adaptive software. In Proceedings of the 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering and 13th European Software Engineering Conference. 234–244. https://doi.org/10.1145/2025113.2025147
[28]
Oreste Fecarotta, Riccardo Martino, and Cristina Morani. 2019. Wastewater pump control under mechanical wear. Water, 11, 6 (2019), 1210. https://doi.org/10.3390/w11061210
[29]
Antonio Filieri, Henry Hoffmann, and Martina Maggio. 2014. Automated design of self-adaptive software with control-theoretical formal guarantees. In Proceedings of the 36th International Conference on Software Engineering. 299–310. https://doi.org/10.1145/2568225.2568272
[30]
Antonio Filieri, Henry Hoffmann, and Martina Maggio. 2015. Automated multi-objective control for self-adaptive software design. In Proceedings of the 10th Joint Meeting on Foundations of Software Engineering. 13–24. https://doi.org/10.1145/2786805.2786833
[31]
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas d’Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, and Cristian Klein. 2015. Software engineering meets control theory. In 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 71–82. https://doi.org/10.1109/SEAMS.2015.12
[32]
John Franks. 1985. Nonsingular Smale flows on S3. Topology, 24, 3 (1985), 265–282. https://doi.org/10.1016/0040-9383(85)90002-3
[33]
David Garlan, S-W Cheng, A-C Huang, Bradley Schmerl, and Peter Steenkiste. 2004. Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer, 37, 10 (2004), 46–54. https://doi.org/10.1109/MC.2004.175
[34]
Eric Bernd Gil, Ricardo Caldas, Arthur Rodrigues, and et al. 2021. Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain. In 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 224–230. https://doi.org/10.1109/SEAMS51251.2021.00037
[35]
Jorn Gruber, Daniel Ramirez, Teodoro Alamo, and Eduardo Camacho. 2011. Min–Max MPC based on an upper bound of the worst case cost with guaranteed stability. Journal of Process Control, 21, 1 (2011), 194–204. https://doi.org/10.1016/j.jprocont.2010.11.016
[36]
Fredrik Gustafsson and Fredrik Gustafsson. 2000. Adaptive filtering and change detection. 1, Citeseer. https://doi.org/10.1002/0470841613.ch5
[37]
Edward J Hannan and Barry G Quinn. 1979. The determination of the order of an autoregression. Journal of the Royal Statistical Society: Series B (Methodological), 41, 2 (1979), 190–195. https://doi.org/10.1111/j.2517-6161.1979.tb01072.x
[38]
Farshad Harirchi, Zheng Luo, and Necmiye Ozay. 2016. Model (in) validation and fault detection for systems with polynomial state-space models. In 2016 American Control Conference (ACC). 1017–1023. https://doi.org/10.1109/ACC.2016.7525048
[39]
Farshad Harirchi and Necmiye Ozay. 2018. Guaranteed model-based fault detection in cyber–physical systems: A model invalidation approach. Automatica, 93 (2018), 476–488. https://doi.org/10.1016/j.automatica.2018.03.040
[40]
Michiel Hazewinkel and Jan C Willems. [n. d.]. Stochastic Systems: The Mathematics of Filtering and Identification and Applications. https://doi.org/10.1007/978-94-009-8546-9
[41]
Zhijian He, Yao, Enyan Huang, Qixin Wang, Yu Pei, and Haidong Yuan. 2019. A system identification based oracle for control-cps software fault localization. In Proceedings of the 41st International Conference on Software Engineering. 116–127. https://doi.org/10.1109/ICSE.2019.00029
[42]
Joseph Hellerstein, Yixin Diao, Sujay Parekh, and Dawn Tilbury. 2004. Feedback control of computing systems. Wiley Online Library. https://doi.org/10.1002/047166880X
[43]
Rolf Isermann. 1990. Estimation of physical parameters for dynamic processes with application to an industrial robot. In 1990 American control conference. 1396–1401. https://doi.org/10.23919/ACC.1990.4790968
[44]
Rolf Isermann. 2013. Digital control systems. Springer Science & Business Media.
[45]
Michael Johnson and Mohammad Moradi. 2005. PID control. Springer. https://doi.org/10.1007/1-84628-148-2_1
[46]
Jürgen Jost. 2005. Dynamical systems: examples of complex behaviour. Springer Science & Business Media. https://doi.org/10.5860/choice.43-3436
[47]
Cristian Klein, Martina Maggio, Karl-Erik Årzén, and Francisco Hernández-Rodriguez. 2014. Brownout: Building more robust cloud applications. In Proceedings of the 36th International Conference on Software Engineering. 700–711. https://doi.org/10.1145/2568225.2568227
[48]
YD Landau. 1981. Deterministic and Stochastic Model Reference Adaptive Control: A unified presentation of model reference adaptive controllers and stochastic self-tuning regulators. In Stochastic Systems: The Mathematics of Filtering and Identification and Applications: Proceedings of the NATO Advanced Study Institute held at Les Arcs, Savoie, France, June 22–July 5, 1980. 387–419. https://doi.org/10.1007/978-94-009-8546-9_20
[49]
Dan Ling, Ying Zheng, Hong Zhang, Weidong Yang, and Bo Tao. 2017. Detection of model-plant mismatch in closed-loop control system. Journal of Process Control, 57 (2017), 66–79. https://doi.org/10.1016/j.jprocont.2017.06.008
[50]
Tao Ma, Shaukat Ali, Tao Yue, and Maged Elaasar. 2019. Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach. Software Quality Journal, 27 (2019), 615–649. https://doi.org/10.1007/s11219-018-9437-3
[51]
Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, and Henry Hoffmann. 2017. Automated control of multiple software goals using multiple actuators. In Proceedings of the 11th Joint Meeting on Foundations of Software Engineering. 373–384. https://doi.org/10.1145/3106237.3106247
[52]
Claudio Mandrioli and Martina Maggio. 2020. Testing self-adaptive software with probabilistic guarantees on performance metrics. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1002–1014. https://doi.org/10.1145/3368089.3409685
[53]
Douglas Montgomery. 2020. Introduction to statistical quality control. John Wiley & Sons.
[54]
Gabriel A Moreno, Javier Cámara, David Garlan, and Bradley Schmerl. 2015. Proactive self-adaptation under uncertainty: a probabilistic model checking approach. In Proceedings of the 10th Joint Meeting on Foundations of Software Engineering. 1–12. https://doi.org/10.1145/2786805.2786853
[55]
Gabriel A Moreno, Alessandro Vittorio Papadopoulos, Konstantinos Angelopoulos, Javier Cámara, and Bradley Schmerl. 2017. Comparing model-based predictive approaches to self-adaptation: CobRA and PLA. In 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 42–53. https://doi.org/10.1109/SEAMS.2017.2
[56]
Nhan T Nguyen and Nhan T Nguyen. 2018. Model-reference adaptive control. Springer. https://doi.org/10.1007/978-3-319-56393-0_5
[57]
Fabrizio Pastore and Leonardo Mariani. 2015. ZoomIn: Discovering failures by detecting wrong assertions. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 1, 66–76. https://doi.org/10.1109/ICSE.2015.29
[58]
Friedrich Pukelsheim. 1994. The three sigma rule. The American Statistician, 48, 2 (1994), 88–91. https://doi.org/10.1080/00031305.1994.10476030
[59]
Yi Qin, Yanxiang Tong, Yifei Xu, Chun Cao, and Xiaoxing Ma. 2024. Active Monitoring Mechanism for Control-Based Self-Adaptive Systems. In FSE24. https://doi.org/10.5281/zenodo.11079042
[60]
Yi Qin, Tao Xie, Chang Xu, Angello Astorga, and Jian Lu. 2019. CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. IEEE Transactions on Reliability, 69, 1 (2019), 106–123. https://doi.org/10.1109/TR.2019.2933324
[61]
Sayan Basu Roy, Shubhendu Bhasin, and Indra Narayan Kar. 2017. Combined MRAC for unknown MIMO LTI systems with parameter convergence. IEEE Trans. Automat. Control, 63, 1 (2017), 283–290. https://doi.org/10.1109/TAC.2017.2725955
[62]
Farhana Sadia, Sarah Boyd, and Jonathan M Keith. 2018. Bayesian change-point modeling with segmented ARMA model. Plos one, 13, 12 (2018), e0208927. https://doi.org/10.1371/journal.pone.0208927
[63]
Mazeiar Salehie and Ladan Tahvildari. 2012. Towards a goal-driven approach to action selection in self-adaptive software. Software: Practice and Experience, 42, 2 (2012), 211–233. https://doi.org/10.1002/spe.1066
[64]
Amritash Shekhar and Abhijeet Sharma. 2018. Review of model reference adaptive control. In 2018 international conference on information, communication, engineering and technology (ICICET). 1–5. https://doi.org/10.1109/ICICET.2018.8533713
[65]
Stepan Shevtsov, Mihaly Berekmeri, Danny Weyns, and Martina Maggio. 2017. Control-theoretical software adaptation: A systematic literature review. IEEE Transactions on Software Engineering, 44, 8 (2017), 784–810. https://doi.org/10.1109/TSE.2017.2704579
[66]
Stepan Shevtsov, M Usman Iftikhar, and Danny Weyns. 2015. SimCA vs ActivFORMS: comparing control-and architecture-based adaptation on the TAS exemplar. In Proceedings of the 1st international workshop on control theory for software engineering. 1–8. https://doi.org/10.1145/2804337.2804338
[67]
Stepan Shevtsov and Danny Weyns. 2016. Keep it simplex: Satisfying multiple goals with guarantees in control-based self-adaptive systems. In Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 229–241. https://doi.org/10.1145/2950290.2950301
[68]
Stepan Shevtsov, Danny Weyns, and Martina Maggio. 2019. SimCA*: A Control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees. ACM Transactions on Autonomous and Adaptive Systems, 13, 4 (2019), 1–34. https://doi.org/10.1145/3328730
[69]
Hui Song, Amit Raj, Saeed Hajebi, Aidan Clarke, and Siobhán Clarke. 2013. Model-based cross-layer monitoring and adaptation of multilayer systems. Science China Information Sciences, 56, 8 (2013), 1–15. https://doi.org/10.1007/s11432-013-4915-5
[70]
Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, and Xiaoxing Ma. 2021. Timely and accurate detection of model deviation in self-adaptive software-intensive systems. In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 168–180. https://doi.org/10.1145/3468264.3468548
[71]
Guojun Wang and Siva Sivaganesan. 2013. Objective priors for parameters in a normal linear regression with measurement error. Communications in Statistics-Theory and Methods, 42, 15 (2013), 2694–2713. https://doi.org/10.1080/03610926.2011.608476
[72]
Qiang Wang, Xinlei Zheng, Jiyong Zhang, and Joseph Sifakis. 2022. A hybrid controller for safe and efficient longitudinal collision avoidance control. Journal of Systems Architecture, 125 (2022), 102432. https://doi.org/10.1016/j.sysarc.2022.102432
[73]
Shu Wang, Henry Hoffmann, and Shan Lu. 2022. AgileCtrl: a self-adaptive framework for configuration tuning. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 459–471. https://doi.org/10.1145/3540250.3549136
[74]
Danny Weyns and Radu Calinescu. 2015. Tele assistance: A self-adaptive service-based system exemplar. In 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 88–92. https://doi.org/10.1109/SEAMS.2015.27
[75]
Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu. 2014. Verifying self-adaptive applications suffering uncertainty. In Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. 199–210. https://doi.org/10.1145/2642937.2642999
[76]
Dan Zhang and Bin Wei. 2017. A review on model reference adaptive control of robotic manipulators. Annual Reviews in Control, 43 (2017), 188–198. https://doi.org/10.1016/j.arcontrol.2017.02.002
[77]
Wanrong Zhang and Yajun Mei. 2022. Bandit change-point detection for real-time monitoring high-dimensional data under sampling control. Technometrics, 1–11. https://doi.org/10.1080/00401706.2022.2054861
[78]
Xiaoyun Zhu, Mustafa Uysal, Zhikui Wang, Sharad Singhal, Arif Merchant, Pradeep Padala, and et al. 2009. What does control theory bring to systems research? ACM SIGOPS Operating Systems Review, 43, 1 (2009), 62–69. https://doi.org/10.1145/1496909.1496922
Index Terms
- Active Monitoring Mechanism for Control-Based Self-Adaptive Systems
Recommendations
Timely and accurate detection of model deviation in self-adaptive software-intensive systems
ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringControl-based approaches to self-adaptive software-intensive systems (SASs) are hailed for their optimal performance and theoretical guarantees on the reliability of adaptation behavior. However, in practice the guarantees are often threatened by model ...
Towards Adaptive Monitoring Services for Self-Adaptive Software Systems
Service-Oriented Computing – ICSOC 2017 WorkshopsAbstractIn order to deal with the great diversity of execution contexts, modern software systems rely on feedback control loops and external monitoring services for observing them and their environment, and respond to context changes through adaptation. ...
Self-adaptive cloud monitoring with online anomaly detection
Monitoring is the key to guarantee the reliability of cloud computing systems. By analyzing monitoring data, administrators can understand systems statuses to detect, diagnose and solve problems. However, due to the enormous scale and complex structure ...
Comments
Information & Contributors
Information
Published In
July 2024
2770 pages
Copyright © 2024 Copyright held by the owner/author(s).
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the owner/author(s).
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 12 July 2024
Published in PACMSE Volume 1, Issue FSE
Badges
Author Tags
Qualifiers
- Research-article
Funding Sources
- Natural Science Foundation of China
- The Leading-edge Technology Program of Jiangsu Natural Science Foundation
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 182Total Downloads
- Downloads (Last 12 months)182
- Downloads (Last 6 weeks)53
Reflects downloads up to 01 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in