Nachweis hoher Softwarezuverlässigkeit auf der Basis von Test- und Betriebserfahrung mit wiederverwendbaren Komponenten

Söhnlein, SvenSaglietti, FrancescaAlkassar, AmmarSiekmann, Jörg2019-04-032019-04-032008978-3-88579-222-2https://dl.gi.de/handle/20.500.12116/21485Dieser Artikel schildert einen neuen Ansatz zur Bewertung komponentenbasierter Softwaresysteme mit hohen Zuverlässigkeitsanforderungen, wie sie typischerweise zur Steuerung sicherheitskritischer Prozesse eingesetzt werden. Basierend auf der Test- bzw. der Betriebserfahrung, die mit wiederverwendbaren Komponenten gewonnen wurde, wird eine genaue Aussage über die Zuverlässigkeit des aus diesen Komponenten bestehenden Gesamtsystems mit entsprechender Aussagesicherheit hergeleitet. Die Vorteile, die sich gegenüber bereits bekannten Verfahren ergeben, betreffen die Nachweisbarkeit höherer Zuverlässigkeitskenngrößen bei vergleichbarem Aufwand bzw. die Reduktion der zum Nachweis erforderlichen Kosten. Dies wird anhand von Beispielen demonstriert.deNachweis hoher Softwarezuverlässigkeit auf der Basis von Test- und Betriebserfahrung mit wiederverwendbaren KomponentenText/Conference Paper1617-5468