摘要：受制于系统状态组合爆炸，并发系统的组合状态验证一直是困扰模型检验的难题。基于图形转换的组合框架，研究了该框架的组合状态安全性验证技术。采用Petri网模型构造系统组合框架，分析出组合系统可达状态空间与部件可达状态空间的包含关联关系，提出了组合状态危害等级分类模型，设计出组合状态可达性分析方法和层次化多级安全性验证算法，并实例应用于轨道交通列车控制系统的功能安全性验证。

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