• 文献检索
  • 文档翻译
  • 深度研究
  • 学术资讯
  • Suppr Zotero 插件Zotero 插件
  • 邀请有礼
  • 套餐&价格
  • 历史记录
应用&插件
Suppr Zotero 插件Zotero 插件浏览器插件Mac 客户端Windows 客户端微信小程序
定价
高级版会员购买积分包购买API积分包
服务
文献检索文档翻译深度研究API 文档MCP 服务
关于我们
关于 Suppr公司介绍联系我们用户协议隐私条款
关注我们

Suppr 超能文献

核心技术专利:CN118964589B侵权必究
粤ICP备2023148730 号-1Suppr @ 2026

文献检索

告别复杂PubMed语法,用中文像聊天一样搜索,搜遍4000万医学文献。AI智能推荐,让科研检索更轻松。

立即免费搜索

文件翻译

保留排版,准确专业,支持PDF/Word/PPT等文件格式,支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述,25分钟生成高质量综述,智能提取关键信息,辅助科研写作。

立即免费体验

对采用IEC 1131-3语言编程的工业控制系统进行软测试。

Soft-testing of industrial control systems programmed in IEC 1131-3 languages.

作者信息

Hassapis G

机构信息

Department of Electrical and Computer Engineering, Aristotle University of Thessaloniki, Greece.

出版信息

ISA Trans. 2000;39(3):345-55. doi: 10.1016/s0019-0578(00)00029-x.

DOI:10.1016/s0019-0578(00)00029-x
PMID:11005165
Abstract

This paper presents a technique and the means for testing PLC-based control software outside the actual plant environment with the purpose of increasing the confidence level on the compliance of the software to functional and temporal requirements. The need to obtain a high confidence level on the correct software operation arises from the fact that in most of the cases it is quite dangerous and expensive to test unproved PLC operation by linking it with the actual facilities that it is going to control. The proposed technique relies on a combined simulation of the controlled plant and the PLC system and an analysis of the plant responses. The PLC system simulation imitates the way software is executed on a PLC that is programmed in the languages of the IEC1131-3 standard. It is based on the programming model of the IEC standard and analytical formulae for estimating the program runtime. The simulation of the plant is based on a discrete convolution model that is solved at the same rate with the rate determined by the control algorithms. A tool realizing these concepts has been developed and its use in testing the control software of three critical outputs of a distillation column is demonstrated.

摘要

本文提出了一种在实际工厂环境之外测试基于PLC的控制软件的技术和方法,目的是提高对软件符合功能和时间要求的置信度。由于在大多数情况下,将未经验证的PLC操作与它将要控制的实际设施相连进行测试是非常危险且昂贵的,因此需要对软件的正确运行获得高置信度。所提出的技术依赖于对受控工厂和PLC系统的联合仿真以及对工厂响应的分析。PLC系统仿真模仿了软件在按IEC1131-3标准语言编程的PLC上的执行方式。它基于IEC标准的编程模型和用于估计程序运行时间的解析公式。工厂的仿真是基于一个离散卷积模型,该模型以与控制算法确定的速率相同的速率求解。已经开发了一个实现这些概念的工具,并展示了其在测试精馏塔三个关键输出的控制软件中的应用。

相似文献

1
Soft-testing of industrial control systems programmed in IEC 1131-3 languages.对采用IEC 1131-3语言编程的工业控制系统进行软测试。
ISA Trans. 2000;39(3):345-55. doi: 10.1016/s0019-0578(00)00029-x.
2
Automating software development with domain-specific modelling.
Med Device Technol. 2004 Nov;15(9):46-7.
3
Developing killer apps for industrial augmented reality.为工业增强现实开发杀手级应用程序。
IEEE Comput Graph Appl. 2004 May-Jun;24(3):16-20. doi: 10.1109/mcg.2004.1297006.
4
A front-end automation tool supporting design, verification and reuse of SOC.一种支持片上系统(SOC)设计、验证和复用的前端自动化工具。
J Zhejiang Univ Sci. 2004 Sep;5(9):1102-5. doi: 10.1631/jzus.2004.1102.
5
Panellist position statement: some industrial experience with program verification.专家小组立场声明:程序验证的一些行业经验。
Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2393-4. doi: 10.1098/rsta.2005.1652.
6
Expanding the applicability of ISA TR84.02 in the field.扩大ISA TR84.02在该领域的适用性。
ISA Trans. 2000;39(3):357-61. doi: 10.1016/s0019-0578(00)00022-7.
7
Model-based testing with UML applied to a roaming algorithm for bluetooth devices.将基于模型的测试与UML应用于蓝牙设备的漫游算法。
J Zhejiang Univ Sci. 2004 Nov;5(11):1327-35. doi: 10.1631/jzus.2004.1327.
8
A method to prevent excessive numbers of Markov states in Markov models for quantitative safety and reliability assessment.一种用于定量安全与可靠性评估的马尔可夫模型中防止出现过多马尔可夫状态的方法。
ISA Trans. 2000;39(3):363-9. doi: 10.1016/s0019-0578(99)00041-5.
9
Analysis software can put surgical precision into medical device design.分析软件可以将手术精准度融入医疗器械设计之中。
Med Device Technol. 2005 Nov;16(9):24-6.
10
A computer tool to support in design of industrial Ethernet.一种支持工业以太网设计的计算机工具。
ISA Trans. 2009 Apr;48(2):228-36. doi: 10.1016/j.isatra.2009.01.003. Epub 2009 Feb 11.