FUNCTIONAL SIMULATION OF FAULT TOLERANCE USING PATH PASCAL.

Jonathan Silverman, Anand Tripathi

Research output: Contribution to journalArticlepeer-review

Abstract

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 languageEnglish (US)
Pages (from-to)775-783
Number of pages9
JournalProceedings of the Hawaii International Conference on System Science
Volume2 a
StatePublished - Dec 1 1986

Fingerprint Dive into the research topics of 'FUNCTIONAL SIMULATION OF FAULT TOLERANCE USING PATH PASCAL.'. Together they form a unique fingerprint.

Cite this