ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Specification-driven approach for protocol design of distributed computing systems

Agrawal, VK and Patnaik, LM and Goel, PS (1989) Specification-driven approach for protocol design of distributed computing systems. In: Journal of Microcomputer Applications, 12 (2). pp. 107-126.

Full text not available from this repository.
Official URL: http://dx.doi.org/10.1016/0745-7138(89)90020-1

Abstract

An important issue in the design of a distributed computing system (DCS) is the development of a suitable protocol. This paper presents an effort to systematize the protocol design procedure for a DCS. Protocol design and development can be divided into six phases: specification of the DCS, specification of protocol requirements, protocol design, specification and validation of the designed protocol, performance evaluation, and hardware/software implementation. This paper describes techniques for the second and third phases, while the first phase has been considered by the authors in their earlier work. Matrix and set theoretic based approaches are used for specification of a DCS and for specification of the protocol requirements. These two formal specification techniques form the basis of the development of a simple and straightforward procedure for the design of the protocol. The applicability of the above design procedure has been illustrated by considering an example of a computing system encountered on board a spacecraft. A Petri-net based approach has been adopted to model the protocol. The methodology developed in this paper can be used in other DCS applications.

Item Type: Journal Article
Additional Information: Copyright of this article belongs to Elsevier Science.
Department/Centre: Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)
Date Deposited: 25 Aug 2010 06:20
Last Modified: 25 Aug 2010 06:20
URI: http://eprints.iisc.ernet.in/id/eprint/31392

Actions (login required)

View Item View Item