| 基于图形转换的组合状态安全性验证技术 |
| |
| 引用本文： | 杜军威,江峰,张会萍,曹玲,殷文文.基于图形转换的组合状态安全性验证技术[J].山东大学学报(理学版),2014(9). |
| |
| 作者姓名： | 杜军威 江峰 张会萍 曹玲 殷文文 |
| |
| 作者单位： | 青岛科技大学信息科学技术学院,山东 青岛,266061 |
| |
| 基金项目： | 国家自然科学基金资助项目(61273180)；山东省自然基金资助项目(ZR2011FL17，ZR2011FQ005)；山东省高等学校科技计划项目 |
| |
| 摘 要： | 受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题。基于图形转换的组合框架,研究了该框架的组合状态安全性验证技术。采用Petri网模型构造系统组合框架,分析出组合系统可达状态空间与部件可达状态空间的包含关联关系,提出了组合状态危害等级分类模型,设计出组合状态可达性分析方法和层次化多级安全性验证算法,并实例应用于轨道交通列车控制系统的功能安全性验证。
|
| 关 键 词： | 组合状态验证 Petri网 安全性验证 图形转换 安全苛求系统 |
A safety verification method of compositional states based on graph transformation |
| |
| DU Jun-wei,JIANG Feng,ZHANG Hui-ping,CAO Ling,YIN Wen-wen.A safety verification method of compositional states based on graph transformation[J].Journal of Shandong University,2014(9). |
| |
| Authors: | DU Jun-wei JIANG Feng ZHANG Hui-ping CAO Ling YIN Wen-wen |
| |
| Abstract: | |
| |
| Keywords: | composite state verification Petri net safety verification graph transformation safety-critical system |
| 本文献已被 CNKI 等数据库收录！ |
|
