Improving large-sized PLC programs verification using abstractions
Improving large-sized PLC programs verification using abstractions
复制标题
使用抽象改进大型 PLC 程序验证
DOI：
10.3182/20080706-5-kr-1001.00857
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Jean
中科院分区：
文献类型：
--
作者：
V. Gourcuff;O. D. Smet;Jean
本文提出了一种逻辑控制器程序的形式化表示，旨在提高模型检测技术的可扩展性，在验证控制器的外在属性。这种表示只包括对属性证明有意义的状态，并最大限度地减少了每个状态的变量数量。与以前提出的表示比较，在三个复杂性增加的例子的基础上，验证了这种表示，并量化其效率。
This paper proposes a formal representation of logic controllers programs that is aiming at improving scalability of model-checking techniques, when verifying controllers extrinsic properties. This representation includes only the states which are meaningful for properties proof and minimizes the number of variables that feature each state. Comparison with previously proposed representations, on the basis of three increasing complexity examples, validates this representation and quantifies its efficiency.