Testing and validation of safety logic in the virtual environment

Liu, 2012 Z. Liu, C. Diedrich, N. Suchold, https://www.intechopen.com/books/automation/virtualcommissioningofautomated-systems, Virtual Commissioning of Automated Systems, INTECH Open Access Publisher, 2012. ABB, ABB Reduces Project Cost for Drives Through Virtual Commissioning by 25 percent, http://www.abb.com/cawp/seitp202/0f58dfe7b53b6829c12581d90064cf06.aspx. Hoffmann, 2010, Virtual Commissioning of Manufacturing Systems a Review and New Approaches for Simplification, 24th European Conference on Modelling and Simulation (ECMS 2010), 175 Mathias, 2014, Automatic Model Generation for Virtual Commissioning Based on Plant Engineering Data, IFAC Proceedings, 47, 11635, 10.3182/20140824-6-ZA-1003.01512 Seidel, 2012, Towards an Integrated Simulation and Virtual Commissioning Environment for Controls of Material Handling Systems, Proceedings of the Winter Simulation Conference, Winter Simulation Conference, 252 Dahl, 2016, Integrated Virtual Preparation and Commissioning: Supporting Formal Methods During Automation Systems Development, IFAC-PapersOnLine, 49, 1939, 10.1016/j.ifacol.2016.07.914 L. Fransén, National Electric Vehicle Sweden, Manufacturing Engineer, Private Conversation. Ljungkrantz, 2012, Towards Industrial Formal Specification of Programmable Safety Systems, IEEE Transactions on Control Systems Technology, 20, 1567, 10.1109/TCST.2011.2169262 Utting, 2007 Mikucionis, 2004, T-UPPAAL: Online Model-Based Testing of Real-Time Systems, 396 Siemens, Process Simulate, https://www.plm.automation.siemens.com. ELMIA, Digital Manufacturing Software, https://www.3ds.com/products-services/delmia/. Lee, 2014, Survey on the Virtual Commissioning of Manufacturing Systems, Journal of Computational Design and Engineering, 1, 213, 10.7315/JCDE.2014.021 Winther, 2017 Dominka, 2007, Hybrid Commissioning-Speeding-Up Commissioning of Field Bus Driven Production Plants, 1 Kain, 2011, Methodology for reusing real-Time Hil Simulation Models in the Commissioning and Operation Phase of Industrial Production Plants, Edited by Ganesh R. Naik, 143 Canet, 2000, Towards the Automatic Verification of PLC Programs Written in Instruction List, 2449 Provost, 2011, Translating Grafcet Specifications into Mealy Machines for Conformance Test Purposes, Control Engineering Practice, 19, 947, 10.1016/j.conengprac.2010.10.001 Perin, 2013, Building Meaningful Timed Models of Closed-Loop DES for Verification Purposes, Control Engineering Practice, 21, 1620, 10.1016/j.conengprac.2012.05.002 Riera, 2011, Robust Control Filter for Manufacturing Systems: Application to PLC Training, IFAC Proceedings, 44, 14265, 10.3182/20110828-6-IT-1002.01976 Frey, 2000, Formal Methods in PLC Programming, 2431 Khan, 2017, Virtual Engineering Framework for Automatic Generation of Control Logic Including Safety, 648 Cassandras, 2009 Tretmans, 1996, 46 Khan, 2018, Digital Twin for Legacy Systems: Simulation Model Testing and Validation Gregorio-Rodríguez, 2013, Input–Output Conformance Simulation (IOCOS) for Model Based Testing, 114 Swathanandan, 2018 Siemens, Simatic-s7-1500 plc, https://www.siemens.com/global/en/home/products/automation/systems/industrial/plc/simatic-s7-1500html. Siemens, Simba pnio hardware platform. https://cache.industry.siemens.com/dl/files/344/109475344/att926827/v1/HelpEN.pdf. Siemens, Wincc, https://w3.siemens.com/mcms/human-machine-interface/en/visualization-software/scada/simatic-wincc/pages/default.aspx. Claessen, 2011, Quickcheck: A Lightweight Tool for Random Testing of Haskell Programs, ACM Sigplan Notices, 46, 53, 10.1145/1988042.1988046