A Survey on PLC in industrial Safety

Authors

  • Ajay Sudhir Bale CMR University
  • Aditya Khatokar J.
  • Bhargava S.

DOI:

https://doi.org/10.3759/joise.v6i3.3473

Abstract

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.

References

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.

Downloads

Published

2019-12-23

Issue

Vol. 6 No. 3 (2019)

Section

Review Article

License

Declaration and Copyright Transfer Form

(to be completed by authors)

I/ We, the undersigned author(s) of the submitted manuscript, hereby declare, that the above manuscript which is submitted for publication in the STM Journals(s), is not published already in part or whole (except in the form of abstract) in any journal or magazine for private or public circulation, and, is not under consideration of publication elsewhere.

  • I/We will not withdraw the manuscript after 1 week of submission as I have read the Author Guidelines and will adhere to the guidelines.
  • I/We Author(s ) have niether given nor will give this manuscript elsewhere for publishing after submitting in STM Journal(s).
  • I/ We have read the original version of the manuscript and am/ are responsible for the thought contents embodied in it. The work dealt in the manuscript is my/ our own, and my/ our individual contribution to this work is significant enough to qualify for authorship.
  •  I/We also agree to the authorship of the article in the following order:

Author’s name                                    

 

1. ________________

2. ________________

3. ________________

4. ________________

 

We  Author(s) tick this box and would request you to consider it as our signature as we agree to the terms of this Copyright Notice, which will apply to this submission if and when it is published by this journal.