Safety Assessment of Equipment Software Based on Fuzzy Petri Nets

  • Jiao He
  • Hou-Xiang Wang
  • Kai Nie
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 226)


To assess the safety of equipment software effectively, we established the index system of software safety assessment based on life cycle of software, proposed an assessment method based on the fuzzy Petri nets, used fuzzy Petri nets to model the fuzziness and uncertainty of the system and assessed the safety of equipment software based on fuzzy reasoning algorithm. This method well combines the characteristics of specialist grading and FPN such as utility and briefness, and the result of safety assessment provides reasonable warranty for constituting corresponding safety control strategy.


Software safety Assessment Fuzzy Petri nets (FPN) Index system Model 


  1. 1.
    Xiang H, Jiang LP, Liu T (2011) Research on ship-borne depots safety assessment based on the improved D-S evidence theory. Fire Control and Command Control 3:95–98Google Scholar
  2. 2.
    Qin ZD, Liu XQ, Wang HY (2009) Software safety growth testing method based on correlative risk profile. Syst Eng Electron 31:686–690Google Scholar
  3. 3.
    Hamed Raed I, Ahson SI, Parveen R (2010) A new approach for modelling gene regulatory networks using fuzzy Petri nets. J Integr Bioinform 7:113–119Google Scholar
  4. 4.
    Wang JSH, Fu Y, Wu XP (2011) Research on security risk assessment of information system based on improved fuzzy AHP. Fire Control and Command Control 3:33–36Google Scholar
  5. 5.
    Li M (2002) Research on the software safety assessment of safety critical systems. Comput Eng Sci 2:59–69Google Scholar
  6. 6.
    Cheng GM, Liao MH, Wu XH (2006) The definition of extended high-level timed Petri nets. J Comput Sci 2:127–143CrossRefGoogle Scholar
  7. 7.
    Zhao J, FU Y, Liu LY (2010) Fuzzy neural Petri–net method for reliability estimation of information systems. Fire Control and Command Control 3:55–58Google Scholar
  8. 8.
    Chen SM (2000) Fuzzy backward reasoning using fuzzy Petri nets. IEEE Trans Syst Man Cybern part B: Cybern 30:846–857CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.Institute of Electronic EngineeringNaval University of EngineeringWuhanChina
  2. 2.The 322nd Hospital of PLADatongChina

Personalised recommendations