Zuverlassigkeitsbewertung komplexer Systeme mit Stochastischen Petri-Netzen und TimeNET

摘要

Die Zuverlassigkeit komplexer technischer Systeme hangt oft von ihrem dynamischen Verhalten ab. Petri-Netze sind sehr viel besser als klassische Modelle zuverlassiger Systeme dazu geeignet, derartige Ablaufe zu beschreiben. Vorschlage dazu macht die Norm IEC 62551 (Analysis techniques for dependability - Petri net techniques). Fur hinreichend komplexe bzw. nicht rein Markovsche Systeme lasst sich nur Simulation zur Berechnung der Zuverlassigkeitskenngrossen einsetzen. Ein offenes Problem ist hier aber die sehr lange Laufzeit fur die statistisch abgesicherte Bestimmung sehr kleiner (Ausfall-)Wahrscheinlichkeiten. Der Beitrag beschreibt stochastische Petri-Netze in der Zuverlassigkeitsmodellierung und das RESTART-Verfahren zu ihrer beschleunigten Simulation. Das Softwarewerkzeug TimeNET wird vorgestellt, mit dem stochastische Petri-Netze fur zuverlassige Systeme benutzerfreundlich modelliert und effizient untersucht werden konnen. Ein Anwendungsbeispiel zeigt Moglichkeiten und Vorteile der Methode.