摘要
事件序列图(ESD)是系统安全性分析时采用的一种较新的手段,能有效地解决传统的安全性建模与分析在动态方面的不足。在对国内外动态系统安全性建模与分析方面的研究基础上,提出了一种扩展的ESD方法。对ESD的定义进行了完善,给出了ESD框架的动态逻辑图元表示形式及其数学描述,为提高其建模功能以及与系统结构关联的能力提出了层次化建模策略,并结合新的ESD算法开发了基于ESD的动态系统可视化建模与分析软件。最后,给出了一个实例以说明其有效性。
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.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第12期129-132,共4页
Computer Engineering and Applications
基金
国家部委"十五"预研项目(the Pre-Research Project of the "Tenth Five-Year-Plan"of China Ministries and Commissions)。
关键词
事件序列图
安全性分析
动态系统
层次建模
可视化
event sequence diagram
safety analysis
dynamic system
hierarchical modeling
visualization
