Thramboulidis, K.; Soliman, D.; Frey, G.: Towards an Automated Verification Process for Industrial Safety Applications. The 7th Annual IEEE Conference on Automation Science and Engineering (CASE), Trieste, Italy, August 2011.


Legacy systems that do not conform to the normsand regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a methodology to upgrade legacy industrial applications based on the IEC61131 function block model without the need to redesign the whole application. We then describe an approach for automating the verification process of safety applications that is based on the use of the UPPAAL simulation and verification platform for embedded real-time systems. The meta-models of the source and target domains are presented and a transformation process of the PLCopen XMLdesign specification to UPPAAL XML specification is described. A laboratory system is used as a case study to demonstrate the applicability of the proposed process.