As a new direction in computer security, survivability evaluation provides us with a new way to conduct the research of the computer security. Traditional survivability formal model and analysis belong to expressions of the concept. If there is no future work to be developed, the model can not make quality and quantity analysis. This paper presents the modeling method of information system survivability evaluation based on stochastic Petri net which combine formal description of system working flow with survivability evaluation modeling, and respectively describes the SPN modeling method of service disabled, recovery, modules redundancy and survivability attributes. Experiments prove that the SPN modeling of survivability can provide theoretical basis and guide for designing a survivable information system.