资源描述：
《基于可编程控制器(plc)的重要安全系统的软件设计》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、毕业设计(论文)英文翻译译文用纸第23页共23页基于可编程控制器(PLC)的重要安全系统的软件设计规范及分析技术开发(sdsat)SeoRyongKoo*,PoongHyunSeong朝鲜科学和技术高级研究所,核和量子工程研究部.南韩Daejeon305-701,Yuseong-gu,Guseong-dong,373-1.收稿日期:2004年12月28日,采用日期:2005年5月10日,网上可查询日期2005年8月2日.摘要本篇论文介绍了基于可编程逻辑控制器(PLC)的重要安全的系统软件设计规范及分析技术(sdsat)。在软件开发、设计阶段过
2、程中对于连接需求和执行阶段发挥了重要作用,这也是将软件翻译成软件结构的过程。在这项工作中,核FBD型设计规格和分析方式(NUFDS)提出核仪表和控制软件(I&C)。为了有效的软件分析和设计规范,NUFDS(核FBD型设计规格和分析方式)办法趋向于直接向前方式。因此,NUFDS方式(核FBD型设计规格和分析方式)提议由软件设计技术、软件设计规格分析技术组成。此外,为设计阶段的支援工具,我们开发了基于NuFDS(核FBD型设计规格和分析方式)工具的NuSDS办法;这个工具是专门用来处理关键领域生成和分析软件设计规格。2005Elsevier顾问有
3、限公司版权所有关键词:安全关键系统；V&V;设计规范和分析；PLC毕业设计(论文)英文翻译译文用纸第23页共23页1引言安全重要系统,如核电厂(核电站)仪表与控制系统(I&C),正日益成为软件基础。这一趋势已引起对软件质量的高标准严要求、为确保重要系统软件应用的安全信心。最近,核查和验证软件概念(博物院五)已被接受作为一种新的质量保证数字安全系统。V&V(验证)进程彻底需要整个软件开发生命周期。IEEE标准在1912年至1998年的核查和验证软件,最低V&V(验证)任务安全关键系统依据每个阶段定义。图1显示软件V&V(验证)任务期间软件开发生
4、命。如图1所示,1912年至1998年IEEE标准着重对每个软件开发阶段分的析文件评估和追踪。目前,在第一阶段规定,有很多种正式分析,确保质量和安全的软件。由于这是最重要的,尽早找出潜在的系统误差是一直强调的需求分析,如〔3-5〕。图1V&V在软件开发周期中的任务软件生命周期阶段、设计阶段是在实施过程中将软件需求翻译成软件过程结构。一般工业应用,包括那些核领域、软件设计规格(SDS)等应在这一软件设计制作阶段。单描述了总体体系结构,并含有定义控制结构模型。单应评价软件质量属性,如正确性、完整性、一致性、可追溯性。因此,这是非常重要和有效的形式
5、规范界定法软件设计阶段,为方便设计核查和验证。此外,一个成形的设计规范,对代码执行阶段是非常重要的。因此,实施产品,如代码应该轻易译自设计规格。目前,在NPPI&C系统(仪表与控制系统),可编程控制器(PLC)正考虑为安全标准的硬件。PLC的编程语言的定义在IEC标准61131-3。其中语文、功能方框图(FBD型)是著名的高效和直观的语言,为实施阶段。研制了PLC的系统,要与设计实施阶段相结合。由于语言FBD型控制器通常是一个类似的设计特点,在设计阶段我们可以减少编码时间以及成本相结合的设计和实施阶段的时间,尤其是PLC的应用时间。本文为软件
6、设计规范及分析技术(sdsat)FBD型核型分析和设计规范的做法基于PLC建议的(nufds)安全软件。nufds的做法是由一个软件设计技术、软件设计规格分析技术。该NuFDS办法有四个主要规格如下：:数据库、软件结构、系统信息对输入/输出变量相关的PLC编程系统的数字为实施阶段。毕业设计(论文)英文翻译译文用纸第23页共23页根据这些规范性，正确性，完整性，一致性，和跟踪检查的基础上架构技术描述语言和模型检查也提出了正式的设计分析。此外，在工具的支持下，我们开发了基于NuFDS办法的NuSDS工具，这是一个用于在核领域中软件设计规范和分析的
7、工具。毕业设计(论文)英文翻译译文用纸第23页共23页2软件设计规范和分析技术（SDSAT）NuFDS方式设计规范数据库软件结构（ADL）系统方式（FBD）硬件图设计分析ADL分析模型检查(SMV)设计的持续检查(ESDT)在这项工作中，我们建议FBD式内核设计规范和分析（NuFDS）的方式产生和分析的SDS核I&C系统。图2显示NuFDS办法示意图。该NuFDS支持两种类型的软件设计活动：设计规范和设计分析。NuFDS设计规范包括四个主要规格，如下：数据库，软件体系结构，系统行为，与PLC的硬件配置。SDS可按照这四个主要规格产生。在设计分
8、析NuFDS时，有人提出基于体系结构描述语言（日常生活）和符号模型验证（静脉）的设计分析。此外，对NuFDS中需求和设计之间的跟踪分析时，也提出建议在扩展的结构化决
