Zuverlassigkeitsmodellierung und -berechnung rechner-basierter Sicherheitsleittechnik mit Hilfe des CPN- und des erweiterten MCBFR-Modells

摘要

In diesem Paper wird der Einsatz des Colored Petri Nets (CPN) fur die Zuverlassigkeitsmo-dellierung eines rechnerbasierten sicherheitsleittechnischen Systems beschrieben. Dadurch kann der Modellierungsaufwand fur solche Systeme mit hochredundanter Struktur reduziert werden. Das CPN Modell kann anschliessend leicht in ein Fehlerbaummodell umgewandelt werden fur die weitere qualitative und quantitative Analyse. Fur die notwendige Berucksichtigung von gemeinsam verursachten Ausfallen (GVA bzw. CCF = Common Cause Failure) bei der Bestimmung der Versagenswahrscheinlichkeit der Sicherheitsfunktionen wird das erweiterte Multi Class Binomial Failure Rate (MCBFR)-Modell verwendet.