| 一种验证数控系统软件安全可靠性的建模方法 |
| |
| 引用本文： | 曹宇男,陈友东,魏洪兴,王田苗.一种验证数控系统软件安全可靠性的建模方法[J].系统仿真学报,2009,21(15). |
| |
| 作者姓名： | 曹宇男 陈友东 魏洪兴 王田苗 |
| |
| 作者单位： | 北京航空航天大学机器人所,北京,100191 |
| |
| 摘 要： | 作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题.基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统.TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之.这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证.使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分.验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模.在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件.
|
| 关 键 词： | CNC 形式化描述与验证方法 TTM/ATRTTL 可靠性 安全性 |
Formal Framework for Designing and Verifying Reliable Software for Computerized Numerical Control (CNC) Systems |
| |
| Abstract: | |
| |
| Keywords: | CNC formal specification and verification TIM/ATRTTL reliability safety |
| 本文献已被 万方数据 等数据库收录！ |
|
