π-Tool

In der Praxis werden zur Durchführung einer RAMS-Analyse (Reliability, Availability, Maintabiltiy, Safety) verschiedene Beschreibungsmittel und Softwarewerkzeuge eingesetzt. Mit Hilfe von Petrinetz-Modelle können jedoch alle vier Aspekte anhand nur eines Modells bewertet werden. Allerdings wird die Modellierung realer Systeme mittels einfacher Petrinetze schnell sehr komplex. Komplexe hierarchische Petrinetz-Modelle auf einer Seite übersichtlich zu modellieren ist meist unmöglich. Um trotzdem die Vorteile dieser Beschreibungsart, wirkungsvoll nutzen zu können ist eine strukturierte Vorgehensweise nötig.

Ziel ist…

…eine rechnerunterstütze, übersichtliche Petrinetz-Modellierung realer Systeme mit vollständiger RAMS-Analyse zu ermöglichen. Neben der grafischen Modellierung soll also durch weitere Features eine Simulation und und Analyse des modellierten Systems bereitgestellt werden.

Entwickelte Lösung

π-Tool bietet eine übersichtliche Oberfläche zum Erstellen umfangreicher Systemmodelle anhand von Petri-Netzen. Es ermöglicht die visualisierten Simulation (“Tokengame”) und Analyse des Modells und identifiziert im Modell enthaltene Deadlocks. Den Transitionen können alle gebräuchlichen stochastischen Verteilungen zugeordnet werden. Mittels der so durch Simulation ermittelbaren Schaltraten der einzelnen Transitionen lassen sich alle Werte der RAMS-Aspekte einfach ablesen. Dabei bedient sich Pi-Tool verschiedener Analyse-Methoden, sowohl zustandbasierter als auch stochastischer Natur, um das System ausreichend zuverlässig betrachten zu können.

• Markenspiel – Animation der Schaltvorgänge
• Hervorheben aktiver Transitionen
• Erzwingen von gewünschten Schaltvorgängen
• Deadlock-Identifikation
• Berechnung von Werten aller RAMS-Aspekte
• Berechnung der wahrscheinlichsten Schaltfolge jeder Transition
• Belegen von Transitionen mit allen gebräuchlichen stochastischen Verteilungen
• Software auf Kundenwunsch anpassbar

Systemanforderungen

• 100MB Festplattenspeicher
• 1024×768 Monitorauflösung
• 1GB Arbeitsspeicher
• 1GHz Prozessorleistung

Weitere Informationen finden Sie hier