Translation-based model checking for PLC programs
In this paper, we focus on modeling and verification of PLC systems, which are widespread
in industry and manufacture. Our approach is based on a translation procedure from PLC …
in industry and manufacture. Our approach is based on a translation procedure from PLC …
Automatic program verification of continuous function chart based on model checking
ANI Wardana, J Folmer… - 2009 35th Annual …, 2009 - ieeexplore.ieee.org
Continuous function chart (CFC) is a graphical-oriented programming language that is
widely used as application programs in process industry (eg pharmaceutical plants …
widely used as application programs in process industry (eg pharmaceutical plants …
[PDF][PDF] Modeling and simulation using the compositional interchange format for hybrid systems
C Sonntag, RRH Schiffelers, DA van Beek… - International …, 2009 - publications.esi.nl
One of the major challenges towards a broad industrial acceptance of hybrid systems
techniques and tools is the large number of distinct modeling formalisms and the resulting …
techniques and tools is the large number of distinct modeling formalisms and the resulting …
Formal verification of PLC controlled systems using sensor graphs
T Alenljung, B Lennartson - 2009 IEEE International …, 2009 - ieeexplore.ieee.org
This paper describes how a system, consisting of a discrete controller (eg a PLC) that
controls a physical plant/process, can be formally verified. The physical process is assumed …
controls a physical plant/process, can be formally verified. The physical process is assumed …
Measuring and controlling of analog signal based on high-speed I/O port of PLC
H Ma, X Wang, FP Zhou - 2009 International Conference on …, 2009 - ieeexplore.ieee.org
Frequency signal is gotten from voltage signal by external V/F converter, and then is sent to
high-speed counter of PLC. As a host, CPU222 of Siemens S7-200 series PLC is used …
high-speed counter of PLC. As a host, CPU222 of Siemens S7-200 series PLC is used …