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 evaluate our approach in an industrial case study and report on prototypical tool support.     «

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...     »

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 Anwendung dieses Artefaktmodells vor. Schließlich evaluieren wir unseren Ansatz anhand einer industriellen Fallstudie und beschreiben eine prototypische Werkzeugunterstützung.     «

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...     »