• Engineering
  • Published in
    7TH INTERNATIONAL SYMPOSIUM…
     2011

Mixed mode verification of PLC based control systems

@article{Haba2011MixedMV,
  title={Mixed mode verification of PLC based control systems},
  author={Cristian-Gyozo Haba and Radu Cociu and Livia Cociu},
  journal={2011 7TH INTERNATIONAL SYMPOSIUM ON ADVANCED TOPICS IN ELECTRICAL ENGINEERING (ATEE)},
  year={2011},
  pages={1-4}
}
The aim of this paper is to present a method of developing a PLC based control system by introducing an additional verification step. This step can be implemented before the entire equipment is fully functional and ready to be tested thus reducing the development time and revealing bugs in the control system in early phase of development. 
View on IEEE

Figures and Tables from this paper.

Citations

Publications citing this paper.

Symbolic execution of programmable logic controller code

Shengjian Guo, Meng Wu, Chao Wang
  • ESEC/FSE 2017
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

PLCStudio : SIMULATION BASED PLC CODE VERIFICATION

John Mason, Raymond R. Hill, +3 authors John W. Fowler
  • 2008
VIEW 1 EXCERPT

martins, “PLC Controlled Industrial Process On-line Simulator

V. Pinto, J.F.S. Rafael
  • IEEE International Symposium on Industrial Electronics (ISIE 2007),
  • 2007
VIEW 1 EXCERPT

III-Phase Verification and Validation of IEC Standard Programmable Logic Controller

Devinder Thapa, Chang Mok Park, Suraj Dangol, Gi-Nam Wang
  • 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06)
  • 2006
VIEW 1 EXCERPT

Using Smart Relays to Generate Test Signals for Industrial Control Systems ”

L. Breniuc C. G. Haba
  • Proceedings of 6 th International Conference on Electrical and Power Engineering