PEA-Toolkit
Kontakt
Leitung
Sekretariat
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
| Tool | Version | Beschreibung | |
|---|---|---|---|
| peatoolkit | 0.90b | Das PEA-Toolkit als binäre Version ohne Quellcode. | [.tgz] |
| peatoolkit | 0.90b | Das PEA-Toolkit als binäre Version mit Quellcode. | [.tgz] |
| peatoolkit | 0.80b | Das PEA-Toolkit als binäre Version ohne Quellcode. | [.tgz] |
| peatoolkit | 0.80b | Das PEA-Toolkit als binäre Version mit Quellcode. | [.tgz] |
| peatoolkit | 0.79b | Das PEA-Toolkit als binäre Version ohne Quellcode. | [.tgz] |
| peatoolkit | 0.79b | Das PEA-Toolkit als binäre Version mit Quellcode. | [.tgz] |
| peatoolkit | 0.78b | Das PEA-Toolkit als binäre Version ohne Quellcode. Version mit verbesserter Unterstützung von Testautomaten und Bug-Fixes. | [.tgz] |
| peatoolkit | 0.78b | Das PEA-Toolkit als binäre Version mit Quellcode. Version mit verbesserter Unterstützung von Testautomaten und Bug-Fixes. | [.tgz] |
| peatoolkit | 0.76b | Das PEA-Toolkit als binäre Version ohne Quellcode. | [.tgz] |
| peatoolkit | 0.76b | Das PEA-Toolkit als binäre Version mit Quellcode. | [.tgz] |
| tf2Latex | 08/01 | Ein einfaches Skript zum Übersetzen von XML-Testformeln nach LaTeX. | [.tgz] |
| peaschemas | r189 | Die XML-Schemata für das PEA-Toolkit. | [.tgz] |
| results/examples | 0.2 | Eine aktualisierte Variante des ersten Beispielpakets (0.1) | [.tgz] |
| results/examples | 0.1 | Dieses 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]