Paper Info
Title
Range and value-set analysis for programmable logic controllers.
Abstract
This paper presents an analysis to infer range and value-set information for programs operating on programmable logic controllers. Given a program, the algorithm gathers all possible values of all variables for all possible program executions using abstract simulation. The set of these values constitutes an over-approximation of the program behavior and can thus be used to directly detect potential misbehavior. Crucially for practical applications, this approach works automatically without preprocessing or manual intervention. The approach is implemented in the Arcade.PLC framework and evaluated on a case study from industry.
Year
DOI
Venue
2012
10.3182/20121003-3-MX-4033.00060
IFAC Proceedings Volumes
Keywords
DocType
Volume
Formal verification,Programmable logic controllers,Industry automation,Software tools,Software safety
Conference
45
Issue
ISSN
Citations 
29
1474-6670
0
PageRank 
References 
Authors
0.34
2
3
Name
Order
Citations
PageRank
Sebastian Biallas1485.77
Stefan Kowalewski260265.14
Bastian Schlich321417.98