›› 2013,Vol. 28 ›› Issue (1): 165-187.doi: 10.1007/s11390-013-1321-9

所属专题: Software Systems

• Special Section on Selected Paper from NPC 2011 • 上一篇    下一篇


Qi-Liang Yang1,2 (杨启亮), Member, CCF, IEEE, Jian Lv1 (吕建), Fellow, CCF, Member, ACM, Xian-Ping Tao1 (陶先平), Member, CCF, IEEE, Xiao-Xing Ma1(马晓星), Member, CCF, IEEE Jian-Chun Xing2 (邢建春), Member, CCF, IEEE, and Wei Song1,3 (宋巍), Member, CCF, ACM, IEEE   

  • 收稿日期:2012-03-20 修回日期:2012-09-29 出版日期:2013-01-05 发布日期:2013-01-05
  • 基金资助:

    Supported by the National Natural Science Foundation of China under Grant Nos. 60736015, 61073031, 60973044, 61003019, and the National Basic Research 973 Program of China under Grant No. 2009CB320702.

Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty

Qi-Liang Yang1,2 (杨启亮), Member, CCF, IEEE, Jian Lv1 (吕建), Fellow, CCF, Member, ACM Xian-Ping Tao1 (陶先平), Member, CCF, IEEE, Xiao-Xing Ma1(马晓星), Member, CCF, IEEE Jian-Chun Xing2 (邢建春), Member, CCF, IEEE, and Wei Song1,3 (宋巍), Member, CCF, ACM, IEEE   

  1. 1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China;
    2. School of National Defense Engineering, PLA University of Science and Technology, Nanjing 210007, China;
    3. School of Computer Science and Technology, Nanjing University of Science and Technology, Nanjing 210094, China
  • Received:2012-03-20 Revised:2012-09-29 Online:2013-01-05 Published:2013-01-05
  • Supported by:

    Supported by the National Natural Science Foundation of China under Grant Nos. 60736015, 61073031, 60973044, 61003019, and the National Basic Research 973 Program of China under Grant No. 2009CB320702.


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.

[1] Fowler K, Mission-critical and safety-critical development.IEEE Instrumentation & Measurement, 2004, 7(4): 52-59.
[2] Caslelli V, Harper R E, Heidelberger P et al. Proactive managementof software aging. IBM Journal of Research andDevelopment, 2001, 45(2): 311-332.
[3] Cheng B H C, Lemos R D, Giese H et al. Software engineeringfor self-adaptive systems: a research roadmap. InSoftware Engineering for Self-Adaptive Systems, B H Chenget al. (eds.), Springer-Verlag, 2009, pp.1-26.
[4] Kramer J, Magee J. Self-managed systems: An architecturalchallenge. In Proc. the 2007 International Conference onSoftware Engineering, May 2007, pp.259-268.
[5] Li D Y, Liu C Y, Du Y, Han X. Artificial intelligence withuncertainty. Journal of Software, 2004, 15(11): 1583-1594.(In Chinese)
[6] Zadeh L A. Fuzzy sets. Information and Control, 1965, 8(3):338-353.
[7] Zadeh L A. Fuzzy logic. IEEE Computer, 1988, 21(4): 83-93.
[8] Zadeh L A. Fuzzy sets as a basis for a theory of possibility.Fuzzy Sets and Systems, 1999, 100(Supplement 1): 9-34.
[9] Cai K Y, Cangussu J W, DeCarlo R A, Mathur A P, Anoverview of software cybernetics. In Proc. the 11th AnnualInternational Workshop on Software Technology and EngineeringPractice, Sept. 2003, pp.77-86.
[10] Kokar M M, Baclawski K, Eracar Y A. Control theory-basedfoundations of self-controlling software. IEEE Intelligent Systems,1999, 14(3): 37-45.
[11] Shen J, Wang Q, Mei H. Self-adaptive software: Cyberneticperspective and an application server supported framework.In Proc. the 28th Annual International Computer Softwareand Applications Conference, Sept. 2004, pp.92-95.
[12] Diao Y, Hellerstein J L, Parekh S et al. A Control theory foundationfor self-managing computing systems. IEEE Journalon Selected Areas in Communications, 2005, 23(12): 2213-2222.
[13] Peng X, Chen B, Yu Y, Zhao W. Self-tuning of software systemsthrough goal-based feedback loop control. In Proc. the18th International Conference on Requirements Engineering,Sept. 27-Oct. 1, 2010, pp.104-107.
[14] Phoha V V, Nadgar A U, Ray A, Phoha S. Supervisory controlof software systems. IEEE Transactions on Computers,2004, 53(9): 1187-1199.
[15] Kephart J O, Chess D M. The vision of autonomic computing.IEEE Computer, 2003, 36(1): 41-50.
[16] Wang L X. A Course in Fuzzy Systems and Control. PrenticeHall, 1996.
[17] Passino K M, Yurkovich S. Fuzzy Control. Addison-WesleyLongman, 1997.
[18] Lakin L I. A fuzzy controller for aircraft control systems. InIndustrial Applications of Fuzzy Control, Sugeno M (eds.),Northholland, Amsterdam, 1985, pp.87-104.
[19] Liu B, Tang W. Modern Control Theory (3rd edition). Beijing:China Machine Press, 2006. (In Chinese)
[20] Yang Q, Xing J, Wang P. Design and implementation of theOPC server oriented to one LonWorks network. ComputerEngineering, 2007, 33(2): 228-230. (In Chinese)
[21] Liu J, Lim K W, Ho W et al. Using the OPC standard forreal-time process monitoring and control. IEEE Software,2005, 22(6): 54-59.
[22] Salehie M, Tahvildari L. Self-adaptive software: Landscapeand research challenges. ACM Transactions on Autonomousand Adaptive Systems, 2009, 4(2): Article No.4.
[23] Cheng S W. Rainbow: Cost-effective software architecturebasedself-adaptation [Ph.D. Thesis]. Carnegie Mellon University,USA, 2008.
[24] IBM. An architectural blueprint for autonomic computing(4th Edition). Technical Report. June 2006.
[25] Oreizy P, Gorlick M M, Taylor R N et al. An architecturebasedapproach to self-adaptive software. IEEE IntelligentSystems, 1999, 14(3): 54-62.
[26] Floch J, Hallsteinsen S, Stav E et al. Using architecture modelsfor runtime adaptability. IEEE Software, 2006, 23(2): 62-70.
[27] Yang Q L, Lv J, Li J L, Ma X X et al. Towards a fuzzycontrol-based approach to design of self-adaptive software. InProc. the 2nd Asia-Pacific Symposium on Internetware, Nov.2010, Article No.15.
[28] Yang Q L, L? J, Xing J C et al. Fuzzy control-based softwareself-adaptation: A case study in mission critical systems. InProc. the 35th Annual IEEE Conference on Computer Softwareand Applications, July 2011, pp.13-18.
[29] Subramanian N. Adaptable software architecture generationusing the NFR approach [Ph.D. Thesis]. University of Texasat Dallas, USA, May 2003.
[30] Garlan D, Cheng S W, Huang A C et al. Rainbow:Architecture-based self-adaptation with reusable infrastructure.IEEE Computer, 2004, 37(10): 46-54.
[31] Manoel E, Nielsen M J, Salahshour A et al. Problem determinationusing self-Managing autonomic technology. IBMredbooks, June 2005.
[32] Wu Y, Wu Y, Peng X et al. Implementing self-adaptive softwarearchitecture by reflective component model and dynamicAOP: A case study. In Proc. the 10th International Conferenceon Quality Software, July 2010, pp.288-293.
[33] Yang Z, Cheng B H C, Stirewalt R E K et al. An aspectorientedapproach to dynamic adaptation. In Proc. the 1stWorkshop of Self-Healing Software, Nov. 2002, pp.85-90.
[34] Janik A, Zielinski K. Adaptability mechanisms for autonomicsystem implementation with AAOP. Software Practice andExperience, 2010, 40(3): 209-223.
[35] Kiczales G, Lamping J, Mendhekar A, Maeda C et al. Aspectorientedprogramming. In Proc. the 11th ECOOP, June 1997,pp.220-242.
[36] Ang K H, Chong G, Li Y. PID control system analysis, design,and technology. IEEE Transactions on Control SystemsTechnology, 2005, 13(4): 559-576.
[37] McNeill F M, Thro E. Fuzzy Logic: A Practical Approach,Morgan Kaufmann Pub, 1994.
[38] Litoiu M, Woodside M, Zheng T. Hierarchical model-basedautonomic control of software systems. In Proc. Workshopon Design and Evolution of Autonomic Applications Software,May 2005, pp.1-7.
[39] Tziallas G, Theodoulidis B. A controller synthesis algorithmfor building self-adaptive software. Information and SoftwareTechnology, 2004, 46(11): 719-727.
[40] Karsai G, Ledeczi A, Sztipanovits J et al. An approach toself-adaptive software based on supervisory control. In Proc.the 2nd International Workshop on Self-Adaptive Software,May 2001, pp.24-38.
[41] Zhang R, Lu C, Abdelazher T F et al. ControlWare: A middlewarearchitecture for feedback control of software performance.In Proc. the 22nd International Conference on DistributedComputing Systems, July 2002, pp.301-310.
[42] Wang Q X. Towards a rule model for self-adaptive software.ACM SIGSOFT Software Engineering Notes, 2005, 30(1): 1-5.
[43] Cheng S W, Garlan D. Handling uncertainty in autonomicSystems. In Proc. 2007 International Workshop on Livingwith Uncertainties, November 2007.
[44] Cheng B H, Sawyer P, Bencomo N. A goal-based modelingapproach to develop requirements of an adaptive system withenvironmental uncertainty. In Proc. the 12th InternationalConference on Model Driven Engineering Languages and Systems,Oct. 2009, pp.468-483.
[45] Gmach D, Krompass S, Scholz A et al. Adaptive quality ofservice management for enterprise services. ACM Transactionson the Web, 2008, 2(1): Article No.8.
[46] Esfahani N, Kouroshfar E, Malek S. Taming uncertainty inself-adaptive software. In Proc. the 19th ACM SIGSOFTInternal Symposium on the Foundations of Software Engineering,Sept. 2011, pp.234-244.
[47] Chan H, Chieu T C. An approach to monitor applicationstates for self-managing (autonomic) system. In Proc. the18th ACM Sigplan Conference on Object-Oriented Programming,Systems, Languages, and Applications. Oct. 2003,pp.312-313.
No related articles found!
Full text



