Functional simulation is an approach used to validate the existence of a desired property in a system's design. We discuss the use of functional simulation techniques for validating the fault tolerance of a distributed software system. The problems of simulating the failure of a device and all of its dependent computations in a distributed system are considered. The fault tolerance property validated is that distributed transactions do provide an 'all or nothing' effect despite the occurrence of site crashes, network partitions, and lost or duplicate messages. The discussion is based on experience building a process-oriented simulation model of a subset of a distributed operating system. The models were developed in Path Pascal.
|Original language||English (US)|
|Number of pages||9|
|Journal||Proceedings of the Hawaii International Conference on System Science|
|State||Published - Dec 1 1986|