Benutzer: Gast  Login
Originaltitel:
Specification and Analysis of Availability for Software-Intensive Systems 
Übersetzter Titel:
Spezifikation und Analyse der Verfügbarkeit von software-intensiven Systemen 
Jahr:
2016 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Gutachter:
Broy, Manfred (Prof. Dr. Dr. h.c.); Reussner, Ralf (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
software intensive systems, availability, modeling, specification, analysis 
Übersetzte Stichworte:
Software-intensive Systeme, Verfügbarkeit, Modellierung, Spezifikation, Analyse 
TU-Systematik:
DAT 310d 
Kurzfassung:
Many technical systems need to guarantee a specific level of availability. Therefore, predicting the availability of a system early is often necessary. In this thesis, we suggest a method for specifying and analyzing availability requirements of a system. We extend an existing artifact model for software-intensive systems by additional artifacts capturing availability properties. We furthermore provide a method that supports the systematic application of our artifact model. Finally, we evaluat...    »
 
Übersetzte Kurzfassung:
Viele technische Systeme müssen einen bestimmten Grad an Verfügbarkeit garantieren. Daher ist es oft notwendig, die Verfügbarkeit eines Systems schon früh vorherzusagen. In dieser Dissertation schlagen wir eine Methode für die Spezifikation und Analyse von Verfügbarkeitsanforderungen vor. Wir erweitern ein bestehendes Artefaktmodell für software-intensive Systeme mit zusätzlichen Artefakten zur Erfassung von Verfügbarkeitseigenschaften. Wir stellen außerdem eine Methode zur systematischen Anwend...    »
 
Mündliche Prüfung:
26.10.2016 
Dateigröße:
4680507 bytes 
Seiten:
176 
Letzte Änderung:
19.12.2016