| 基于ESD的动态系统安全性建模与实现 |
| |
| 引用本文： | 周经伦,郑龙. 基于ESD的动态系统安全性建模与实现[J]. 计算机工程与应用, 2007, 43(12): 129-132 |
| |
| 作者姓名： | 周经伦 郑龙 |
| |
| 作者单位： | 国防科技大学,信息系统与管理学院,长沙,410073;国防科技大学,信息系统与管理学院,长沙,410073 |
| |
| 摘 要： | 事件序列图(ESD)是系统安全性分析时采用的一种较新的手段,能有效地解决传统的安全性建模与分析在动态方面的不足。在对国内外动态系统安全性建模与分析方面的研究基础上,提出了一种扩展的ESD方法。对ESD的定义进行了完善,给出了ESD框架的动态逻辑图元表示形式及其数学描述,为提高其建模功能以及与系统结构关联的能力提出了层次化建模策略,并结合新的ESD算法开发了基于ESD的动态系统可视化建模与分析软件。最后,给出了一个实例以说明其有效性。
|
| 关 键 词： | 事件序列图 安全性分析 动态系统 层次建模 可视化 |
| 文章编号： | 1002-8331（2007）12-0129-04 |
| 修稿时间： | 2006-09-01 |
Safety modeling and implementation of dynamic system based on event sequence diagram |
| |
| ZHOU Jing-lun,ZHENG Long. Safety modeling and implementation of dynamic system based on event sequence diagram[J]. Computer Engineering and Applications, 2007, 43(12): 129-132 |
| |
| Authors: | ZHOU Jing-lun ZHENG Long |
| |
| Abstract: | |
| |
| Keywords: | event sequence diagram safety analysis dynamic system hierarchical modeling visualization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
