Benutzer: Gast  Login
Originaltitel:
Verifying Families of System Configurations 
Übersetzter Titel:
Verifikation von Systemkonfigurationsfamilien 
Jahr:
2008 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Prof. Dr. Dr. h.c. Manfred Broy 
Gutachter:
Prof. Dr. Helmut Veith 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
families of system configurations; verification; configuration selection 
Übersetzte Stichworte:
Verifikation von Systemfamilien; Konfigurationsauswahl 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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...    »
 
Schlagworte:
Produktfamilie ; Eingebettetes System ; Verifikation ; Konfiguration ; Requirements engineering ; Qualitätssicherung 
Letzte Änderung:
12.02.2014