Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty |
| |
Authors: | Qi-Liang Yang Jian Lv Xian-Ping Tao Xiao-Xing Ma Jian-Chun Xing Wei Song |
| |
Affiliation: | 1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China;School of National Defense Engineering, PLA University of Science and Technology, Nanjing 210007, China 2. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China 3. School of National Defense Engineering, PLA University of Science and Technology, Nanjing 210007, China 4. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China;School of Computer Science and Technology, Nanjing University of Science and Technology, Nanjing 210094, China |
| |
Abstract: | Mission-critical software (MCS) must provide continuous, online services to ensure the successful accomplishment of critical missions. Self-adaptation is particularly desirable for assuring the quality of service (QoS) and availability of MCS under uncertainty. Few techniques have insofar addressed the issue of MCS self-adaptation, and most existing approaches to software self-adaptation fail to take into account uncertainty in the self-adaptation loop. To tackle this problem, we propose a fuzzy control based approach, i.e., Software Fuzzy Self-Adaptation (SFSA), with a view to deal with the challenge of MCS self-adaptation under uncertainty. First, we present the SFSA conceptual framework, consisting of sensing, deciding and acting stages, and establish the formal model of SFSA to lay a rigorous and mathematical foundation of our approach. Second, we develop a novel SFSA implementation technology as well as its supporting tool, i.e., the SFSA toolkit, to automate the realization process of SFSA. Finally, we demonstrate the effectiveness of our approach through the development of an adaptive MCS application in process control systems. Validation experiments show that the fuzzy control based approach proposed in this work is effective and with low overheads. |
| |
Keywords: | mission-critical software software self-adaptation fuzzy self-adaptation fuzzy control self-adaptation logic weaving |
本文献已被 CNKI 万方数据 SpringerLink 等数据库收录! |
|