FORSCHUNG

Forschungsschwerpunkt

Das Arbeitsgebiet Verlässliche Systeme und Software umfasst sämtliche Aspekte modellbasierter Garantieen für Leistung and Verlässlichkeit von Systemen mit mindestens einer der folgenden Eigenschaften:




reaktiv,
eingebettet,
verteilt,
mobil,
vernetzt,
Batterie betrieben,
mit beschränkten Ressourcen operierend.

Methoden und Werkzeuge

Diverse Methoden und Werkzeuge kommen zum Einsatz, oder werden innerhalb de Arbeitsgruppe entwickelt, um den State-of-the-Art voranzutreiben. Diese Methoden kombinieren Ideen aus drei Bereichen, die typischerweise nur isoliert betrachtet werden: stochastische Modellierung, exhaustive Verifikation, und Prozeßtheorie. Mehr Details geben die folgenden Links preis.

 


Aktuelle Forschungsaktivitäten


Aktuelle Forschungsprojekte



Foto: Raphael Reischuk