Title :
Modular composition of redundancy management protocols in distributed systems: an outlook on simplifying protocol level formal specification and verification
Author :
Sinha, Purnendu ; Suri, Neeraj
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
Abstract :
In recent years, formal methods (FMs) have been extensively used for the verification and validation (V&V) of dependable distributed protocols. In our studies utilizing FMs for V&V, we have observed that a number of protocols providing for distributed and dependable services can often be formulated using a small set of basic functional primitives or their variations. Thus, from the formal viewpoint, the objective of this paper is to introduce techniques, utilizing concepts of category theory, that could effectively identify and reuse basic formal modules in order to simplify formal specification and verification for a spectrum of protocols
Keywords :
category theory; computer network reliability; distributed processing; formal specification; formal verification; protocols; redundancy; category theory; dependable distributed protocol validation; dependable services; distributed systems; formal methods; formal module identification; formal module reuse; functional primitives; modular composition; protocol-level formal specification; protocol-level formal verification; redundancy management protocols; simplification; Error correction; Flexible manufacturing systems; Formal specifications; Guidelines; Protocols; Redundancy; Reliability theory; State-space methods; Testing; Virtual prototyping;
Conference_Titel :
Distributed Computing Systems, 2001. 21st International Conference on.
Conference_Location :
Mesa, AZ
Print_ISBN :
0-7695-1077-9
DOI :
10.1109/ICDSC.2001.918955
