- 1、本文档共21页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
外文翻译plc外文翻译plc
Visualization of PLC Programs using XML
M. Bani Younis and G. Frey
Juniorprofessorship Agentenbased Automation
University of Kaiserslautem
P. 0. Box 3049, D-67653 Kaiserslautem, Germany
Abstract - Due to the growing complexity of PLC programs there is an increasing interest in the application of formal methods in this area. Formal methods allow rigid proving of system properties in verification and validation. One way to apply formal methods is to utilize a formal design approach in PLC programming. However, for existing software that has to be optimized, changed, or ported to new systems .There is the need for an approach that can start from a given PLC program. Therefore, formalization of PLC programs is a topic of current research. The paper outlines a re-engineering approach based on the formalization of PLC programs. The transformation into a vendor independent format and the visualization of the structure of PLC programs is identified as an important intermediate step in this process. It is shown how XML and corresponding technologies can be used for the formalization and visualization of an existing PLC program.
I. INTRODUCTION
Programmable Logic Controllers (PLCs) are a special type of computers that are used in industrial and safety critical applications. The purpose of a PLC is to control a particular process, or a collection of processes, by producing electrical control signals in response to electrical process- related inputs signals. The systems controlled by PLCs vary tremendously, with applications in manufacturing, chemical process control, machining, transportation, power distribution, and many other fields. Automation applications can range in complexity from a simple panel to operate the lights and motorized window shades in a conference room to completely automated manufacturing lines.
With the widening of their application horizon, PLC programs are being subject to increased complexity and high quality demands especially for safety-critic
您可能关注的文档
- 变频器毕业论文变频器毕业论文.doc
- 变频器调速工作原理变频器调速工作原理.doc
- 变频器原理经典图集变频器原理经典图集.doc
- 发动机空调怠速不稳发动机空调怠速不稳.doc
- 变频器维修基础知识变频器维修基础知识.doc
- 去年广告学材料粗稿去年广告学材料粗稿.doc
- 变频器通讯基础变频器通讯基础.doc
- 变频柜操作手册2变频柜操作手册2.doc
- 口腔考试易错题口腔考试易错题.doc
- 变频绞车操作说明变频绞车操作说明.doc
- 2023版人教版初中数学同步讲义练习8年级下册第十八章 平行四边形 专题18.2 特殊的平行四边形 (教师版).pdf
- TCSHB 0023-2024 中型可编程控制柜设计规范.pdf
- TDGAS 043-2024 服装领域数字化众包平台通用要求.pdf
- TCSMT YB010-2024 液体流量标准装置测控系统.pdf
- TCSAA 26-2024 零件冲击试验方法液滴旋转装置试验.pdf
- 《GB+21454-2021多联式空调(热泵)机组能效限定值及能效等级》最新解读.pdf
- 2023版人教版初中数学同步讲义练习8年级下册第十九章 一次函数 专题19.1 函数(学生版).pdf
- 《GBT 20230-2022磷化铟单晶》最新解读.pdf
- 《GBT 23549-2021丙环唑乳油》最新解读.pdf
- 《GBT 41031-2021液化煤层气》最新解读.pdf
最近下载
- 工程结构健康监测技术规程.pdf VIP
- YST 509.1-2008锂辉石、锂云母精矿化学分析方法 氧化锂、氧化钠、氧化钾量的测定 火焰原子吸收光谱法.pdf
- 社区获得性肺炎诊断和治疗指南.pdf VIP
- 初中美术七年级下册(2024)湘美版(2024)合集.docx
- 解剖独立代理人制度.pptx
- 14日天津市直机关遴选面试真题及解析.docx VIP
- 中央银行学(第五版)全套PPT课件.pptx
- 天翼云解决方案架构师(高级)认证资格考试题(附答案).doc VIP
- 房地产-新发展模式展望系列二:新加坡凯德集团:开发投管有机联动,资产管理能力卓著.pdf VIP
- 新标准大学英语(第二版)综合教程2 课后练习答案.pdf
文档评论(0)