Evaluation And Prediction Of Software Architecture Reliability

In recent years, reliability is becoming a more and more importantconcern for software architectures. There exist many reliability models topredict the software reliability at architecture level, but few of them givethe formal description of the software architecture. Although many for-mal approaches have been proposed to specify the software architecture,unfortunately, few of them pay attention to the important non-functionalcharacteristic, namely reliability here. In this paper, we try to bridge thegap between software reliability model and software architecture descrip-tion. Our work expands such idea in four directions. Firstly, we proposea reliable graph grammar by extending edge in graph with reliable param-eters. Then we describe the architecture structure by using our reliablegraph grammar. Since the reliable graph grammar has been associatedwith the reliable elements, after we determine the parameters in the reli-ablegraphgrammarbasedarchitecture,wecanpredictthereliabilityofthearchitecturethroughstatebasedreliabilitymodelandpathbasedreliabilitymodel. Then we will analysis the sensitivity of the path based reliabilitymodel in two ways: component sensitivity and path sensitivity. At last, acase study about the reliable evolution of software architecture is given onthe AGG platform.