k(0,1)-TPN Model in the Safety Analysis of Three Defense System

At present,existing methods are difficult to analyze the Safety of Multi-system parallel weaponry software.To overcome the disadvantage,a new software safety modeling analysis method(k(0,1)-TPN) based on multidimensional time Petri net was proposed.This method based on dynamic operation rules,using synchronous synthesis and sharing synthesis technology set up software security analysis model.Through the operation sequence,state transfer analysis,this method could analyze the software dangerous state.Some examples were applied on software system projects of some certain military type.Results show that,compared with other analysis method,this model can found more potential software fatal errors.It is a kind of simple and more effective method.