Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study

We present a case study which demonstrates a methodology of using modeling language and simulation environment for reactive system design and analysis. We describe how a distributed algorithm can be modeled and investigated on the base of a compact set of carefully selected concepts and methods offered by COVERS - an MS Windows-based object-oriented modeling and simulation tool. COVERS modeling language framework includes diagrams of object structure and interconnection, statecharts as a behavior description, and C++ for data objects and functions. Timed Transition Systems are used as a semantic model. COVERS enables the user to perform the whole modeling-simulation-analysis cycle within a single graphical environment. In the paper we overview our experience in using the tool for analysis of a distributed election algorithm which has been described elsewhere.

COVERS model editor