Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
lehrstuhl:mitarbeiter:biallas [2015/09/23 15:17]
biallas [Über mich]
lehrstuhl:mitarbeiter:biallas [2015/09/23 16:36]
biallas [Diplom-, Bachelor- und Masterarbeiten]
Zeile 8: Zeile 8:
 \\ \\
 \\ \\
-Am Lehrstuhl habe ich habe das DFG Projekt "​Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse"​ bearbeitet.+Am Lehrstuhl habe ich 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. 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. In diesem Projekt geht es darum, mittels formaler Methoden Fehler in SPS-Programmen zu finden oder zu beweisen, dass sie ihre Spezifikation erfüllen.
Zeile 15: Zeile 15:
 \\ \\
 \\ \\
 +Ich bin weiterhin unter biallas[at]embedded[dot]rwth-aachen[dot]de erreichbar. ​
 ===== Publikationen ===== ===== Publikationen =====
  
Zeile 25: Zeile 26:
   * Wintersemester 11/12: [[:​lehre:​wise1112:​technische_informatik]]   * Wintersemester 11/12: [[:​lehre:​wise1112:​technische_informatik]]
  
-===== Diplom-, Bachelor- und Masterarbeiten ===== 
  
-==== Offen ==== 
-  * [[lehre:​abschlussarbeiten:​sb_static_analysis_plc_relational_domains]] 
  
-/* 
-==== Laufend ==== 
-  *  
-*/ 
- 
-==== Abgeschlossen ==== 
-  * S7 Simulator für [mc]square 
-  * Modulare und Boolesche Abstraktion von SPS-Programmen