Dissertation (Metadaten)
Titel:Software Verification for Programmable Logic Controllers
Autor:Ralf Huuck
Fakultät:Technische Fakultät
DDC Sachgebiet:004 Informatik
Datum der mdl. Prüfung:17.04.2003
Referent(in):Prof. Dr. Yassine Lakhnech
Korreferent(en) Korreferentin:Prof. Dr. Willem-Paul de Roever, Dr. habil. Oded Maler, Prof. Dr. Thomas Wilke
Beschreibung (original):Programmable logic controllers (PLCs) occupy a big share in automation control. Their programming languages are, however, born out of historical needs and do not comply to state-of-the art programming concepts. Moreover, programming is mostly undertaken by the designers of the control systems. In sum this adds to the creation of erroneous software and, even more, unsafe control systems. In this work we focus on the software verification aspects for PLCs. For two selected programming languages, Sequential Function Charts (SFC) and Instruction List (IL) we discuss semantic issues as well as verification approaches. For SFCs we develop a model checking framework while for IL we suggest static analysis techniques, i.e., a combination of data flow analysis and abstract interpretation. Several case studies corrobate our approach.
(übersetzt):keine dt.-spr. Zusammenfassung
Schlagworte:Sequential Function Charts ; Model checking ; Instruction List Software Verification, Programmable Logic Controllers, Sequential Function Charts, Instruction List, Model-checking, Abstract interpretation, Data Flow Analysis, Embedded Systems, Control Systems, Semantics
Speicherprogrammierte Steuerung ; Semantik ; Verifikation ; Statische Analyse
d726.pdf (980 kB)    ZIP generieren   Details >>