Dependable Distributed Systems: Simulation Environment

This repository contains the simulation framework presented during the course of Dependable Distributed Computing at Sapienza Univerisità di Roma.

This framework aims at providing a pedagogical tool to verify correctness of distributed system protocols.

Part of the framework is based on the book:

Christian Cachin, Rachid Guerraoui, Luís E. T. Rodrigues: Introduction to Reliable and Secure Distributed Programming (2. ed.). Springer 2011, ISBN 978-3-642-15259-7, pp. I-XIX, 1-367

This documentation is currently under expansion.

Dependencies

This simulation environment is coded in Python and relies on Mininet to setup a virtual network where to deploy distributed protocols. The following dependencies need to be satisfied on the executing machine:

• Python 3
• networkx Python module (employed in future releases)
• Mininet

Wiki