基于k(0,1)-TPN的三防控制系统软件安全性分析模型研究  

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

作　　者：王宇龙 高小雅 刘宇坤 杨荫钊 李之博 

机构地区：[1]中国兵器工业软件工程与评测中心,北京100089

出　　处：《中北大学学报（自然科学版）》2012年第6期681-686,698,共7页Journal of North University of China(Natural Science Edition)

基　　金：总装"十一五"预研项目(51319070203)

摘　　要：针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间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.

关 键 词：坦克装甲车辆 时间PETRI网 软件安全性 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]