基于ESD的动态系统安全性建模与实现

摘要

事件序列图(ESD)是系统安全性分析时采用的一种较新的手段,能有效地解决传统的安全性建模与分析在动态方面的不足.在对国内外动态系统安全性建模与分析方面的研究基础上,提出了一种扩展的ESD方法.对ESD的定义进行了完善,给出了ESD框架的动态逻辑图元表示形式及其数学描述,为提高其建模功能以及与系统结构关联的能力提出了层次化建模策略,并结合新的ESD算法开发了基于ESD的动态系统可视化建模与分析软件.最后,给出了一个实例以说明其有效性.