Abstract
We consider a modeling language and a simulation environment based on object- oriented principles and aimed to help in the design of reactive systems. The language framework includes diagrams of object structure and interconnection, statecharts as a behavior description, and C++ for data objects and functions. Timed Transition Systems are used as a semantical model. COVERS enables the user to perform the whole modeling-simulation-analysis cycle within a single MS Windows-based graphical environment. We overview the code generation, model execution and visualization of results. The correspondence between COVERS language and the Unified notation is outlined.
Preview
Unable to display preview. Download preview PDF.
References
BONeS Designer. Modeling Reference Guide. Version 2.6. Comdisco Systems, a business unit of Cadence Design Systems, Inc., USA, 1993.
SES Workbench. User's Manual. Release 2.l. Scientific and Engineering Software Inc., USA, 1992.
OPNET Modeling Manual. Release 2.5.B. Mil3 Inc., USA, 1996.
D. Harel et al. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, Vol. 16, No. 4, April 1990, pp. 403–414.
T. Henzinger, Z. Manna, A. Pnueli. Timed Transition Systems. Technical Report TR 92-1263, Dept. of Computer Science, Cornell University, January 1992.
D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, Vol. 8, No. 3, June 1987, pp. 231–274.
A.V.Borshchev, Yu.G.Karpov, V.V.Roudakov. COVERS-A Tool for the Design of Real-Time Concurrent Systems. In: V. Malyshkin (Ed.). Parallel Computing Technologies. Proceedings of the 3rd International Conference PACT-95, Lecture Notes in Computer Science No 964, Springer, 1995, pp 219–233.
G. Booch. Object-oriented Analysis and Design with Applications. Second edition. The Benjamin/Cummings Publishing Company, Inc. 1994.
G. Booch, J. Rumbaugh. Unified Method for Object-Oriented Development. Documentation Set Version 0.8. Rational Software Corporation, 1996.
B. Selic, G. Gullekson, P.T. Ward. Real Time Object-Oriented Modeling. John Wiley & Sons, Inc. 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Borshchev, A.V., Karpov, Y.G., Roudakov, V.V., Filippov, A., Sintotskij, A., Fedorenko, S. (1997). COVERS 3.0 — A C++ based graphical modeling and simulation tool. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 1997. Lecture Notes in Computer Science, vol 1277. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63371-5_51
Download citation
DOI: https://doi.org/10.1007/3-540-63371-5_51
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63371-6
Online ISBN: 978-3-540-69525-7
eBook Packages: Springer Book Archive