HYPEG - Ein Tool für die Simulation und Analyse von HPnG Modellen
Für die Modellierung von kritischen Infrastrukturen werden hybride Modelle benötigt, die sowohl diskrete als auch kontinuierliche Komponenten enthalten (z.B. für die Modellierung von diskret gesteuerten physikalischen Systemen). Zusätzlich beschreiben Zufallsvariablen das Auftreten von zufälligen Ereignissen, wie zum Beispiel den Ausfall von Systemkomponenten.
Sogenannte stochastische hybride Systeme wurden in der Vergangenheit schon erfolgreich verwendet, um sicherheitskritische Anwendungen zu modellieren. Sie sind gut geeignet, um den Verlauf von physikalischen Systemen benutzerfreundlich darzustellen.
Neben der Entwicklung neuer Methoden und Techniken ist die Tool-Entwicklung ein weiterer Schwerpunkt der Arbeitsgruppe. Dies ermöglicht den Vergleich von Methoden und Ergebnissen und erleichtert außerdem die Bewertung von realistischen Systemen. Der Fokus der Implementierung liegt auf dem Modellformalismus der hybriden Petri-Netze mit General Transitions (HPnG).
HYPEG
Im Laufe der Zeit wurden viele Algorithmen entwickelt, die für die Analyse and Simulation von HPnG-Modellen verwendet wurden. Ziel von HYPEG ist es all diese in einer Java-Softwarebibliothek zu vereinen. Dies verschafft zum einen einen deutlich besseren Überblick. Des weiteren verringert diese einheitliche Codebasis die Redundanz und somit den Wartungsaufwand enorm. Außerdem soll HYPEG eine komfortable Grundlage für die Erweiterung in Bachelor- und Masterarbeiten sowie anderen Forschungsprojekten darstellen.
Links
HYPEG steht als OpenSource Software auf Git zur Verfügung, einschließlich eines Wikis zur Einführung.
Visualisierung mit TimeNET
TimeNET ist eine graphische Benutzeroberfläche die die Implementierung von Netzgraphen deutlicher vereinfacht. Wir haben in TimeNET den Formalismus der hybriden Petri-Netze implementiert und auf diese Weise die Erstellung von HPnG-Modellen deutlich komfortabler gestaltet. Aktuell befindet sich die Integration von HYPEG in TimeNET in Entwicklung. Dies bietet uns eine all-in-one Software sowohl für die Modellierung als auch die Analyse und Simulation komplexer hybrider Petri-Netze.
Kontakt
Sollten Sie Fragen haben, zögern Sie bitte nicht, sich mit den Autoren in Verbindung zu setzen: