2687-0517 1 212 2015

RAR RUS 7-15 Starikov Vladimir vl.vl.starikov@gmail.com Babkov Valery Nikitina Alexandra Definition оf the Spatial and Technical Parameters LTE Network This article contains methods of planning the initial approximation LTE network and choosing the cluster structure. All main problems of RF Planning are inside the initial approximation LTE network. This network requires the accurate calculation of capacity, subscriber capacity and cluster structure. We have offered the system of mass service for calculating the subscriber capacity. Spatial and technical parameters need clarification too. They will depend on MAPL when using the selected MCS and equipment parameters. Therefore the planning procedure can be started only after defining these parameters. This article presents the algorithm for generating the initial approximation LTE network. 10.5862/JCSTCS.212.1 621.397 LTE RF planning cluster 4G LTE radio link budget https://infocom.spbstu.ru/article/2015.43.1/ 01.pdf

RAR RUS 16-21 Peter the Great St.Petersburg Polytechnic University Popov Sergey popovserge@gmail.com

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Glazunov Vadim neweagle@gmail.com Peter the Great St.Petersburg Polytechnic University Kurochkin Mikhail kurochkin_ma@spstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Qualification Routes Messaging for Dynamic Systems Using Logical-probabilistic Method In this paper we have considered the problem of message routes evaluation in the dynamic network of mobile subscribers. The network of mobile objects is represented by a graph with the time-varying structure. The search of the optimal route at any given time has polynomial complexity. As a solution, we suggest the logical-probabilistic method to build estimates of the routes. This method allows obtaining an analytical expression of the message delivery probability function for a s-connected graph with the given dimension. In this case, the time of searching for an optimal route can be considered as a constant. 10.5862/JCSTCS.212.2 004.22,658.5,65.011.56 function of mesage delivery probability mobile object dynamic system route mesaging logical-probabili https://infocom.spbstu.ru/article/2015.43.2/ 02.pdf

RAR RUS 23-36 Bylina Mariya Improved Model and Computing Technique of TDR Ttrace for a Transmission Line with Discontinuities Time domain reflectometry method and time domain reflectometers are used to monitor the state of continuity for transmission lines. The method is based on probing the transmission line with short voltage pulses and return stream signal registration. Functionality of existing TDRs can be enhanced by the use of digital processing TDR traces. The digital processing should be based on adequate models of a transmission line with discontinuities and return stream signal (TDR trace). This paper presents the improved mathematical model of TDR trace for a transmission line with discontinuities. The model allows for the complex character and frequency response of the particular impedance. The paper also comes up with the results of theoretical and experimental studies. The results demonstrate the need of the model refinement and validity of the proposed formulas. 10.5862/JCSTCS.212.3 621.315 transmission line time domain reflectometry time domain reflectometers TDR TDR trace transmission line with discontinuities discontinuity mathematical model https://infocom.spbstu.ru/article/2015.43.3/ 03.pdf

RAR RUS 37-48 Melikhova Antonina antonina_92@list.ru U-4200-2017 6506501810 0000-0002-6916-9061 Peter the Great St.Petersburg Polytechnic University Igor A. tsikin@mail.spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Angle of Arrival Method for Global Navigation Satellite Systems Integrity Monitoring The paper considers the method of monitoring the integrity of global navigation satellite systems based on using the angle of arrival estimation. The method uses the differences between measured and calculated azimuths (“azimuth differences”) and elevations (“elevation differences”) respectively. The probability distributions of the differences are analyzed and probability-based integrity monitoring characteristics are obtained. The most important of them are the probability of false detection (false alarm probability) and the probability of missing the violation of integrity (missing probability). Three kinds of decision-making procedures are analyzed. The first one involves using only one of the differences for decision-making, whereas other procedures use each of them. In the latter case it is possible to use two ways of decision-making – when both differences exceed the thresholds simultaneously (logic “AND”) and at least one of them exceeds the threshold (logic “OR”). Both ways are analyzed and areas where parameter values, in either way, have advantages are obtained. As a result the probability-based characteristics improvement methods are suggested. 10.5862/JCSTCS.212.4 621.37 navigation field integrity monitoring global navigation satellite systems multiple arrays angle of arrival integrity monitoring https://infocom.spbstu.ru/article/2015.43.4/ 04.pdf

RAR RUS 49-57 Trosko Igor saiu@ftk.spbstu.ru Peter the Great St.Petersburg Polytechnic University Vladimir N.

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Ryabov Gennadiy genaryabov@gmail.com Estimation Region of Stability for Energy System Based on the Direct Method of Lyapunov The current work is dedicated to analytical and numerical methods of analyzing stability in electromagnetic and electromechanical processes of the electric power system (EPS). The EPS, considered in the present article, runs in the external network of infinite power. The algorithm of estimating the stability region's boundary was obtained using Lyapunov's Direct Method, and an analytical technique to study the system's stability was developed based on the algorithm. The suggested technique was used to study the EPS and the boundary of its stability region during the generator's frequency variation and various ratios of linear and nonlinear terms of the mathematical model of the studied system. 10.5862/JCSTCS.212.5 517.9 stability region electric power system Lyapunov's direct method of https://infocom.spbstu.ru/article/2015.43.5/ 05.pdf

