Predicting the behaviour of a distributed system

Abstract

A distributed system is a set of processes that are running in a set of networked machines to perform a set of interrelated tasks. For the correct functionality of the distributed system each and every process should work properly. Abnormal or unexpected behavior of a process may cause some other processes to behave incorrectly or even to fail. Therefore in critical distributed systems such as an automated trading system, plant automation system, air traffic controlling system the correct and complete behavior of processes is essential.