Title :
COVERS 3.0-an object-oriented environment for modeling, simulation and analysis of real-time concurrent systems
Author :
Borshchev, Andrei V. ; Karpov, Yuri G. ; Roudakov, Victor V.
Author_Institution :
St. Petersburg State Tech. Univ., Russia
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
Keywords :
computer animation; engineering graphics; formal specification; multiprocessing systems; object-oriented programming; public domain software; real-time systems; software libraries; virtual machines; C++ language; COVERS 3.0; Internet; Microsoft Windows; Statecharts behavioral notation; education; extendible libraries; free software; frequently used objects; graphical environment; model semantics; modeling environment; object-oriented environment; real-time concurrent systems; simulation environment; specification animation; timed transition systems; Analytical models; Animation; Application software; Automata; Bones; Delay; Internet; Object oriented modeling; Real time systems; Software libraries;
Conference_Titel :
Distributed Interactive Simulation and Real Time Applications, 1997., First International Workshop on
Conference_Location :
Eilat
Print_ISBN :
0-8186-7773-2
DOI :
10.1109/IDSRTA.1997.568656
