About
16
Publications
725
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
131
Citations
Citations since 2017
Introduction
Skills and Expertise
Publications
Publications (16)
In this paper we present interval approach to hybrid system verification. When studying a system behavior we suggest keeping
track of the minimum and maximum possible value of each continuous variable as well as the possible differences between variable
pairs. We demonstrate that the approach is natural for parallel timed systems, use it for tempor...
In the paper we discuss one of the approaches to modeling and distributed simulation of hybrid systems. We use hybrid state machines to model complex interdependencies between discrete and continuous time behaviors. This framework is fully supported by UML-RT/Java tool AnyLogic developed at Experimental Object Technologies (http://www.xjtek.com). W...
As engineers are confronted with designing increasingly complex systems composed of interconnected components of diverse nature,
traditional methods of modeling and analysis become cumbersome and inefficient. In the paper we discuss one of the approaches
to modeling and distributed simulation of hybrid (discrete/continuous) systems. We use hybrid s...
XJ DOME is a set of tools and techniques for those who wish to speed up development of Distributed COM applications and improve
their quality. DOME supports graphical modeling, code generation, simulation, deployment, monitoring and management. The simulation
mode enables the developer to simulate the entire distributed applica- tion in virtual tim...
DEALed is a tool suite for development of distributed systems using DEAL language. DEAL is being developed at Eindhoven University
of Technology as a part of DEDOS project. Area of application of the DEALed is the development of the distributed real- time
safety-critical control systems.
66 pages This annual technical report presents the current state of the project OPTIMUS 01 IR 605 'Optimization, Modeling and Implementation of Distributed Multimedia Systems', which is a research activity at St. Petersburg Technical University, Distributed Computing and Networks Department in collaboration with Stuttgart University, Distributed Sy...
We present a case study which demonstrates a methodology of using modeling language and simulation environment for reactive system design and analysis. We describe how a distributed algorithm can be modeled and investigated on the base of a compact set of carefully selected concepts and methods offered by COVERS — an MS Windows-based object-oriente...
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...
The goal of MoDA project of St.Petersburg State Technical University is to elaborate a methodology for Quality of Service (QoS) management of distributed applications (DA). In this paper we describe how the methodology can be applied for Web QoS management. QoS model building method presented here allows to construct by a natural way QoS models of...
The authors consider a modeling language and simulation environment based on object-oriented principles 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...
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...
The paper presents a simulation-based approach to creation of decision support system for IT Service Management. The presented
approach includes monitoring of stochastic data IT Services and calculation of measure of alignment to business goals with
its characteristic basing on SLA/SLO. The approach combines the benefits of two kinds of models: ana...
The paper presents an approach for complementing an existing application service pro-visioning architecture with a simulation component that is calibrated using measure-ments from the production system. The overall aim of the approach is to support service providers in planning and refining tariffs, adjusting system capacity, and estimating costs a...
XJ DOME is a set of tools and technologies for those who wish to speed up development of distributed COM applications and improve their quality and manageability. DOME supports several development phases (graphical modeling, code generation, simulation and deployment), as well as run-time (monitoring and management). DOME is tuned to work with MS V...
