Systems modeling, simulation and analysis using COVERS active objects

Authors:
Andrei V. Borshchev;Yuri G. Karpov;Victor V. Roudakov
Affiliations:
St.Petersburg Technical University, Russia;St.Petersburg Technical University, Russia;St.Petersburg Technical University, Russia
Venue:
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Year:
1997

Citing 5
Cited 1

Statecharts: A visual formalism for complex systems

Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
Real-time object-oriented modeling

Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)

Object-oriented analysis and design with applications (2nd ed.)
COVERS - A Tool for the Design of Real-time Concurrent Systems

PaCT '95 Proceedings of the 3rd International Conference on Parallel Computing Technologies

Java engine for UML based hybrid state machines

Proceedings of the 32nd conference on Winter simulation

Quantified Score

Hi-index	0.00

Visualization

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.