Model-Driven Dependability Assessment of Software Systems, Fachbücher von Simona Bernardi, Dorina Corina Petriu, José Me...

Das Fachbuch "Model-Driven Dependability Assessment of Software Systems" bietet eine umfassende Analyse und innovative Techniken zur Bewertung der Zuverlässigkeit von Software-Systemen. In den letzten zwei Jahrzehnten haben Forscher bedeutende Fortschritte bei der Modellierung und Evaluierung von computerbasierten Systemen erzielt, insbesondere in Bezug auf nicht-funktionale Eigenschaften wie Leistung, Skalierbarkeit, Zuverlässigkeit und Sicherheit. Die Autoren präsentieren fortschrittliche modellgetriebene Ansätze, die auf der Verwendung von UML (Unified Modeling Language) als Spezifikationssprache basieren. Diese Techniken ermöglichen es Software-Ingenieuren, nicht-funktionale Eigenschaften in ihre Modelle zu integrieren, was zu einer umfassenderen Analyse der Systemzuverlässigkeit führt. Das Buch behandelt insbesondere die RAMS-Eigenschaften (Zuverlässigkeit, Verfügbarkeit, Wartbarkeit und Sicherheit) und hebt das DAM-Profil (Dependability Analysis and Modeling) hervor, das eine einheitliche Grundlage für die Spezifikation und Analyse von Zuverlässigkeitseigenschaften bietet. Darüber hinaus werden zwei bedeutende Modell-zu-Modell-Transformationstechniken beschrieben, die die Generierung von Analysemodellen unterstützen und eine tiefere Bewertung der verschiedenen RAMS-Eigenschaften ermöglichen.