Fault-Injection framework for dependent faults
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
BFT-SMaRt_Hermes
config
nbproject
src/hermes
LICENSE
NOTICE
README.md
build.xml
manifest.mf

README.md

Hermes

Copyright 2013 Rolando Martins, Carnegie Mellon University (CMU)

Fault-Injection framework for Byzantine Fault-Tolerant Protocols.

BFT-SMaRt_Hermes project has the necessary modifications , mainly the aspects, needed to use Hermes. The original BFT-SMaRt implementation at: https://code.google.com/p/bft-smart/ Copyright (c) 2007-2009 Alysson Bessani, Eduardo Alchieri, Paulo Sousa under GPL version 3

Compiling:

Hermes:

BFT-SMaRt_Hermes:

  • Create project with eclipse (from the ant makefile)
  • Create jar using "Export using AspectJ support"