Verification of Programmable Logic Controllers
Programmable Logic Controllers(PLCs) are used everywhere. International Electrochemical Commission developed a standard for PLC, known as IEC-61131. It supports 5 languages to write programs for PLCs. But none of these languages have inbuilt support for automatic verification. These programs are validated before deploying, but unfortunately testing done is not exhaustive. Some tools are being developed to convert PLC programs into another format which can be verified automatically by existing verification tools such as UPPAAL, KRONOS.