J4 ›› 2011, Vol. 46 ›› Issue (9): 89-94.

• Articles • Previous Articles     Next Articles

Study on formal modeling method for survivability of mission-critical systems

WANG Jian1,2, GUO Li-li1, LI Yang2   

  1. 1. College of Information and Communication Engineering, Harbin Engineering University,
    Harbin 150001, Heilongjiang, China; 2. School of Computer Science and Technology,
    Harbin University of Science and Technology, Harbin 150080, Heilongjiang, China
  • Received:2011-05-19 Online:2011-09-20 Published:2011-09-08


 By analyzing the essential characters affecting survivability, service request and server, intruder and server are described as different components. Namely survivability model which accurately depicts system behaviors and properties is constructed from perspectives of users’ service requests and attack impact respectively with PEPA, and then similarities and differences are compared. Theoretical analysis and experimental results show that the model can exactly reflect key attributes of survivability and Theoreticallydirect the designation of survivable systems.

Key words:  survivability; stochastic process algebra; performance evaluation process algebra; formal modeling

No related articles found!
Full text



No Suggested Reading articles found!