Dissertation (Metadaten)
Titel:Compositional verification of industrial control systems : methods and case studies
 
Autor:Ben Lukoschus
 
URN:NBN:urn:nbn:de:gbv:8-diss-13988
 
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
 
Dokumente:
d1398.pdf (949 kB)    ZIP generieren   Details >>