Benutzer: Gast  Login
Originaltitel:
Application-oriented evaluation of fault-tolerant systems 
Jahr:
2009 
Dokumenttyp:
Habilitation 
Institution:
Fakultät für Informatik 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Kurzfassung:
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...    »
 
Mündliche Prüfung:
01.04.2009 
Letzte Änderung:
24.03.2010