Modeling and Analysis for Self-healing Based Software System
Liu Feng-yu · Acta Simulata Systematica Sinica · 2005
Complex software systems require themselves to self-manage at runtime in order to improve systems’ availability. Although there exist research papers for modeling self-healing based systems, little has been focused on the formalized analysis of this kind of systems. Software architecture modeling was argued based on self-healing systems. After giving architectural style requirements, style characteristics, the self-healing mechanisms of the software architecture framework was designed according to the analysis of the requirements and the characteristics given before. Based on this model, a case study (command and control system) was analyzed by applying a formal systematic software architecture specification and analysis methodology (SAM). Conclusion shows this new model can satisfy the system’s time constraint requirements and improve the system’s availability.