With the increasing size and complexity of embedded software, construction ofembedded software reliability model is more difficult, which cannot reflect thedependencies between components. The issues of constructing software reliabilitymodel as soon as possible, reducing the complexity of modeling and making the modelreflect the relationship of fault propagation between components in system areimportant. AADL (Arichitecture Analysis&Design Language) is an architecturemodeling language that aims at embeded software. Its conceptual framework provides away to solve these problems.In this paper, the software reliability theory and AADL is analyzed and resarcheddeeply and a method of reliability modeling embedded software is proposed. Firstly,based on the AADL architecture model, fault propagation path is determined throughAADL flow information to describe the impact of the failure of component on othercomponents and the failure of system is determined through the component that is thesink of flow to describe different impacts of each component on system. In addition, thepaper uses AADL error model mechanism to describe reliability model, which cansupport formal description. On this basis, through the transformation of AADLreliabiltiy model to generalized stochastic Petri-Net reliability model, the automatedquantitative evaluation of software reliablity is available. Finally, the paper presents acase of reliability evaluation and analysis by the AADL reliability evaluation systemproposed, which verifies the feasibility of the method. |