Self-healing based software architecture modeling and analysis through a case study

An increasingly important requirement for software systems is the capability to adapt at runtime in varying resources, system errors, and changing requirements. Although there exist research papers for modeling self-healing based software systems, little has been focused on the formalized analysis of this kind of systems. This paper mainly argues for software architecture based on self-healing software systems. After given architectural style requirements, style characteristics, the self-healing mechanisms of the software architecture framework is designed according to the analysis of the requirements and the characteristics given before. Based on this model, a case study (command and control system) is 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.