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

fYear

2001

fDate

36982

Firstpage

255

Lastpage

263

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems, 2001. 21st International Conference on.

Conference_Location

Mesa, AZ

Print_ISBN

0-7695-1077-9

Type

conf

DOI

10.1109/ICDSC.2001.918955

Filename

918955