FORSCHUNG

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.

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.

Foto: Raphael Reischuk