摘要
针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,基于动态运行规则,采用同步合成和共享合成技术建立起软件安全分析模型,通过对运行时序、状态转移等的分析,可得出软件系统潜在的危险状态.利用该方法建立的模型对三防系统软件进行了安全性分析,结果表明:相比其它分析方法,应用该模型可发现多处潜在的软件致命错误,是一种简单实用的有效方法.
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.
出处
《中北大学学报（自然科学版）》
CAS
北大核心
2012年第6期681-686,698,共7页
Journal of North University of China(Natural Science Edition)
基金
总装"十一五"预研项目(51319070203)
