论文部分内容阅读
微处理器及其软件已在我国多种新型引信中开始应用,而对其软件可靠性和安全性的研究刚刚起步.本文介绍了基于Petri网的引信软件安全性分析技术,结合某电子时间引信的实例,在系统流程图和程序流程图的基础上建立了引信Petri网模型,运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,发现了其存在的安全隐患,并对其进行了修改设计.