Availability Analysis of Software System Supporting Exception Handle

This paper presents a new availability analysis method of software system supporting exception handle (SSSEH) based on stochastic petri net (SPN).Based on constructing the primary structure SPN model supporting exception handle and the typical structure SPN model supporting exception handle,it gives the availability solving method of SSSEH. Finally, the SPN model of one component purchasing system of automobile factory is constructed,and its availability analysis is given.The work of this paper can provide theoretical basis for analysis, design and evaluation of SSSEH.