ADT2AMAS
Tool for transforming Attack-Defense Trees (ADTrees) into Asynchronous Multi-Agent Systems (AMAS).
Dependencies
cmake
-
doxygen
(for documentation)
Build
mkdir build
cd build
cmake ..
make
make install
Run
Once installed, the binary adt2amas
will be in the assets
folder. That is:
-
cd ..
# if you are in thebuild
folder cd assets
./adt2amas
Generate Documentation
To generate the documentation you need to install
Graphviz and replace the step 3 above by cmake .. -DBUILD_DOCS=ON
.
Once installed, the documentation will be in the assets
folder.
Usage
λ> ./adt2amas --help
Attack-Defence Tree tool
Usage: ./adt2amas [OPTIONS] SUBCOMMAND
Options:
-h,--help Print this help message and exit
Subcommands:
transform ADTree transformation into EAMAS
minimal Schedule for minimal attack time and number of agents