COVERS 3.1a: object-oriented modeling, code generation and simulation software.

COVERS 3.1a – visual object-oriented modeling, code generation and
simulation software. Supports development of real-time applications
and can be used with Microsoft Visual C++ 5.0

[http://www.xjtek.com]

Area of application:

includes reactive systems like:

• Real-time applications
• Distributed algorithms
• Communication systems and protocols

Scenario of using COVERS:

1. The user specifies the system under development as a set of Active Object
   classes using COVERS visual structure and behavior editors.

2. COVERS generates a C++ class for each Active Object class. The C++ code
   is open for the user modifications at this stage.

3. COVERS compiles the generated code using the built-in compiler and links
   it with either
   • virtual time engine to produce an interactive visual simulation model
   • real-time engine to produce a real-time application.
4. Alternatively to step 3, the user can include the generated C++ files and
   the library containing monitor in MS Visual C++ 5.0 project as a part of a
   bigger application.

Features:

• 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.

• 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.

• LIBRARIES of frequently used objects (e.g. resources, networks)
  are supplied with COVERS. The user can create his own libraries
  of reusable components.

• FULL ONLINE DOCUMENTATION on the Web.

Operating systems:

• MS Windows 95
• MS Windows NT
• MS Windows 3.1

Contact:

Experimental Object Technologies

Email: covers@xjtek.com

WWW: http://www.xjtek.com

Free Of Charge For Non-Commercial Use! (see COVERS 3.1a License Policy)