Towards formal specification of a distributed computing system

Agrawal, V. K. ; Patnaik, L. M. ; Goel, P. S. (1985) Towards formal specification of a distributed computing system International Journal of Parallel Programming, 14 (5). pp. 277-306. ISSN 0885-7458

Full text not available from this repository.

Official URL:

Related URL:


Onboard spacecraft computing system is a case of a functionally distributed system that requires continuous interaction among the nodes to control the operations at different nodes. A simple and reliable protocol is desired for such an application. This paper discusses a formal approach to specify the computing system with respect to some important issues encountered in the design and development of a protocol for the onboard distributed system. The issues considered in this paper are concurrency, exclusiveness and sequencing relationships among the various processes at different nodes. A 6-tuple model is developed for the precise specification of the system. The model also enables us to check the consistency of specification and deadlock caused due to improper specification. An example is given to illustrate the use of the proposed methodology for a typical spacecraft configuration. Although the theory is motivated by a specific application the same may be applied to other distributed computing system such as those encountered in process control industries, power plant control and other similar environments.

Item Type:Article
Source:Copyright of this article belongs to Springer-Verlag.
Keywords:Distributed Computing Systems; Protocol Design; Onboard Computers; Formal Specification
ID Code:13098
Deposited On:11 Nov 2010 06:54
Last Modified:02 Jun 2011 08:28

Repository Staff Only: item control page