Open Access Open Access  Restricted Access Subscription or Fee Access

A Survey on PLC in industrial Safety

Ajay Sudhir Bale, Aditya Khatokar J., Bhargava S.


Programmable Logic Controllers (PLC) plays an important role in providing integrated safety functionalities which allows it to control all other systems. The complexity in various methodologies requires the correctness of software for the applications which are very critical. The PLC software has to abide by the specification and it is a very challenging task. The current study introduces various methodologies and techniques which provide reliability and safety to control systems. The various problems in checking the safety to liveness properties are discussed here.

Full Text:



Angelika Mader. A Classification of PLC models and applications. Discrete Event Systems. 2000.

Ajay Sudhir Bale, Ummar Farooq, Shivashankar Huddar. Automated Diesel Transfer system using PLC. Journal of Industrial safety and Engineering. 2019.

Borja Fernandez Adiego, Daniel Darvas, Enrique Blanco Vinuela et al. Applying Model Checking to Industrial-Sized PLC Programs. IEEE Transactions on Industrial Informatics. Volume: 11. Issue: 6, Dec. 2015.

Saman Zonouz, Julian Rrushi, Stephen McLaughlin. Detecting Industrial Control Malware using Automated PLC Code analytics. IEEE Security and Privacy, 12(6), 40-47.

Darvas D, Majzik I, Blanco Vinuela E. Formal Verification of safety PLC based Control Software in: Abraham E. Huisman M (Eds) Integrated Formal Methods. IFM 2016. Lecture Notes in Computer Science, volume 9681. Springer, Chem.

F J Molina, J Barbancjo, C Leon et al. Using Industrial Standards on PLC Programming Learning. Proceedings of the 16th Meditarrian Conference on Control and Automation. July 27-28. 2007. Athens Greece.



  • There are currently no refbacks.