Qualitätssicherung softwareintensiver technischer Systeme

Technische Systeme beeinflussen weite Bereiche unseres Lebens. Software ist heute bereits oft ein wesentlicher Bestandteil derartiger Systeme, z. B. in der Telekommunikation, der Medizintechnik, der Verkehrstechnik und der Automatisierungstechnik. In der Regel fordert man eine hohe Zuverlässigkeit und Verfügbarkeit. Zum Teil existieren auch Sicherheitsanforderungen, die bei einigen Systemen Zulassungen durch unabhängige Prüfstellen erfordern. Die kritischen Anwendungsbereiche verlangen häufig quantifizierte oder vollständige Ergebnisse, die aufgrund der Komplexität der betrachteten Systeme werkzeugunterstützt erzeugt werden müssen. In dem vorliegenden Buch werden innovative Techniken für die Qualitätssicherung von komplexen, softwareintensiven technischen Systemen dargestellt, die die genannten Anforderungen erfüllen. Den Schwerpunkt bilden die Qualitätseigenschaften Sicherheit, Zuverlässigkeit und Verfügbarkeit. Die Techniken und die im Buch beschriebenen Werkzeuge sind in industriellen Fallstudien und bei der Entwicklung umfangreicher technischer Systeme in unterschiedlichen Anwendungsbereichen erfolgreich eingesetzt worden.