RAR RUS 60-73 Smolov Sergey smolov@ispras.ru Kamkin Alexander kamkin@ispras.ru A Method of Extended Finite State Machines Construction from HDL Descriptions Based on Static Analysis of Source Code The complexity of digital microelectronic hardware grows steadily, which complicates its functional verification and makes the methods of automated functional verification extremely important. Such methods usually use models that are formal representations of hardware descriptions. Such models are suitable for functional test generation and/or property checking. These models are often manually built, which can cause errors or unexpected behavior. This paper comes up with a new method of automated extraction of extended finite-state machine models from hardware descriptions. The key feature of the method is automated detection of hardware module's registers that encode the module's state. The experimental results of the method's application are also presented in the paper. 10.5862/JCSTCS.212.6 004.05 digital hardware functional verification hardware description language static analysis functional test generation model checking logic synthesis extended finite-state machine guarded action https://infocom.spbstu.ru/article/2015.43.6/ 06.pdf

RAR RUS 74-87 Podymov Vladislav valdus@yandex.ru Chemeritskiy Eugene tyz@lvk.cs.msu.su Zakharov Vladimir zakh@cs.msu.su Altukhov Viktor victoralt@lvk.cs.msu.su VERMONT – a Toolset for Verification of Software Defined Networks In this paper we present the software toolset VERMONT (VERifying MONiTor) for runtime checking the consistency of Software Defined Network (SDN) configurations with formally specified invariants of Packet Forwarding Policies (PFPs). VERMONT can be installed in line with the control plane to observe state changes of a network by intercepting the exchange of messages and commands between network switches and SDN controller, to build an adequate formal model of the whole network, and to check every event, such as installation, deletion, or modification of rules, port and switch up and down events, against a set of PFP invariants. Before retransmitting a network updating command to the switch, VERMONT simulates the result of its execution and checks PFP requirements. If a violation of some PFP invariant is detected, VERMONT blocks the change, alerts a network administrator, and gives some additional information to elucidate a possible source of the error. We define a SDN mathematical model used in our toolset, discuss some algorithmic and engineering issues of our toolset. After introducing a formal model of SDN and a formal language for PFP specification, we outline the main algorithms used in VERMONT for SDN model building, model checking, and model modification, and describe the structure of VERMONT and the functionality of its components. Finally, we demonstrate the results of our experiments on the application of VERMONT to a real-life network. 10.5862/JCSTCS.212.7 519.681 runtime verification formal specification model checking software defined network controller switch packet forwarding relation network update https://infocom.spbstu.ru/article/2015.43.7/ 07.pdf

RAR RUS 88-96 Barygin Ilya ibarygin@devexperts.com Brekelov Vsevolod vsevolod.brekelov@gmail.com Borisov Egor borisov@devexperts.com Integration Testing Automation: Case Study of Financial Data Exchange Modules Based on FIX-protocol The majority of modern trading systems use FIX-protocol as a transport protocol for data services. Manual testing of trading system integration modules responsible for FIX messaging is an overly laborious process. The paper describes a complex automated testing approach for this type of integration testing, which incorporates improvements to test the documentation structure, and tackles the problem of vendors diversity, as well as the resulting functional coverage and timing estimates of the tests. The major outcome of this work is a complete and unified auto tests set with associated documentation, which sufficiently accelerates testing procedures and allows fast incorporation of new vendors and fast adaptation to changes in existing specifications. 10.5862/JCSTCS.212.8 004.9 FIX-protocol test automation integration testing test case trading system exchange https://infocom.spbstu.ru/article/2015.43.8/ 08.pdf

REV RUS 101-109 Shchemelinin Dmitry dshchmel@gmail.com Efimov Vadim 2vadim@inbox.ru Mescheryakov Sergey serg-phd@mail.ru International Congress on Ultra Modern Telecommunications and Control Systems This paper is a summary of the 6th International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT) [1]. ICUMT series of the annual conference has been indexed in Elsevier’s Scopus [2], the largest citation database of peer-reviewed scientific publications in the world. ICUMT abstracts and proceedings are published in the IEEE Xplore Digital Library [3] though PDF versions of the author’s papers and even the Internet access to Scopus web site are not free. This paper presents a brief description of the most relevant presentations of keynote speakers to ICUMT-2014. 10.5862/JCSTCS.212.9 004=111 telecommunications networking automated control systems performance capacity cloud computing https://infocom.spbstu.ru/article/2015.43.9/ 09.pdf

REV RUS 110-119 Shchemelinin Dmitry dshchmel@gmail.com Mescheryakov Sergey serg-phd@mail.ru Rudenko Alexander rudenko.ao@gmail.com ASE International Conferences on Big Data Science and Computing This paper is the analytical overview of the series of the International conferences on big data, which are being organized annually by the Academy of Science and Engineering (ASE) in the USA at Stanford, Cambridge, Harvard, and other famous universities [1]. The conference proceedings are published with open Internet access in the ASE scientific digital library [2] while the paper abstracts are indexed in the world leading citation database Scopus [3]. This article briefly describes the most interesting, to authors’ opinion, papers and poster presentations having innovative ideas in big data computing area. 10.5862/JCSTCS.212.10 004=111 Big Data database performance capacity cloud computing https://infocom.spbstu.ru/article/2015.43.10/ 10.pdf