This repository contains the Omnet++ code for the ICDCS'21 paper Practical Byzantine Reliable Broadcast on Partially-Connected Networks. The code used to generate K-pasted and K-diamond graphs comes from BFT-ReliableCommunication

You can cite this work using the following bibtex entry:

@inproceedings{bonomi2021practical,
	title={Practical Byzantine Reliable Broadcast on Partially-Connected Networks},
	author={Bonomi, Silva and Decouchant, J{\'e}r{\'e}mie and Farina, Giovanni 
		and Rahli, Vincent and Tixeuil, S\'{e}bastien},
	booktitle={2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS)},
	year={2021},
	address={Washington, USA},
	organization={IEEE}
}

The following installation guide has been tested on Ubuntu 20.04.

This installation guide installs omnet in a ~/sim directory, but it can be installed elsewhere (obviously, you then need to adapt the commands below).

cd ~ 
mkdir -p sim  
cd sim

Download and extract omnet version 5.5.1 using

wget https://github.com/omnetpp/omnetpp/releases/download/omnetpp-5.5.1/omnetpp-5.5.1-src-linux.tgz
tar xzvf omnetpp-5.5.1-src-linux.tgz

The detailed installation guide can be found at ~/sim/omnetpp-5.5.1/doc/InstallGuide.pdf(For the prerequisite packages, see section 5.3, For Linux, see Chapter 4).

You may then install all prerequisite packages (you can probably do without most of the optional packages).

sudo apt-get update

sudo apt-get install build-essential gcc g++ bison flex perl \
python python3 qt5-default libqt5opengl5-dev tcl-dev tk-dev \
libxml2-dev zlib1g-dev default-jre doxygen graphviz libwebkitgtk-1.0

sudo add-apt-repository ppa:ubuntugis/ppa
sudo apt-get update
sudo apt-get install openscenegraph-plugin-osgearth libosgearth-dev
sudo apt-get install openmpi-bin libopenmpi-dev
sudo apt-get install libpcap-dev

cd omnetpp-5.5.1
. setenv

Modify the PATH variable in the ~/.bashrc file.

gedit ~/.bashrc
export PATH=$HOME/omnetpp-5.5.1/bin:$PATH

Exit and update the PATH variable

source ~/.bashrc

Compile

./configure
make

You can verify the installation:

cd samples/dyna
./dyna

To start the IDE, in a terminal enter:

omnetpp

wget https://github.com/inet-framework/inet/releases/download/v4.1.2/inet-4.1.2-src.tgz
tar xzvf inet-4.1.2-src.tgz
cd inet4

make makefiles
make

To import a project in the Omnet IDE, you can use: File | Import | General | Existing projects into Workspace. Then select the project directory as the root directory, and be sure NOT to check the "Copy projects into workspace" box. Click Finish.

Import the BroadcastSign and the inet4 directories.

Right click on BRB | Properties, then go to Project References and check the box associated to inet4 (or verify that it is checked).

Right click on BRB | Properties| OMNeT++ | Makemake | Select BRB: makemake... | Click Options... (right of the screen) | Custom

Add the following line if it does not show up:

MSGC:=$(MSGC) --msg6

Right click on BRB and select Build (this may take a while if inet4 has to be refreshed).

Right click on random_10_1_3.ini in BRB/simulations and select Run as | Omnet++ simulation. Select BRB as executable (it should be the first option). Confirm, and then select Run.