We give an overview of COVERS 3.0 - an MS Windows-based modeling and simulation environment for concurrent real-time systems. COVERS offers an object-oriented modeling methodology based on C-F+ and 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.
Citation:
Andrei V. Borshchev, Yuri G. Karpov, Victor V. Roudakov, "COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems," dis-rt, pp.39, 1st International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '97), 1997