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:
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 |
||||||||||||||||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |