Compositional verification of industrial control systems : methods and case studies

Lukoschus, Ben

The main obstacles in the formal verification of industrial control systems are the lack of precise semantics for its programming languages, and the complexity problems which arise during the verification process. This work addresses both issues by defining an operational semantics for Sequential Function Charts, a widely-used language for Programmable Logic Controllers (PLCs), and by presenting modular and compositional methods to reduce the complexity arising from parallel structures in the system. These methods are illustrated by the verification of two PLC-controlled chemical batch plants.

Preview

Quote

Citation style:

Lukoschus, Ben: Compositional verification of industrial control systems : methods and case studies.

Rights

Use and reproduction:
No CC License (german copyright law applies)

Export