Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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–98
Qin ZD, Liu XQ, Wang HY (2009) Software safety growth testing method based on correlative risk profile. Syst Eng Electron 31:686–690
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–119
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–36
Li M (2002) Research on the software safety assessment of safety critical systems. Comput Eng Sci 2:59–69
Cheng GM, Liao MH, Wu XH (2006) The definition of extended high-level timed Petri nets. J Comput Sci 2:127–143
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–58
Chen SM (2000) Fuzzy backward reasoning using fuzzy Petri nets. IEEE Trans Syst Man Cybern part B: Cybern 30:846–857
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
He, J., Wang, HX., Nie, K. (2013). Safety Assessment of Equipment Software Based on Fuzzy Petri Nets. In: Yang, Y., Ma, M. (eds) Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 4. Lecture Notes in Electrical Engineering, vol 226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35440-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-35440-3_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35439-7
Online ISBN: 978-3-642-35440-3
eBook Packages: EngineeringEngineering (R0)