Towards formal specification of a distributed computing system

  • V. K. Agrawal
  • L. M. Patnaik
  • P. S. Goel


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 systems protocol design onboard computers formal specification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Report Doc. No. INSAT-II-00-84-04-05-11, ISRO Satellite Centre, Bangalore, India (April 1984).Google Scholar
  2. 2.
    V. K. Agrawal, L. M. Patnaik and P. S. Goel, Specification and Validation of a Protocol for Real-time Distributed Computing System,Proc. International Conf. on Computers,Systems and Signal Processing, Bangalore, India, pp. 265–269 (December 1984).Google Scholar
  3. 3.
    G. L. Lann, On Real-time Distributed Computing,IFIP, pp. 741–753 (1983).Google Scholar
  4. 4.
    G. L. Lann, Deterministic Multiple Access Protocol for Real-time Local Area Networks, Report No. 246, (October 1983).Google Scholar
  5. 5.
    W. W. Chu, L. J. Holway, M. Lan and K. Efe, Task Allocation in Distributed Data Processing,IEEE Computer,13(11):57–69 (November 1980).Google Scholar
  6. 6.
    T. C. K. Chou and A. Abraham, Load Balancing in Distributed Systems,IEEE Trans. Software Eng.,SE-8(4):401–412 (July 1982).Google Scholar
  7. 7.
    W. Kohler, A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems,ACM Computing Surveys,13(2):149–183 (June 1981).Google Scholar
  8. 8.
    H. T. Kung and J. T. Robinson, On Optimistic Methods for Concurrency Control,ACM Trans. Database System,6(2):213–226 (June 1981).Google Scholar
  9. 9.
    S. S. Yau and C. C. Yang, An Approach to Distributed Computing System Software Design,Proc. IEEE Conf. on Distributed Computing Systems, pp. 31–42 (October 1979).Google Scholar
  10. 10.
    P. M. Lu and S. S. Yau, A Methodology for Representing the Formal Specification of Distributed Computing System Software Design,Proc. IEEE Conf. on Distributed Computing Systems, pp. 211–221 (October 1979).Google Scholar
  11. 11.
    Towards Formal Specification of a Distributed Computing System, Technical Report No. CSS-05-85, ISRO Satellite Centre, Bangalore, India, (April 1985).Google Scholar

Copyright information

© Plenum Publishing Corporation 1985

Authors and Affiliations

  • V. K. Agrawal
    • 1
  • L. M. Patnaik
    • 2
  • P. S. Goel
    • 1
  1. 1.Control Systems Division ISRO Satellite CentreBangaloreIndia
  2. 2.Indian Institute of ScienceBangaloreIndia

Personalised recommendations