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
Area of application:
includes reactive systems like:
- Real-time applications
- Distributed algorithms
- Communication systems and protocols
Scenario of using COVERS:
- The user specifies the system under development as a set of Active Object
classes using COVERS visual structure and behavior editors. - COVERS generates a C++ class for each Active Object class. The C++ code
is open for the user modifications at this stage. - 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.
- 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
- Email: covers@xjtek.com
Free Of Charge For Non-Commercial Use! (see COVERS 3.1a License Policy)