User: Guest  Login
Original title:
Application-oriented evaluation of fault-tolerant systems 
Year:
2009 
Document type:
Habilitation 
Institution:
Fakultät für Informatik 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Abstract:
Die Arbeit beschreibt einen neuartigen Ansatz zur quantitativen Ermittlung der Zuverlässigkeit, Sicherheit und Verfügbarkeit fehlertoleranter Systeme. Ausgehend von anwendungsspezifischen Eingabemodellen wird ein formales Modell automatisch generiert, das anschließend mit einer breiten Palette bereits existierender Methoden ausgewertet werden kann. Im Rahmen der Arbeit wurden auf Basis dieses Konzepts unterschiedliche Werkzeuge entwickelt, die jeweils auf ein bestimmtes Anwendungsgebiet zugeschn...    »
 
Oral examination:
01.04.2009 
Last change:
24.03.2010