This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems

Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit

This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control po

Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approa