基于STPA涉火涉危工业控制软件安全性分析方法探索

本文针对涉火涉危工业控制软件安全性测试存在的六个难点,包括需求分析依据不明确、安全要求简单、源代码缺失、故障注入难、与工艺紧密相连、专业性强,提出基于STPA的涉火涉危工业控制软件安全性分析方法,确定软件安全性测试的前期准备、安全需求分析步骤和安全性测试重点,提出工业控制软件研制应注意事项的建议。

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

针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,基于动态运行规则,采用同步合成和共享合成技术建立起软件安全分析模型,通过对运行时序、状态转移等的分析,可得出软件系统潜在的危险状态.利用该方法建立的模型对三防系统软件进行了安全性分析,结果表明:相比其它分析方法,应用该模型可发现多处潜在的软件致命错误,是一种简单实用的有效方法.

K(0,1)-TPN方法在三防系统安全性分析应用

三防系统软件是坦克装甲车辆防护系统中的安全关键软件,对其安全性分析是十分必要的.定义了k(0,1)—时间Petri网(K(0,1)-TPN),该网是对时间Petri网的一种扩展,对于输入不同、运行过程相同及其控制机构相同或不同的系统分析建模具有普遍的应用价值.应用k(0,1)—时间Petri网及其动态的运行规则,并采用合成技术建立起了三防系统的模型.通过对运行时序、状态转移等的分析,得出了若干个三防软件系统存在的危险状态,并对软件及其系统的修改提出了建议.