Software Architecture Modeling and Reliability Evaluation Based on Petri Net

Software reliability is one of the most important quality indices in software quality evaluation, with the development of software engineering and component reusing, reliability analysis based on software architecture has become a researching hotspot. This paper makes a review on existed architecture-based reliability evaluation models at first, proposes existed architecture based reliability evaluation types and typical models, putting forward the shortage of these models as well. As petri net has a good ability of description for concurrency and asynchrony. This paper focuses on the research of petri net model, divides transitions into time transitions and instantaneous transitions, and adds time-related reliability-time-delay reliability and temporal reliability, by these means we establish the software architecture modeling. Then by the study of the relationship between component state and system reachable state, we set up the reachable state transition matrix and proceeded system reliability evaluation. At last, we use the method above into a avionics embedded software, accomplish the architecture modeling, reliability evaluation and error analysis, proving the effectiveness and accuracy of this method.