Paper Info
Title
Arcade.PLC: a verification platform for programmable logic controllers
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.
Year
DOI
Venue
2012
10.1145/2351676.2351741
ASE
Keywords
Field
DocType
control engineering computing,formal verification,programmable controllers,programming languages,ACTL model checking,Arcade.PLC platform,PLC,counterexample-guided abstraction refinement,past-time LTL model checking,programmable logic controllers,programming language,static analysis,verification platform,PLC,model checking,static analysis
Functional logic programming,Fifth-generation programming language,Programming language,Model checking,Computer science,Static analysis,Simple programmable logic device,Programmable logic controller,Hardware description language,Formal verification
Conference
Citations 
PageRank 
References 
17
0.90
5
Authors
3
Name
Order
Citations
PageRank
Sebastian Biallas1485.77
Jörg Brauer221919.33
Stefan Kowalewski360265.14