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

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

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Xi tong fang zhen xue bao 2011, Vol.23 (3), p.425-432
1. Verfasser: 曹宇男 张辉 叶佩青 王田苗
Format: Artikel
Sprache:chi
Schlagworte:
CNC
TTM/ATRTTL
可靠性
安全性
形式化描述与验证方法
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 432
container_issue 3
container_start_page 425
container_title Xi tong fang zhen xue bao
container_volume 23
creator 曹宇男 张辉 叶佩青 王田苗
description 作为一个典型的离散计算机控制系统,CNC（数字控制）系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL（时间转化模型/全时轴实时时态逻辑）来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC（开放式体系结构CNC）系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。
format Article
fullrecord <record><control><sourceid>chongqing</sourceid><recordid>TN_cdi_chongqing_backfile_36819223</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cqvip_id>36819223</cqvip_id><sourcerecordid>36819223</sourcerecordid><originalsourceid>FETCH-chongqing_backfile_368192233</originalsourceid><addsrcrecordid>eNpjYeA0NDAw0TU3NozgYOAtLs5MMjAwNDQwsrA052SwebKj4fny3perel6sb3w2dcOzvuXPN-9-vnv-i73rn-ze9nRd59PWFU_717-cu-BZw_Lns1qe7t71bMXCZ9N2Pts8lYeBNS0xpziVF0pzMyi5uYY4e-gmZ-TnpRdm5qXHJyUmZ6dl5qTGG5tZGFoaGRkbE6UIAM3HS_c</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>一种验证数控系统软件安全可靠性的建模方法</title><source>Alma/SFX Local Collection</source><creator>曹宇男 张辉 叶佩青 王田苗</creator><creatorcontrib>曹宇男 张辉 叶佩青 王田苗</creatorcontrib><description>作为一个典型的离散计算机控制系统,CNC（数字控制）系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL（时间转化模型/全时轴实时时态逻辑）来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC（开放式体系结构CNC）系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。</description><identifier>ISSN: 1004-731X</identifier><language>chi</language><subject>CNC ; TTM/ATRTTL ; 可靠性 ; 安全性 ; 形式化描述与验证方法</subject><ispartof>Xi tong fang zhen xue bao, 2011, Vol.23 (3), p.425-432</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://image.cqvip.com/vip1000/qk/96569X/96569X.jpg</thumbnail><link.rule.ids>314,776,780,4010</link.rule.ids></links><search><creatorcontrib>曹宇男 张辉 叶佩青 王田苗</creatorcontrib><title>一种验证数控系统软件安全可靠性的建模方法</title><title>Xi tong fang zhen xue bao</title><addtitle>Journal of System Simulation</addtitle><description>作为一个典型的离散计算机控制系统,CNC（数字控制）系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL（时间转化模型/全时轴实时时态逻辑）来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC（开放式体系结构CNC）系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。</description><subject>CNC</subject><subject>TTM/ATRTTL</subject><subject>可靠性</subject><subject>安全性</subject><subject>形式化描述与验证方法</subject><issn>1004-731X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2011</creationdate><recordtype>article</recordtype><recordid>eNpjYeA0NDAw0TU3NozgYOAtLs5MMjAwNDQwsrA052SwebKj4fny3perel6sb3w2dcOzvuXPN-9-vnv-i73rn-ze9nRd59PWFU_717-cu-BZw_Lns1qe7t71bMXCZ9N2Pts8lYeBNS0xpziVF0pzMyi5uYY4e-gmZ-TnpRdm5qXHJyUmZ6dl5qTGG5tZGFoaGRkbE6UIAM3HS_c</recordid><startdate>2011</startdate><enddate>2011</enddate><creator>曹宇男 张辉 叶佩青 王田苗</creator><scope>2RA</scope><scope>92L</scope><scope>CQIGP</scope><scope>W92</scope><scope>~WA</scope></search><sort><creationdate>2011</creationdate><title>一种验证数控系统软件安全可靠性的建模方法</title><author>曹宇男 张辉 叶佩青 王田苗</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-chongqing_backfile_368192233</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>chi</language><creationdate>2011</creationdate><topic>CNC</topic><topic>TTM/ATRTTL</topic><topic>可靠性</topic><topic>安全性</topic><topic>形式化描述与验证方法</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>曹宇男 张辉 叶佩青 王田苗</creatorcontrib><collection>中文科技期刊数据库</collection><collection>中文科技期刊数据库-CALIS站点</collection><collection>中文科技期刊数据库-7.0平台</collection><collection>中文科技期刊数据库-工程技术</collection><collection>中文科技期刊数据库- 镜像站点</collection><jtitle>Xi tong fang zhen xue bao</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>曹宇男 张辉 叶佩青 王田苗</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>一种验证数控系统软件安全可靠性的建模方法</atitle><jtitle>Xi tong fang zhen xue bao</jtitle><addtitle>Journal of System Simulation</addtitle><date>2011</date><risdate>2011</risdate><volume>23</volume><issue>3</issue><spage>425</spage><epage>432</epage><pages>425-432</pages><issn>1004-731X</issn><abstract>作为一个典型的离散计算机控制系统,CNC（数字控制）系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL（时间转化模型/全时轴实时时态逻辑）来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC（开放式体系结构CNC）系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。</abstract></addata></record>
fulltext fulltext
identifier ISSN: 1004-731X
ispartof Xi tong fang zhen xue bao, 2011, Vol.23 (3), p.425-432
issn 1004-731X
language chi
recordid cdi_chongqing_backfile_36819223
source Alma/SFX Local Collection
subjects CNC
TTM/ATRTTL
可靠性
安全性
形式化描述与验证方法
title 一种验证数控系统软件安全可靠性的建模方法
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-14T22%3A08%3A56IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-chongqing&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=%E4%B8%80%E7%A7%8D%E9%AA%8C%E8%AF%81%E6%95%B0%E6%8E%A7%E7%B3%BB%E7%BB%9F%E8%BD%AF%E4%BB%B6%E5%AE%89%E5%85%A8%E5%8F%AF%E9%9D%A0%E6%80%A7%E7%9A%84%E5%BB%BA%E6%A8%A1%E6%96%B9%E6%B3%95&rft.jtitle=Xi%20tong%20fang%20zhen%20xue%20bao&rft.au=%E6%9B%B9%E5%AE%87%E7%94%B7%20%E5%BC%A0%E8%BE%89%20%E5%8F%B6%E4%BD%A9%E9%9D%92%20%E7%8E%8B%E7%94%B0%E8%8B%97&rft.date=2011&rft.volume=23&rft.issue=3&rft.spage=425&rft.epage=432&rft.pages=425-432&rft.issn=1004-731X&rft_id=info:doi/&rft_dat=%3Cchongqing%3E36819223%3C/chongqing%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_cqvip_id=36819223&rfr_iscdi=true