Qualitatssicherung Softwareintensiver Technischer Systeme - Generierung Aus Objektorientierten Analysemodellen (German, Paperback)

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 ZuverlAssigkeit und VerfA1/4gbarkeit. Zum Teil existieren auch Sicherheitsanforderungen, die bei einigen Systemen Zulassungen durch unabhAngige PrA1/4fstellen erfordern. Die kritischen Anwendungsbereiche verlangen hAufig quantifizierte oder vollstAndige Ergebnisse, die aufgrund der KomplexitAt der betrachteten Systeme werkzeugunterstA1/4tzt erzeugt werden mA1/4ssen. In dem vorliegenden Buch werden innovative Techniken fA1/4r die QualitAtssicherung von komplexen, softwareintensiven technischen Systemen dargestellt, die die genannten Anforderungen erfA1/4llen. Den Schwerpunkt bilden die QualitAtseigenschaften Sicherheit, ZuverlAssigkeit und VerfA1/4gbarkeit. 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.