ACMgen
What is ACMgen
ACMgen is an automatic code generator for Asynchronous Communication Mechanisms. At the present time it supports the generation of C++ source code, SMV models and Petri net models of ACMs that allows re-reading or overwriting of data items or both. Next step is the generation of Verilog code.
More details about ACMs and automatic generation of ACMs can be found in the Publications section.
Download it
ACMgen is available under the GPLv2 license and it is currently hosted at github.
How to compile and install it?
You will need the following libraries to compile ACMgen:
libcommons-cli-java (>= 1.0-6)
libglade-java (>= 2.8.3.1-2)
libgtk-java (>= 2.6.2-1) and
libgtk-jni (>= 2.6.2-1)
You will also need the Eclipse tool to compile ACMgen. Extract the files from the .tar.gz file and import then into your workspace. Then compile it. everything should works fine.
How to run it?
The Debian package is installed under your /usr directory tree. The ACMgen provides a command line tool (acmgen.sh) and a GUI interface (gtkacmgen.sh).
To use the GUI, just execute the command:
$ gtkacmgen.sh
and the following window should open into your desktop:
TODO
If you have problems, try to add the following line to the /etc/ld.so.conf file
/usr/lib/jni
To see the command line options use:
$ acmgen.sh -h
usage: acmgen.sh
OPTION: --rrbb | --owbb | --owrrbb
ACTION: --pep | --petrify | --smv | --smvpn | --cpp
-C,--cpp Generates C++ code for the ACM.
-P,--petrify Generates input file for Petrify.
-S,--smvpn Generates input file for SMV with abstract model and
implementation.
-b,--owrrbb Generates a OWRRBB ACM of size , where
is an integer such that > 2.
-h,--help Print this help message.
-o,--owbb Generates a OWBB ACM of size , where is
an integer such that > 2.}}}
-p,--pep Generates input file for PEP describing a low level
Petri net.
-r,--rrbb Generates a RRBB ACM of size , where is
an integer such that > 3.
-s,--smv Generates input file for SMV with abstract model.
If you have problems, please write me.