Modular Software Model Checking for Distributed Systems

Modular Software Model Checking
for Distributed Systems

Abstract— Modular Software Model Checking for Distributed Systems. Many minimum energy < energy efficient > routing protocols have been proposed in recent years. However, very limited effort has been made in studying routing overhead, route setup time, and route maintenance issues associated with these protocols. Without a careful design, < Final Year Projects 2016 > an energy efficient routing protocol can perform much worse than a normal routing protocol. We first show that the minimum energy routing schemes in the literature could fail without considering the routing overhead involved and node mobility. We then propose a more accurate analytical model to track the energy consumptions due to various factors, and a simple energy-efficient routing scheme PEER to improve the performance during path discovery and in mobility scenarios. Our simulation results indicate that compared to a conventional energy efficient routing protocol, PEER protocol can reduce up to 2/3 path discovery overhead and delay, and 50% transmission energy consumption.