Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:biallas [2011/11/17 17:51]
biallas [Über mich]
+++ lehrstuhl:mitarbeiter:biallas [2013/03/14 16:56]
biallas [Abgeschlossen]
@@ Zeile 25: / Zeile 25: @@
 ===== Über mich =====
 Ich bearbeitet das DFG Projekt "Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse".
-In diesem Projekt geht es darum, geeignete Abstraktion-Techniken zu finden, dies erlauben Model-Checking und statische Analyse auf SPS-Programme anzuwenden und es so ermöglichen Fehler im Programm zu finden.
+Speicherprogrammierbare Steuerungen (SPSen) sind Steuerungscomputer zur Automatisierung, Regelung und Steuerung von großtechnische 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, dies 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 {{:en:lehrstuhl:mitarbeiter:biallas:cv_biallas.pdf|hier}} erhältlich.
+Mein Lebenslauf ist {{:lehrstuhl:mitarbeiter:biallas:cv_biallas.pdf|hier}} erhältlich.
 ===== Publikationen =====
@@ Zeile 42: / Zeile 45: @@
 ===== Diplom-, Bachelor- und Masterarbeiten =====
-==== In Bearbeitung ====
+==== Offen ====
-  * [[:lehre:abschlussarbeiten:biallas_s7_simulator]]
+  *
-  * [[:lehre:abschlussarbeiten:biallas_fbs_simulator]]
+==== Laufend ====
+  *
+==== Abgeschlossen ====
+ * S7 Simulator für [mc]square
+ * Modulare und Boolesche Abstraktion von SPS-Programmen