COVERS 3.0-an object-oriented environment for modeling, simulation and analysis of real-time concurrent systems

Abstract

Gives an overview of COVERS 3.0-a Microsoft Windows-based modeling and simulation environment for concurrent real-time systems. COVERS offers an object-oriented modeling methodology based on C++ and the Statecharts behavioral notation. Timed transition systems are used as a model semantics. COVERS enables the user to perform the whole modeling and simulation cycle within a single graphical environment, where every bit of the specification is animated and accessible. Extendible libraries of frequently used objects are supplied, as well as models of classical systems for educational purposes. COVERS 3.0 is free software, available over the Internet for non-commercial use.