Dies ist eine alte Version des Dokuments!
Wissenschaftlicher Mitarbeiter
Tel. +49 241 80 21158
Fax +49 241 80 22150
Email: biallas[at]embedded[dot]rwth-aachen[dot]de
Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2325 (Gebäude H)
Sprechstunde: nach Vereinbarung
Ich habe das DFG Projekt „Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse“ bearbeitet.
Speicherprogrammierbare Steuerungen (SPSen) sind Steuerungscomputer zur Automatisierung, Regelung und Steuerung von großtechnischen Anlagen und Maschinen.
In diesem Projekt geht es darum, mittels formaler Methoden Fehler in SPS-Programmen zu finden oder zu beweisen, dass sie ihre Spezifikation erfüllen.
Insbesondere ist es dazu nötig, geeignete Abstraktion-Techniken zu entwickeln, die es erlauben, Berechnungsschritte auf einer großen Menge von Werten gleichzeitig auszuführen.
Erst so ist es möglich, die Analysen auf größere SPS-Programme anzuwenden.
Mein Lebenslauf ist hier erhältlich.