Yuri Karpov

Yuri Karpov
Peter the Great St.Petersburg Polytechnic University | SPBSTU · Department of Distributed Computing and Networking

About

16
Publications
629
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
122
Citations

Publications

Publications (16)
Conference Paper
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...
Article
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...
Conference Paper
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...
Conference Paper
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...
Conference Paper
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.
Article
Full-text available
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...
Conference Paper
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...
Conference Paper
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...
Article
Full-text available
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...
Conference Paper
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...
Conference Paper
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...
Conference Paper
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...
Article
Full-text available
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...
Article
Full-text available
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...

Network

Cited By