Current industrial applications demand the design of more and more complex, safe and
trustworthy control systems exhibiting a high degree of flexibility and reutilization. To achieve …

This paper presents an approach to the verification of programs for programmable logic
controllers (PLCs) using SMV, a software package for formal verification of state transition …

The transition between the supervisory control theory (SCT) and its implementation in
programmable logic controllers (PLCs) is not straightforward. This is mainly due to the fact …

Component-based programming frameworks for industrial control logic development
promise to shorten development and modification times, and to reduce programming errors …

Currently there is a wide variety of logic control design methodologies used in industrial
logic design. These methodologies include ladder diagrams, function block diagrams …

Automated production systems are usually driven by Programmable Logic Controllers
(PLCs). These systems are long-living–yet have to adapt to changing requirements over …

The paper describes a formal method for automatic generation of programs for PLC
controllers. The method starts from modeling the desired behavior of the system under …

The application of Programmable Logic Controllers (PLCs) in safety critical systems
demands a failure free behavior considering all possible scenarios. Due to the cost of …

Providing proof of correctness is of the utmost importance for safety-critical systems, many of
which are based on Programmable Logic Controllers (PLCs). One widely used …

Current production plants are highly customizable and flexible in their processes. This
flexibility is mainly realized by software. It causes an increasing complexity of control …