International Journal of Computer & Information Sciences

, Volume 14, Issue 5, pp 277–306

Towards formal specification of a distributed computing system


  • V. K. Agrawal
    • Control Systems Division ISRO Satellite Centre
  • L. M. Patnaik
    • Indian Institute of Science
  • P. S. Goel
    • Control Systems Division ISRO Satellite Centre

DOI: 10.1007/BF00987039

Cite this article as:
Agrawal, V.K., Patnaik, L.M. & Goel, P.S. International Journal of Computer and Information Sciences (1985) 14: 277. doi:10.1007/BF00987039


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.

Key words

Distributed computing systemsprotocol designonboard computersformal specification
Download to read the full article text

Copyright information

© Plenum Publishing Corporation 1985