| Sie sind hier: I3v-Infosystem > Universität Mannheim > Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Institut für Informatik und Wirtschaftsinformatik |
|
| Lehrstuhl für Praktische Informatik II | |
|
|
|
|
|
||||||||||||||
| Informationen zur Einrichtung |
|
Forschungsschwerpunkte - Spezifikation und Verifikation reaktiver Systeme Ein reaktives System ist ein System, das eine Reihe von Diensten anbietet, über die es mit der Umgebung kooperiert. Es werden verschiedene Mechanismen untersucht, die die systematische Konstruktion reaktiver Systeme unterstützen und es erlauben Aussagen über das Verhalten reaktiver Systeme zu gewinnen; wie z.B. wann ein System ein Anderes verfeinert oder simuliert. Dabei werden Modelle wie z.B. Transitionssysteme, Ereignisstrukturen, Petrinetze, Modal- und Temporallogik herangezogen. - Algorithmische Verifikation Probabilistischer Systeme Probabilistische Systeme sind z.B. Systeme, die mit einem technischen Prozess gekoppelt sind, der sich probabilistisch verhält oder Systeme, die randomisierte Komponenten enthalten, z.B. randomisierte Algorithmen. Es werden verschiedene Ansätze zur Analyse probabilistischer Systeme untersucht: temporale Logik, prozessalgebraische Methoden und symbolische Verifikation, die BDDs (binary decision diagrams) benutzt. DFG-Projekte - Aktionsverfeinerung in Modellen reaktiver Systeme; abgeschlossen - Spezifikationsformalismen und der Entwurf von Verifikationsmethoden für probabilistische reaktive Systeme; abgeschlossen - Unterspezifikation in Prozessalgebren; abgeschlossen - Äquivalenzen zur Verifikation Stochastischer Systeme |
|
|
|
|
| Redaktion: | Aktualisiert am 01.02.2012 um 10:27 |
