Byzantine fault-tolerant agreement protocols and state machine replications are traditionally applied on static systems like data center or computational servers. Nowadays, with the development of embedded systems and mobile applications, Byzantine fault-tolerance protocols tend to fit in a more dynamic scenarios, for example in car-to-car communications. As a result, more challenges are raised. One problem is the dynamic joining and leaving of group members (churn phenomenon). So a valid group membership service is required. Another problem is the existence of heterogeneous communications, for example Wi-Fi together with cellular LTE communication channels. So the protocol should also support the multi-homing communication.
Traditional Byzantine fault-tolerant agreement protocols should be modified to fit in the high-dynamic scenarios, while still keep the resistance to Byzantine faults. Firstly, a group membership service should be provided. All the current group members are aware of the newly joining and leaving of nodes. Optimally, some attacks to the membership management could be considered and prevented. Secondly, a support to multi-homing communication is required. The impact of communication channel switch should be analyzed and controlled. We also seek an approach to actively choose the best channel. The simulation tool Veins LTE can be used as the testbed for experiments and evaluations. A good knowledge of Java or C/C++ is required.