Description
(Text)
Um elektronische Systeme, die aus Software- und Hardwarekomponenten bestehen, in sicherheitsgerichteten oder hochsicherheitsgerichteten Anwendungsgebieten einsetzen
zu können, ist es erforderlich, die bestehenden, durch Normen und gesetzgeberische Anordnungen, vorgegebenen Grenzrisikozahlen einzuhalten.
Für die Entwicklung solcher Systeme ist es notwendig, neben den existierenden verfahrenstechnischen Maßnahmen, diese durch mathematische Modellrechnungen zu
verifizieren. Allerdings sind bis heute keine, auch nur ansatzweise, geschlossene Modelle oder mathematische Verfahren bekannt, die es erlauben, eine verlässliche Schätzung der Software-Zuverlässigkeit durchzuführen.
Im Rahmen dieser Dissertation wurde ein neuer Ansatz zur Prognose der kritischen Fehlerrate in Software-Systemen entwickelt. Das neue Verfahren ermöglicht zunächst
kritische Fehler analytisch zu detektieren und anschließend diese mit einem Korrektur-Prozess zu beheben. Der Einsatzbereich des neuen Verfahrens zurVorhersage von kritischen Fehlern bezieht sich auf Bereiche, in denen herkömmliche Vorhersagemodelle an Grenzen stoßen und somit nicht mehr eine verlässliche und zufriedenstellende Prognose erreicht werden kann.
