| 一种验证数控系统软件安全可靠性的建模方法 |
| |
| 引用本文： | 曹宇男,张辉,叶佩青,王田苗.一种验证数控系统软件安全可靠性的建模方法[J].系统仿真学报,2011,23(3). |
| |
| 作者姓名： | 曹宇男 张辉 叶佩青 王田苗 |
| |
| 作者单位： | 1. 清华大学精密仪器与机械学系,北京,100084
2. 北京航空航天大学机器人所,北京,100191 |
| |
| 基金项目： | 国家自然科学基金(60404019); 国家数控重大专项“光纤总线开放式全数字高档数控装置”(2009ZX04009-012) |
| |
| 摘 要： | 作为一个典型的离散计算机控制系统,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 |
| |
| CAO Yu-nan,ZHANG Hui,YE Pei-qing,WANG Tian-miao.Formal Framework for Designing and Verifying Reliable Software for Computerized Numerical Control (CNC) Systems[J].Journal of System Simulation,2011,23(3). |
| |
| Authors: | CAO Yu-nan ZHANG Hui YE Pei-qing WANG Tian-miao |
| |
| Institution: | CAO Yu-nan1,ZHANG Hui1,YE Pei-qing1,WANG Tian-miao2(1.Department of Precision Instruments and Mechanology,Tsinghua University,Beijing 100084,China,2.Robotic Institute,Beijing University of Aeronautics & Astronautics,Beijing 100191,China) |
| |
| Abstract: | As a distributed computing system,a CNC system needs to be operated reliably,dependably and safely.How to design reliable and dependable software and perform effective verification for CNC systems becomes an important research problem.A new modeling method called TTM/ATRTTL(Timed Transition Models/All-Time Real-Time Temporal Logics) for specifying CNC systems was proposed.TTM/ATRTTL provided full support for specifying hard real-time and feedback that were needed for modeling CNC systems.A verification fram... |
| |
| Keywords: | CNC formal specification and verification TTM/ATRTTL reliability safety |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
