一种验证数控系统软件安全可靠性的建模方法

• 作者: 叶佩青 张辉 曹宇男 王田苗
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: CNC 形式化描述与验证方法 TTM/ATRTTL 可靠性 安全性
• 年，卷（期）: 2011,（3）
• 页码范围: 425-432
• 分类号: TP391.9
• 语种: 中文

摘要

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题.基于此给出一个新的建模方法TTM/ATRTTL (时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统.TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验征规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之.这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证.使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分.验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模.在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶佩青	清华大学精密仪器与机械学系	121	1914	24.0	40.0
2	张辉	清华大学精密仪器与机械学系	217	1483	19.0	30.0
3	王田苗	北京航空航天大学机器人所	295	5727	37.0	65.0
4	曹宇男	清华大学精密仪器与机械学系	3	10	1.0	3.0