PEA toolkit
Kontakt
Leitung
Sekretariat
Contact
Head
Secretary
PEA toolkit
Introduction
The PEA toolkit is a GPL-licensed tool package for Phase Event Automatan (PEA).
It contains a command line programme that can generate test automata for duration calculus test formulae. If required, it can also calculate the parallel composition of these test automata with given PEA networks. The test formulae and the PEA are available in an XML representation, which is provided by the XML schemas that can be downloaded below.
The PEA toolkit supports various outputs, including a format that can be read by the model checker ARMC.
Another graphical development tool that can be used to create PEA (in the format readable by the PEA Toolkit) is available here.
The theoretical foundations of PEA can be found in [Hoe06].
Downloads
| Tool | Tool version | Tool description | |
|---|---|---|---|
| peatoolkit | 0.90b | The PEA-Toolkit as binary version without source code. | [.tgz] |
| peatoolkit | 0.90b | The PEA toolkit as binary version with source code. | [.tgz] |
| peatoolkit | 0.80b | The PEA toolkit as binary version without source code. | [.tgz] |
| peatoolkit | 0.80b | The PEA toolkit as a binary version with source code. | [.tgz] |
| peatoolkit | 0.79b | The PEA toolkit as binary version without source code. | [.tgz] |
| peatoolkit | 0.79b | The PEA toolkit as binary version with source code. | [.tgz] |
| peatoolkit | 0.78b | The PEA Toolkit as a binary version without source code. Version with improved support for test automata and bug fixes. | [.tgz] |
| peatoolkit | 0.78b | The PEA-Toolkit as binary version with source code. Version with improved support for test automata and bug fixes. | [.tgz] |
| peatoolkit | 0.76b | The PEA-Toolkit as binary version without source code. | [.tgz] |
| peatoolkit | 0.76b | The PEA toolkit as a binary version with source code. | [.tgz] |
| tf2Latex | 08/01 | A simple script to translate XML test formulas to LaTeX. | [.tgz] |
| peaschemas | r189 | The XML schemas for the PEA toolkit. | [.tgz] |
| results/examples | 0.2 | An updated version of the first sample package (0.1) | [.tgz] |
| results/examples | 0.1 | This package contains experimental data related to the case study Emergency Treatment in the ETCS. It also contains XML files with test formulas and automata models so that our results can be independently verified. | [.tgz] |
The Moby/PEA graphical development tool is not part of the PEA toolkit, but of the Moby product line.