基于图形转换的组合状态安全性验证技术
受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题.图形转换技术广泛应用于各类模型的组合、重构和动态演化的建模分析.基于H.Ehrig提出的图形转换的组合框架,研究该框架的组合状态安全性验证技术.采用Petri网模型构造系统组合框架,分析出组合系统可达状态空间与部件可达状态空间的包含关联关系,提出组合状态危害等级分类模型,设计出组合状态可达性分析方法和层次化多级安全性验证算法,并实例应用于轨道交通列车控制系统的功能安全性验证.
信息安全 组合状态 安全性验证 图形转换 轨道交通
国内会议
湖北恩施
中文
1-11
2014-09-13（万方平台首次上网日期，不代表论文的发表时间）