One important future challenge due to increasing complexity and individuality of vehicle systems is the systematic selection of a small set of configurations, such that the successful verification of this set implies the correctness of the entire product family. In this dissertation, we introduce an approach to this challenge, which addresses the following aspects: (1) The definition of a requirement based coverage degree for families of system configurations, which quantifies, how risk, associated with the entire product family, can be reduced by verifying any given set of configurations, (2) the exploration of appropriate methods to systematically identify communalities between configurations and (3) the development of strategies to select configurations in order to optimize coverage and exploit communalities. We empirically examine our methodology on several real world families of system configurations from the automotive domain.     «

One important future challenge due to increasing complexity and individuality of vehicle systems is the systematic selection of a small set of configurations, such that the successful verification of this set implies the correctness of the entire product family. In this dissertation, we introduce an approach to this challenge, which addresses the following aspects: (1) The definition of a requirement based coverage degree for families of system configurations, which quantifies, how risk, associ...     »

Eine Herausforderung bei der Verifikation von Fahrzeugsystemen, die in Zukunft beherrscht werden muss, falls Komplexität und Individualität von Fahrzeugsystemen weiterhin steigen, ist die systematische Auswahl kleiner Mengen an Systemkonfigurationen, deren Verifikation die korrekte Funktion aller Konfigurationen impliziert. Diese Dissertation widmet sich dieser Herausforderung und umfasst: (1) Die Definition eines anforderungsbasierten Abdeckungsgrades für Systemkonfigurationsfamilien, der die Reduktion des mit einer solchen Familie verbundenen Risikos, durch Verifikation einer gegebenen Menge an Konfigurationen, quantifiziert, (2) Methoden zur systematischen Erkennung von Gemeinsamkeiten zwischen Konfigurationen und (3) Strategien zur Konfigurationsauswahl, die den Abdeckungsgrad optimieren und Gemeinsamkeiten zwischen Konfigurationen nutzen. Der Ansatz wird an Fallstudien aus dem Automotive-Bereich ausführlich empirisch evaluiert.      «

Eine Herausforderung bei der Verifikation von Fahrzeugsystemen, die in Zukunft beherrscht werden muss, falls Komplexität und Individualität von Fahrzeugsystemen weiterhin steigen, ist die systematische Auswahl kleiner Mengen an Systemkonfigurationen, deren Verifikation die korrekte Funktion aller Konfigurationen impliziert. Diese Dissertation widmet sich dieser Herausforderung und umfasst: (1) Die Definition eines anforderungsbasierten Abdeckungsgrades für Systemkonfigurationsfamilien, der die...     »