Methods for Reliable Simulation-Based PLC Code Verification

被引：43

作者：

Carlsson, Henrik ^{[1
]}

Svensson, Bo ^{[1
]}

Danielsson, Fredrik ^{[1
]}

Lennartson, Bengt ^{[1
,2
]}

机构：

[1] Univ West, Dept Engn Sci, Flexible Ind Automat Res Grp, SE-46186 Trollhattan, Sweden

[2] Chalmers Univ Technol, Dept Signals & Syst, SE-41296 Gothenburg, Sweden

来源：

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS | 2012年 / 8卷 / 02期

关键词：

Industrial control system; programmable logic controller (PLC); simulation; simulation-based PLC code verification; virtual commissioning;

D O I：

10.1109/TII.2011.2182653

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Simulation-based programmable logic controller (PLC) code verification is a part of virtual commissioning, where the control code is verified against a virtual prototype of an application. With today's general OPC interface, it is easy to connect a PLC to a simulation tool for, e. g., verification purposes. However, there are some problems with this approach that can lead to an unreliable verification result. In this paper, four major problems with the OPC interface are described, and two possible solutions to the problems are presented: a general IEC 61131-3-based software solution, and a new OPC standard solution.

引用

页码：267 / 278

页数：12

共 46 条

[1]

[Anonymous], 2010, P 2010 IEEE 15 C EME

[2]

[Anonymous], 2003, 611313 IEC

[3]

[Anonymous], 2009, OPC Unified Architecture

[4]

Bathelt J., 2007, P ICMA 07 SING

[5] Communication architectures for electrical drives [J].

Benzi, Francesco ;

Buja, Giuseppe S. ;

Felser, Max .

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2005, 1 (01) :47-53

[6] REALISTIC ROBOT SIMULATION [J].

BERNHARDT, R ;

SCHRECK, G ;

WILLNOW, C .

COMPUTING & CONTROL ENGINEERING JOURNAL, 1995, 6 (04) :174-176

[7]

Bernhardt R., 2000, ISATA AUTOM TRANSP T

[8]

Bernhardt R., 2004, P IFAC COST OR AUT G, P43

[9]

Bernhardt R., 2001, P 6 IFAC S COST OR A, P209

[10]

Chen D., 1999, P 32 ANN HAW INT C S, P87

← 1 2 3 4 5 →