[1] Andrew I. Adamatzky;. Identification of Nonstationary Cellular Automata[J]. , 1992, 7(4): 379 -382 .
[2] 许建国; 魏文欣;. GUIDS: A Graphical User Interface Development System in UniECAD[J]. , 1994, 9(4): 342 -348 .
[3] 陈意云;. Head Boundedness of Nonterminating Rewritings[J]. , 1995, 10(3): 281 -284 .
[4] 徐殿祥; 郑国梁;. Towards a Declarative Semantics of Inheritance with Exceptions[J]. , 1996, 11(1): 61 -71 .
[5] 鞠九滨; 王勇; 尹玉;. Scheduling PVM Tasks[J]. , 1997, 12(2): 167 -176 .
[6] 管伟光; 解林; 马颂德;. Deformable Registration of Digital Images[J]. , 1998, 13(3): 246 -260 .
[7] David de Frutos-Escrig; Luis Liana-Diaz; Manuel Nunez;. An invitation to Friendly Testing[J]. , 1998, 13(6): 531 -545 .
[8] 李廉; 王继民;. Fast Theorem-Proving and Wu s Method[J]. , 1999, 14(5): 481 -486 .
[9] 彭伟; 卢锡城;. An Approach to Support IP Multicasting in Networks with Mobile Hosts[J]. , 1999, 14(6): 529 -538 .
[10] 张尧学; 王晓春; 顾钧;. An End-to-End QoS Control Model for Enhanced Internet[J]. , 2000, 15(6): 497 -508 .
版权所有 © 《计算机科学技术学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn