基于项重写系统的联锁系统模型检测方法研究

• 作者: 张舒青 徐中伟 陈祖希
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 项重写系统 联锁 Maude语言 安全苛求系统 模型检测
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 博士论坛
• 页码范围: 49-54
• 页数: 6页
• 分类号: TP301.2
• 字数: 5223字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1305-0460

摘要

模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术，对于验证系统的正确性，具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法，采用基于项重写系统原理的Maude工具语言，对铁路联锁系统的站场进行形式化建模，通过其语法和语义定义各类约束和离散事件，构架联锁系统属性和行为。在模型建立的基础上，对联锁站场的静态属性和安全属性进行形式化模型验证。结果表明，基于项重写系统的模型检测方法可以较好地应用于实际联锁系统软件的开发，对开发安全苛求系统和模型检测方法的实际应用提供借鉴。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	陈祖希	同济大学电子与信息工程学院	5	17	3.0	4.0
3	张舒青	同济大学电子与信息工程学院	2	4	1.0	2.0