陆民燕,韩峰岩.装备软件质量和可靠性管理[M].北京:国防工业出版社,2006:60-89.

国防科学技术工业委员会.GJB900-90系统安全性通用大纲[S].北京:国家军用标准出版社,1990.

樊立波.软件可靠性与安全性的区别分析及其证明[J].计算机科学,2008,35(9):285-288.Fan Libo.The difference between the softwarereliability and safety analysis and proof[J].ComputerScience,2008,35(9):285-288.(in Chinese)

王宇龙,孙玉武,范月科.软件故障树分析方法应用[R].北京:兵器工业计算所,2010:125-130.

聂淼.FEMA技术研究与软件系统发展[D].合肥:合肥工业大学,2007:30-60.

刘俊先.合成Petri网P-不变量的性质分析[J].系统工程与电子科技,2007,29(8):1349-1352.Liu Junxian.Synthetic petri nets P-invariant pro-perties analysis[J].Systems Engineering andElectronic Technology,2007,29(8):1349-1352.(in Chinese)

吴有年.失效模式研究[D].北京:北京航空航天大学,2007:45-65.

Yeh W J.Compositional reachbility analysis usingprocess algebra[C].Proceedings of the Symposiumon Testing,Analysis,and Very-Fication,1991:49.

宋晓秋.软件安全性分析的Petri网方法研究[D].北京:航天软件评测中心,1998:32-38.

杨仕平,桑楠,熊光泽.安全关键软件的防危性测评技术研究[J].计算机学报,2004,27(4):86-90.Yang Shiping,San Nan,Xiong Guangze.Safetycritical software prevent dangerous evaluationtechnology research[J].Chinese Journal ofComputers,2004,27(4):86-90.(in Chinese)

袁宜峰.基于IEC61508的嵌入式软件可靠性设计与验证[J].南京工业大学学报,2011,33(6):82-86.Yuan Yifeng.IEC61508 based on the embeddedsoftware reliability design and verification[J].J.ofNanjing Univ.of Tech.,2011,33(6):82-86.(in Chinese)

李震.基于petri网模型检验的安全关键软件需求验证[J].系统工程与电子技术,2011,33(2):56-59.Li Zhen.Verification of safety-critical softwarerequirement based on Petri-net model checking[J].Systems Engineering and Electronics,2011,33(2):56-59.(in Chinese)

国防科学技术工业委员会.GJB/Z102-97软件可靠性和安全性设计准则[S].北京:国家军用标准出版社,1997.

艾九斤.核电厂DCS安全级应用软件开发的危险分析[J].计算机工程与设计,2012,33(6):2323.Ai Jiujin.Hazard analysis of application softwaredevelopment for nuclear power plant DCS safetysystem[J].Computer Engineer and Design,2012,33(6):2323.(in Chinese)

张嘉焱.对象Petri网在反导防空体系建模中的应用[J].火力与指挥控制,2012,37(7):135-138.Zhang Jiayan.Antimissile aerial defence systemmodeling on object Petri net[J].Fire Con.&Comm.Con.,2012,37(7):135-138.(in Chinese)

宋葳.基于Petri网的弹道攻防对抗仿真系统CGF模型[J].火力与指挥控制,2012,37(3):99-102.Song Wei.Research on the CGF’s model of attack-defense counterwork simulation system of ballisticmissle based on Petri net[J].Fire Control&Command Control,2012,37(3):99-102.(in Chinese)