User: Guest  Login
Original title:
Verifying Families of System Configurations 
Translated title:
Verifikation von Systemkonfigurationsfamilien 
Year:
2008 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Prof. Dr. Dr. h.c. Manfred Broy 
Referee:
Prof. Dr. Helmut Veith 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
families of system configurations; verification; configuration selection 
Translated keywords:
Verifikation von Systemfamilien; Konfigurationsauswahl 
Abstract:
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, assoc...    »
 
Translated abstract:
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 di...    »
 
ISBN:
978-3-8322-7285-2 
Controlled terms:
Produktfamilie ; Eingebettetes System ; Verifikation ; Konfiguration ; Requirements engineering ; Qualitätssicherung 
Last change:
29.01.2019