AnyLogicは、アメリカ・イリノイ州オークブルックテラスで5月28日から30日まで対面研修を開催します。 一流の講師から学びましょう!
AL Training in Oakbrook Terrace, IL, USA
一流の講師から学びましょう!

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

関連記事