计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (12): 129-132.

• 网络、通信与安全 • 上一篇    下一篇

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

周经伦 郑龙   

  1. 国防科技大学人文与管理学院 国防科技大学信息系统与管理学院系统所
  • 收稿日期:2006-05-23 修回日期:1900-01-01 出版日期:2007-04-20 发布日期:2007-04-20
  • 通讯作者: 郑龙

Safety Modeling and Implementation of Dynamic System Based on Event Sequence Diagram

JingLun Zhou Long Zheng   

  • Received:2006-05-23 Revised:1900-01-01 Online:2007-04-20 Published:2007-04-20
  • Contact: Long Zheng

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

关键词: 事件序列图, 安全性分析, 动态系统, 层次建模, 可视化

Abstract: The Event Sequence Diagram (ESD) is one new method in system safety analysis, which can solve the insufficiency of the traditional methods in safety modeling and the analysis in the aspect of dynamic effectively. Based on the research and analysis of domestic and foreign dynamic systems safety modeling and analysis, this paper proposes a newly expanded ESD method of which the definition has been consummated. In the article, the dynamic logical diagram formulation and its mathematics description for the ESD framework are produced. In order to enhance its function of modeling and connection with the system structure, this paper proposes a strategy of hierarchical modeling, and unifies a new algorithm of ESD, which develop a sort of software of dynamic system visualization modeling and analysis based on the ESD. Finally, an example is introduced to explain the validity of this newly developed ESD method.

Key words: Event sequence diagram, Safety analysis, Dynamic system, Hierarchical modeling, Visualization