Methods for reliable simulation-based PLC code verification

IEEE Transactions on Industrial Informatics

Volumn 8, Issue 2, 2012, Pages 267-278

  Carlsson, Henrik ^a   Svensson, Bo ^a   Danielsson, Fredrik ^a   Lennartson, Bengt ^a,b  

^a UNIVERSITY WEST   (Sweden)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

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

Indexed keywords

CODE VERIFICATION; CONTROL CODES; INDUSTRIAL CONTROL SYSTEMS; POSSIBLE SOLUTIONS; SIMULATION; SIMULATION-BASED; SOFTWARE SOLUTION; STANDARD SOLUTIONS; VERIFICATION RESULTS; VIRTUAL COMMISSIONING; VIRTUAL PROTOTYPE;

CONTROLLERS; PROGRAMMED CONTROL SYSTEMS;

VIRTUAL REALITY;

EID: 84859894562     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2011.2182653     Document Type: Article

References (54)

1. Y. Itoh, M. Fukagawa, T. Nagao, T. Mizuya, I. Miyazawa, and T. Sekiguchi, "Evaluation of execution time in programmable controller," in Proc. IEEE Symp. Emerging Technol. Factory Autom., ETFA, 1999, pp. 1373-1379. (Pubitemid 32083171)
2. J. Bathelt and J. Meile, "Computer aided methods supporting concurrent engineering when designing mechatronic systems controlled by a PLC," in Proc. ICMA'07, Singapore, 2007.
3. M. Pellicciari, A. Andrisano, F. Leali, and A. Vergnano, "Engineering method for adaptive manufacturing systems design," Int. J. Interactive Design Manuf., vol. 3, pp. 81-91, 2009.
4. K. Thramboulidis, "Model-integrated mechatronics-Toward a new paradigm in the development of manufacturing systems," IEEE Trans. Ind. Informat., vol. 1, no. 1, pp. 54-61, Feb. 2005. (Pubitemid 40541396)
5. P. Hoffman, T. M. A. Maksoud, R. Schuman, and G. C. Premier, "Virtual commissioning of manufacturing systems a review and new approaches for simplification," in Pro. 24th Eur. Conf. Modeling and Simulation, 2010.
6. R. Drath, P.Weber, and N. Mauser, "An evolutionary approach for the industrial introduction of virtual commissioning," in Proc. IEEE Int. Conf. Emerging Technol. Factory Autom., 2008, pp. 5-8.
7. D. Thapa, P. Chang Mok, S. Dangol, and W. Gi-Nam, "III-phase verification and validation of IEC standard programmable logic controller," in Comput. Intell. Modeling, Control Autom., Int. Conf. Intelligent Agents, Web Technol. Internet Commerce, 2006, pp. 111-111.
8. G. Reinhart and G. Wünsch, "Economic application of virtual commissioning to mechatronic production systems," Prod. Eng., vol. 1, pp. 371-379, 2007.
9. M. F. Zaeh, C. Poernbacher, and J. Milberg, "A model-based method to develop PLC software for machine tools," CIRP Ann.-Manuf. Technol., vol. 54, pp. 371-374, 2005. (Pubitemid 40948478)
10. R. Bernhardt, A. Sabov, and C. Willnow, "Virtual automation system standards," in Proc. IFAC Cost Oriented Autom., Gatineau/Ottawa, Canada, 2004, pp. 43-48.
11. NuSMV, Jun. 10, 2011. [Online]. Available: Http://nusmv.fbk.eu
12. P. Klingstam and P. Gullander, "Overview of simulation tools for computer-aided production engineering," Comput. Ind., vol. 38, pp. 173-186, 1999.
13. H. C. Ng, "An integrated design, simulation and programming environment for modular manufacturing machine systems," in Mechatronics Research Group Faculty of Computing Sciences and Engineering De Montfort University, United Kingdom, 2003.
14. S. Cho, "A distributed time-driven simulation method for enabling realtime manufacturing shop floor control," Comput. Ind. Eng., vol. 49, pp. 572-590, 2005. (Pubitemid 41689980)
15. R. P. J. Q. Ma and R. Lipset, "Distributed manufacturing simulation environment," in Proc. Summer Computer Simulation Conf., 2001.
16. S. C. Park, C. M. Park, G. N.Wang, J. Kwak, and S. Yeo, "PLCStudio: Simulation based PLC code verification," in Proc. Winter Simulation Conf., 2008, pp. 222-228.
17. J. Ledin, Simulation Engineering, Build Better Embedded Systems Faster. Lawrence, KS: CMP Books, 2001, .
18. S. Kain, F. Schiller, and S. Dominka, "Reuse of models in the lifecycle of production plants using HiL simulation models for diagnosis," in Proc. IEEE Int. Symp. Ind. Electron., 2008, pp. 1802-1807.
19. D. Maclay, "Simulation gets into the loop," IEE Review, vol. 43, pp. 109-112, 1997. (Pubitemid 127659467)
20. E. Freund, A. Hypki, R. Bauer, and D. H. Pensky, "Real-time coupling of the 3D workcell simulation system COSIMIR [registered trademark]". Bathurst, Australia, pp. 645-650, 2002.
21. H. Schludermann, T. Kirchmair, and M. Vorderwinkler, "Soft- commissioning: Hardware-in-the-loop-based verification of controller software," in Proc. Winter Simulation Conf., Orlando, FL, 2000, vol. 1, pp. 893-899. (Pubitemid 32873345)
22. R. Bernhardt, G. Schreck, and C. Willnow, "Realistic robot simulation," Comput. Control Eng. J., vol. 6, pp. 174-176, 1995.
23. R. Bernhardt, G. Schreck, and C.Willnow, "The virtual robot controller interface," in ISATA Autom. Transp. Technol. Simulation and Virtual Reality, Dublin, Ireland, 2000.
24. R. Bernhardt, G. Schreck, and C. Willnow, "Development of virtual robot controllers and future trends," in Proc. 6th IFAC Symp. Cost Oriented Autom., Berlin, Germany, 2001, pp. 209-214.
25. M. H. Schwarz and J. Boercsoek, "A survey on OLE for process control (OPC)," in Proc. 7th Conf. Int. Conf. Appl. Comput. Sci., Venice, Italy, 2007, vol. 7, pp. 192-196.
26. OPC Foundation [Online]. Available: Http://www.opcfoundation.org, 2010-10-01
27. X. Hong and W. Jianhua, "Using standard components in automation industry: A study on OPC specification," Comput. Standards Interfaces, vol. 28, pp. 386-395, 2006.
28. OPC Foundation, "Data Access Custom Interface Standard," ver. 3.00, 2003.
29. MatrikonOPC, Oct. 1, 2010. [Online]. Available: Www.matrikonopc. com
30. F. Iwanitz, "XML-DA opens windows beyond the firewall," in Online Industrial Ethernet Book. Titchfield, Hampshire, U.K.: GGH Marketing Commununications, 2004.
31. S. Cavalieri and G. Cutuli, "Performance evaluation of OPC UA," in Proc. IEEE Conf. Emerging Technol. Factory Autom., 2010, pp. 1-8.
32. W. Mahnke, S.-H. Leitner, and M. Damm, OPC Unified Architecture. Berlin, Germany: Springer, 2009.
33. R. Kondor, "OPC, XML,. NET and real-time application," Matrikon Inc., 2007.
34. PLCOpen, Oct. 1, 2010. [Online]. Available: Http://www.plcopen.org
35. OMG, Oct. 1, 2010. [Online]. Available: Http://www.omg.org
36. Object Management Group (OMG), "Data acquisition from industrial systems specification," ver. 1.1, 2005.
37. V. F. Wolfe, L. C. DiPippo, R. Ginis, M. Squadrito, S. Wohlevera, I. Zykh, and R. Johnston, "Real-time CORBA," Proc. Real-Time Technol. Appl., pp. 148-157, 1997.
38. I. McGregor, "The relationship between simulation and emulation," in Proc. Winter Simulation Conf., San Diego, CA, 2002, pp. 1683-1688.
39. CoDeSys, Oct. 1, 2010. [Online]. Available: Http://www.3s-software. com
40. Binar AB, Oct. 1, 2010. [Online]. Available: Http://www.binar.se
41. Integration Objects, Jul. 4, 2010. [Online]. Available: Http://www. integ-objects.com
42. F. Xiang, "Towards real-time enabled microsoft windows," in Proc. 5th ACM Int. Conf. Embedded Softw., 2005, pp. 142-146.
43. F. M. Proctor and W. P. Shackleford, "Real-time operating system timing jitter and its impact on motor control," in Proc. SPIE-Int. Soc. Opt. Eng., 2001, vol. 4563, pp. 10-16. (Pubitemid 35187599)
44. B. Lincoln and A. Cervin, "Jitterbug: A tool for analysis of real-time control performance," in Proc. IEEE Conf. Decision Control, 2002, pp. 1319-1324.
45. D. Chen, A. Mok, and M. Nixon, "Real-time support in COM," in Proc. 32nd Annu. Hawaii Int. Conf. Syst. Sci., 1999, p. 87.
46. M. Fabian and A. Hellgren, "PLC-based implementation of supervisory control for discrete event systems," in Proc. IEEE Conf. Decision Control, 1998, vol. 3, pp. 3305-3310.
47. F. Danielsson, "A distributed system architecture for optimizing control logic in complex manufacturing systems," in Proc. ISCA 12th Int. Conf., Atlanta, GA, 1999, pp. 163-167.
48. B. Svensson, D. Danielsson, and B. Lennartson, "A virtual real-time model for control software development-Applied on a sheet-metal press line," in Proc. 3rd Int. Ind. Simulation Conf., Berlin, Germany, 2005, pp. 119-123.
49. T. LeBaron and K. Thompson, "Emulation of a material delivery system," in Proc. Winter Simulation Conf., Part 2 (of 2), Washington, DC, 1998, pp. 1055-1060.
50. Programmable Controller-Part 3: Programming Languages, IEC 61131-3, 2003, 2nd ed..
51. R. W. Lewis, Programming Industrial Control Systems Using IEC 1131-3 Revised edition. London, Institution of Electrical Engineers, 1998.
52. A. Hellgren, M. Fabian, and B. Lennartson, "On the execution of sequential function charts," Control Engineering Practice, vol. 13, pp. 1283-1293, 2005. (Pubitemid 40870026)
53. J. Proenza and S. Vitturi, "Guest editorial special section on industrial communication systems," IEEE Trans. Ind. Informat., vol. 6, no. 3, pp. 365-368, Aug. 2010.
54. F. Benzi, G. S. Buja, and M. Felser, "Communication architectures for electrical drives," IEEE Trans. Ind. Informat., vol. 1, no. 1, pp. 47-53, Feb. 2005. (Pubitemid 40541395)