Navigation

PEA-Toolkit

Kontakt

Leitung

Prof. Dr. Ernst-Rüdiger Olderog

Sekretariat

Andrea Göken

+49-(0)441-798-3121

+49-(0)441-798-2965

A3 2-208

PEA-Toolkit

Einleitung

Das PEA-Toolkit ist ein GPL-lizensiertes Werkzeugpaket für Phasen-EventAutomatan (PEA). 

Es beinhaltet ein Kommandozeilenprogramm, das Testautomaten zu Duration Calculus Testformeln erzeugen kann. Außerdem berechnet es auf Wunsch die Parallelkomposition dieser Testautomaten mit gegebenen PEA-Netzwerken. Die Testformeln und die PEA liegen dabei in einer XML-Repräsentation vor, die durch die XML-Schemata gegeben ist, die unten heruntergeladen werden können. 

Das PEA-Toolkit unterstützt verschiedene Ausgaben, unter anderem ein Format, das von dem Model-Checker ARMC gelesen werden kann.

Ein weiteres, graphisches Entwicklungswerzeug, mit dem PEA (in dem vom PEA-Toolkit lesbaren Format) erstellt werden können, gibt es hier.

Die theoretischen Grundlagen zu PEA sind in [Hoe06] zu finden.

Downloads

ToolVersionBeschreibung 
peatoolkit0.90bDas PEA-Toolkit als binäre Version ohne Quellcode.[.tgz]
peatoolkit0.90bDas PEA-Toolkit als binäre Version mit Quellcode.[.tgz]
peatoolkit0.80bDas PEA-Toolkit als binäre Version ohne Quellcode.[.tgz]
peatoolkit0.80bDas PEA-Toolkit als binäre Version mit Quellcode.[.tgz]
peatoolkit0.79bDas PEA-Toolkit als binäre Version ohne Quellcode.[.tgz]
peatoolkit0.79bDas PEA-Toolkit als binäre Version mit Quellcode.[.tgz]
peatoolkit0.78bDas PEA-Toolkit als binäre Version ohne Quellcode. Version mit verbesserter Unterstützung von Testautomaten und Bug-Fixes.[.tgz]
peatoolkit0.78bDas PEA-Toolkit als binäre Version mit Quellcode. Version mit verbesserter Unterstützung von Testautomaten und Bug-Fixes.[.tgz]
peatoolkit0.76bDas PEA-Toolkit als binäre Version ohne Quellcode.[.tgz]
peatoolkit0.76bDas PEA-Toolkit als binäre Version mit Quellcode.[.tgz]
tf2Latex08/01Ein einfaches Skript zum Übersetzen von XML-Testformeln nach LaTeX.[.tgz]
peaschemasr189Die XML-Schemata für das PEA-Toolkit.[.tgz]
results/examples0.2Eine aktualisierte Variante des ersten Beispielpakets (0.1)[.tgz]
results/examples0.1Dieses Paket beinhaltet experimentelle Daten in Bezug auf die Fallstudie Emergency Treatment in the ETCS. Außerdem sind XML-Dateien mit Testformeln und Automatenmodellen enthalten, sodass unsere Ergebnisse unabhängig überprüft werden können.[.tgz]

Das graphische Entwicklungswerkzeug Moby/PEA ist nicht Teil des PEA-Toolkits, sondern der Moby-Produktreihe.

Weitere Informationen

Für technische Fragen zu dem Toolkit kontaktieren Sie bitte J. Faber, R. Meyer oder J. Hoenicke.

Veröffentlichung (über PEA)

[bibtex]

Webjhtmasrldyteh5vsrdqga (m.giesem58king@uol9hf.de) (Stand: 21.08.2020)