Arcade.PLC: a verification platform for programmable logic controllers
- 3 September 2012
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 338-341
- https://doi.org/10.1145/2351676.2351741
Abstract
This paper introduces Arcade.PLC, a verification platform for programmable logic controllers (PLCs). The tool supports static analysis as well as ACTL and past-time LTL model checking using counterexample-guided abstraction refinement for different programming languages used in industry. In the underlying principles of the framework, knowledge about the hardware platform is exploited so as to provide efficient techniques. The effectiveness of the approach is evaluated on programs implemented using a combination of programming languages.Keywords
This publication has 5 references indexed in Scilit:
- Improving large-sized PLC programs verification using abstractionsIFAC Proceedings Volumes, 2008
- Efficient Representation for Formal Verification of PLC ProgramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Towards the automatic verification of PLC programs written in Instruction ListPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formal verification of PLC programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1998
- Modeling programmable logic controllers for logic verificationIEEE Control Systems, 1994