Publisher's Synopsis
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 Zuverlssigkeit und Verfgbarkeit. Zum Teil existieren auch Sicherheitsanforderungen, die bei einigen Systemen Zulassungen durch unabhngige Prfstellen erfordern. Die kritischen Anwendungsbereiche verlangen hufig quantifizierte oder vollstndige Ergebnisse, die aufgrund der Komplexitt der betrachteten Systeme werkzeuguntersttzt erzeugt werden mssen. In dem vorliegenden Buch werden innovative Techniken fr die Qualittssicherung von komplexen, softwareintensiven technischen Systemen dargestellt, die die genannten Anforderungen erfllen. Den Schwerpunkt bilden die Qualittseigenschaften Sicherheit, Zuverlssigkeit und Verfgbarkeit. 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.
