Sandeep Gupta , Pradip Srimani . Our design is geared towards real-time simulations requiring response time of 100ms or larger. We are interested in implementing this design on various hardware platforms as well as to fine tune the design and implementation for different applications. Further, we are interested in developing design and synthesis tools for assisting in the development of HLA compliant simulations and monitoring tools for performance measurement. In a distributed system the computing elements or nodes exchange information only by message passing.
Every node has a set of local variables whose contents specify the local state of the node.
Each node is allowed to have only a partial view of the global state, and this depends on the connectivity of the system and the propagation delay of different messages. This kind of property is highly desirable for fault tolerance in distributed systems, since without having a global memory, global synchronization is achieved in finite time without any intervention by any external agency and thus the system can correct itself automatically from spurious perturbations or failures. Few such algorithms have recently appeared in the literature. In this project we study self-stabilizing algorithms for different graph theoretic problems, proof techniques for convergence proofs and implementation issues. Gheorghe Antonoiu .