Range and value-set analysis for programmable logic controllers
Range and value-set analysis for programmable logic controllers
复制标题
可编程逻辑控制器的范围和值集分析
DOI：
10.3182/20121003-3-mx-4033.00060
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Bastian Schlich
中科院分区：
文献类型：
--
作者：
Sebastian Biallas;S. Kowalewski;Bastian Schlich
摘要 本文介绍了一种分析方法，用于推断在可编程逻辑控制器上运行的程序的范围和值集信息。给定一个程序，该算法利用抽象模拟收集所有可能的程序执行中所有变量的所有可能值。这些值集构成了程序行为的过度近似值，因此可用于直接检测潜在的错误行为。对于实际应用而言，这种方法无需预处理或人工干预即可自动运行，这一点至关重要。该方法在 Arcade.PLC 框架中实施，并在一个工业案例研究中进行了评估。
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.