Dissertation (Metadaten)
Titel:Compositional verification of industrial control systems : methods and case studies
Autor:Ben Lukoschus
Fakultät:Technische Fakultät
DDC Sachgebiet:660 Technische Chemie
Datum der mdl. Prüfung:16.07.2004
Referent(in):Prof. Dr. Willem-Paul de Roever
Korreferent(en) Korreferentin:Prof. Dr.-Ing. Sebastian Engell, Prof. Dr.-Ing. Stefan Kowalewski
Beschreibung: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.
Schlagworte:industrial control systems, programmable logic controllers, sequential function charts, condition/event systems, hybrid systems, chemical batch plants, formal methods, formal verification, compositional reasoning, model checking
Chemieanlage ; Prozessregelung ; Programmierbare Steuerung ; Verifikation ; Formale Methode ; Bedingungs-Ereignis-System
d1398.pdf (949 kB)    ZIP generieren   Details >>