DocumentCode :
2423586
Title :
Simulation-Based Validation of Protocols for Distributed Systems
Author :
Ravindran, K. ; Kwiat, K.A. ; Ding, G.
Author_Institution :
City University of New York (CUNY), NY
fYear :
2005
fDate :
03-06 Jan. 2005
Abstract :
Protocol correctness in distributed systems means that a protocol achieves its intended goal without inducing any ill-effects on the application. The correctness issue becomes more important in Information Assurance applications where a protocol is designed to deal with hostile and unpredictable behavior of the processes and/or the network. The purpose of this paper is to provide a simulation-based methodology to validate the correctness of a candidate protocol. The methodology is based on state-machine modeling of the protocol in a context of its application-level goal and operating environment. The paper offers a 3-tier approach wherein a validation model captures the external constraints to be satisfied at the protocol interface, the environment perturbations the protocol is subjected to, and the protocol internal rules and procedures. Discrete-event simulators, developed in a suitable modeling language (such as PROMELA), check if a protocol meets the safety and liveness conditions prescribed at external interface to the protocol under a given operating environment. The modularity and designer-friendliness of our validation approach allow simulating di erent candidate protocols with ease and exibility. The paper illustrates our methodology with validation exercises on an alternating-bit data transfer protocol and a 2-phase commit based majority voting protocol.
Keywords :
Application software; Computational modeling; Computer network reliability; Computer networks; Computer science; Context modeling; Electronic mail; Protocols; Safety; Voting;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Sciences, 2005. HICSS '05. Proceedings of the 38th Annual Hawaii International Conference on
ISSN :
1530-1605
Print_ISBN :
0-7695-2268-8
Type :
conf
DOI :
10.1109/HICSS.2005.542
Filename :
1385899
Link To Document :
بازگشت