关键词：动态系统 安全性分析 框架 组件 

摘要：在动态系统安全性分析软件设计需求的基础上，采用面向对象的系统分析和集成的思想，组件化和层次化的实现方式，设计和开发了一种动态系统安全性分析软件平台；研究了平台进行动态系统安全性分析工作的主要内容；给出了综合利用各种安全性资料，基础数据，以及知识、模型库等有关信息，使不同种类的安全性分析工具在同一个集成环境中方便地集成，不同层次上的分析工具在不同阶段有效运行的软件框架。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社