Newsgroups: comp.parallel
From: raven@ssrouter.ioffe.rssi.ru (Kirill Bolshakov)
Subject: COVERS 3.1 - visual OO modeling & simulation tool
Organization: Ye 'Ol Disorganized NNTPCache groupie
Date: 24 Mar 1998 01:35:41 GMT
Message-ID: <6f72ld$lj1$1@encore.ece.cmu.edu>


Announcing COVERS 3.1 - visual object-oriented modeling and simulation
software for parallel and distributed systems. COVERS 3.1 supports
development of real-time applications and can be used with MS Visual C++

FREE OF CHARGE FOR NON-COMMERCIAL USE! (see COVERS 3.1 License Policy)

COVERS 3.1 area of application:
 - Distributed algorithms
 - Real-time applications
 - Networks, communication systems and protocols
 - Hardware and embedded systems

COVERS 3.1 is aimed to bring modeling and simulation closer to the
system development process. Using COVERS 3.1 the user can test
correctness, evaluate and improve the performance of the system under
development, as well as fully visualize its behavior.
The main features of COVERS 3.1 are:
 * [New!] REAL-TIME MODE. COVERS models can now work in the real time
   scale and can be directly integrated into real-time applications
 * [New!] WORKS WITH MS VISUAL C++. COVERS models can now be
   compiled by Microsoft Visual C++ compiler.
 * OBJECT-ORIENTED MODELING LANGUAGE for building hierarchical
   models of arbitrary complexity and scale.
 * VISUAL. All stages of model development are performed within a
   single visual environment with wide debugging and animation
   capabilities.
 * STATECHARTS are supported - an advanced notation for object
   behavior description included in the Unified Modeling Language.
 * C++. The model is completely based on and mapped into C++.
 * FORMAL SEMANTICS. COVERS simulation engine is build according to
   the formally defined language semantics and treats correctly the
   subtle aspects of concurrent system behavior, such as
   nondeterminism, atomicity or racing.
 * OPEN. COVERS is 100% open at the level of the C++ code it
   generates, allowing the user to modify it and to link arbitrary
   external modules.
 * LIBRARIES of frequently used objects (e.g. resources, networks)
   are supplied with COVERS. The user can create his own libraries
   of reusable components.
 * A TOOL FOR TEACHING CONCURRENCY AND DISTRIBUTION. A wide range of
   classical example models (mutual exclusion, distributed election,
   etc.) is included.
 * FULL ONLINE DOCUMENTATION on the Web.

COVERS 3.1 supports the following operating systems:
 MS Windows 95, MS Windows NT, MS Windows 3.1

COVERS 3.1 including libraries, documentation and examples is
available from:
   http://dcn.nord.nw.ru

COVERS Development Group welcomes your questions and comments
regarding the tool. We are also glad to offer you consultancy
in modeling and simulation area.
----
Regards, -- COVERS Development Group, St.Petersburg, Russia
Email: covers@dcn.nord.nw.ru
WWW:   http://dcn.nord.nw.ru
Fax:   +7 (812) 2471639
=FF

--
Articles to parallel@ctc.com (Administrative: bigrigg@cs.cmu.edu)
Archive: http://www.hensa.ac.uk/parallel/internet/usenet/comp.parallel