PROJECT TITLE :

Learning Time Delay Mealy Machines From Programmable Logic Controllers

ABSTRACT:

Programmable logic controllers (PLCs) are computers that are hardened for industrial environments and have I/O that are used to observe and control a physical method. Learning automata specifications from PLCs provides an interface to verification tools that use an automata language, like Uppaal. This paper introduces the time delay Mealy machine and demonstrates that it's sufficiently expressive to model PLC software. Using the LearnLib library, we have a tendency to implement a custom learning method to find out models from many industrial examples and analyze the efficiency. We have a tendency to show that the method is able to find out from straightforward PLC software, but the time required to learn increases rapidly with the dimensions of the software.