| Vol-1989 urn:nbn:de:0074-1989-9 Copyright © 2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# APSSE 2017
Actual Problems of System and Software Engineering 2017

### Proceedings of the 5th International Conference on Actual Problems of System and Software Engineering

Supported by Russian Foundation for Basic Research. Project #17-07-20565

### Moscow, Russia, November 14-16, 2017.

Edited by

### Ana Rosa Cavalli *
Alexander Petrenko **
Boris Pozin ***

* TELECOM & Management SudParis, Paris, France
** National Research University Higher School of Economics, Joint Department with the RAS Institute for System Programming, Moscow, Russia
*** National Research University Higher School of Economics, «ЕС-leasing» Co., SEMAT Russian Office, Moscow, Russia

## Table of Contents

- Preface

### Invited Talks

- Перспективы и проблемы использования энергонезависимой памяти (Prospects and problems of using nonvolatile memory) 7-21
  Sergey Kuznetsov
- Ontology engineering of network companies 22-27
  Yury Telnov
- Directions of the business processes theory 28-35
  Georgyi Kalyanov

### Section “Systems engineering”

- About probabilistic risk prediction for system engineering. Models, applications, effects 36-44
  Andrey Kostogryzov
- Influence of cloud computing on program and system engineering of information systems 45-49
  Alexander Boichenko
- Использование современных технологий построения телекоммуникационных сетей в инфраструктуре систем, построенных с использованием технологий Big Data (Use of modern technologies for building telecommunications networks in the infrastructure of systems built using the Big Data technology) 50-56
  Peter Keyer, Vladimir Budzko, Sergey Borokhov
- Static checking of domain constraints in applications interacting with relational database by means of dependently-typed lambda calculus 57-62
  Maxim Krivchikov, Evgeny Shulgin
- Designing models of educational processes execution in secure distributed system 63-65
  Dmitry Prokofiev, Vladimir Starykh
- OSE/RM model specification on a basis the reference models of the Internet of things 66-70
  Alexander Boichenko, Vasiliy Kazakov, Olga Lukinova
- Hybrid modeling applications for distributed information systems scaling tasks 71-77
  Andrey Zenzinov, Oleg Abankin
- Validation of architectural solutions during permanent designing of sociotechnical systems 78-83
  Boris Sazonov, Anton Korolev, Tatiana Fomina
- Software cybernetics: current state and problems 84-89
  Yulia Evseeva
- Architectural and technological aspects of the cloud data analysis system development, case of ISTINA system 90-96
  Valery Vasenin, Maxim Zanchurin, Alexander Kozitsyn, Maxim Krivchikov, Dmitry Shachnev
- Modeling of alliance networks in innovation ecosystem 97-110
  Daria Efimenko
- The modified algorithm of Viterbi convolutional decoding 111-119
  Oleg Nikitin, Peter Polushin, Hadi Saleh
- Application of case-based method to choose scenarios to resolve emergency situations on main gas pipeline 120-126
  Artem Kozaev, Dmitry Alexandrov, Hadi Saleh, Ivan Bukhvalov
- A structure of a business process executable model 127-135
  Igor Fiodorov
- Data integrating approaches for oil pipelines maintenance 136-142
  Alla Vladova, Yury Vladov
- Enterprise architect model of digital small and medium business 143-149
  Andrey Kim, Dmitry Kozhevnikov
- Имитационная модель процессов обучения и трудоустройства студентов на основе программных агентов с нейросетевой архитектурой (Simulation model of processes of training and employment of students on the basis of software agents with neural network architecture) 150-156
  Oleg Fedyayev
- Информационная система для выполнения лабораторных работ по электротехнике с использованием дополненной реальности (Information systems for practice works on electrical engineering using augmented reality) 157-162
  Linar Gimashev, Andrey Kirillovyh, Alexey Rolich

### Section “Software engineering”

- Фундаментальные основы программной инженерии. Парадигмы, технологии, сase-средства (Foundations of software engineering. Paradigms, technologies, tools) 163-176
  Ekaterina Lavrischeva
- Agile, SCRUM и итерационная разработка по RUP (Agile, SCRUM and iterative development in the RUP) 177-184
  Mikhail Kumskov
- Life cycle support for mission-critical systems: experience of implementation 185-194
  Boris Pozin
- Duplicate management in software documentation maintenance 195-201
  Dmity Koznov, Dmity Luciv, George Chernishev
- Программный комплекс проектирования и анализа программно-аппаратных систем на основе архитектурных моделей (A framework for design and analysis of software/hardware systems based on architecture models) 202-208
  Alexander Petrenko, Alexey Khoroshilov
- Моделирующий стенд - технологическая платформа обеспечения жизненного цикла АИС ПФР-2 (Testing environment - technological platform for AIS PFR-2 life cycle management) 209-214
  Sergey Gotsutsov
- Программные потоки распределённой обработки изображений на основе микросервисов (Software threads of distributed image processing based on microservices) 215-220
  Sergey Popov
- Industrial software verification and testing technology 221-229
  Vsevolod Kotlyarov, Pavel Drobintsev, Ivan Selin, Alexander Letichevsky
- The tool for XML-messages and messages packs generation for automated functional testing 230-237
  Aleksandr Korotkov, Ilya Galakhov, Boris Pozin
- Развитие метода адаптивной кластеризации путем формирования концептуальной модели объекта информатизации (Evolution of the method of adaptive clustering by forming an informatization object conceptual model) 238-246
  Grigory Tsiperman
- Использование методов модельно-ориентированной обратной разработки для анализа ARINC-653 совместимого функционального ПО (Model-driven reverse engineering for avionics software analysis) 247-255
  Sergey Lesovoy
- Разработка технологии автоматизированного нагрузочного тестирования банковской платежной системы (Development of technology for automated load testing of banking payment system) 256-263
  Alexander Alimov, Roman Novikov, Boris Pozin, Ilya Galakhov, Renat Giniatullin
- The method of design of an own cryptocurrency based on the Dash project 264-271
  Dmitry Tsvetkov
- Some approaches to solving the NP-hard mixed Chinese postman problem 272-290
  Mariia Gordenko, Sergey Avdoshin
- Assessment organization service based on Ethereum platform 291-294
  Pavel Danilin, Artur Lukin, Elena Reshetova
- The metric travelling salesman problem: Pareto-optimal heuristic algorithms 295-305
  Ekaterina Beresneva, Sergey Avdoshin
- Using methods of program engineering in the educational process 306-310
  Alexandr Shundeev

### Section “Information-analytical system”

- Methods of public multimedia analysis for a social profile 311-319
  Alexey Timonin, Alexander Bershadsky, Alexander Bozhday
- Intelligent software environment for integrated expert system designing and development 320-326
  Galina Rybina, Yury Blokhin
- Methodology of model structure choice in logistic modelling 327-332
  Konstantin L. Polyakov, Dmitry Chuvakov
- Математические методы группирования данных для принятия управленческих решений в задачах планирования (Mathematical methods of grouping data for making managerial solutions in the tasks of planning) 333-341
  Vitaliy Chugunov, Liudmila Zhukova, Ivan Kovalchuk, Anna Kovaleva
- Web ontology editor: architecture and applications 342-350
  Dmitry Shachnev
- The use of cognitive mechanisms in computer intellectual systems 351-355
  Vasiliy Trembach
- Планирование продаж и производства с применением технологий Big Data (Planning sales and production using Big Data technologies) 356-361
  Vitaliy Chugunov, Liudmila Zhukova, Mikhail Ageykin, Kirill Lychagin
- Text classification with deep learning neural networks 362-370
  Zhanibek Kaimuldenov, Maaz Amajd, Ilia Voronkov
- Improvement of decisions support subsystems of information-analytical systems on the neural networks ensembles basis 371-375
  Mikrukov Andrey Alexandrovich
- Methods of automation for system for collecting data from Internet construction 376-379
  Alexander Andrianov, Mikhail Ageykin, Kirill Lychagin, Maxim Novopashin, Vitaly Chugunov

### Track «Requirement engineering»

- Инженерия требований на современном предприятии (Requirements engineering at the modern enterprise) 380-387
  Victor Batovrin, Boris Pozin
- Industrial approach in requirement engineering 388-400
  Igor Chernorutsky, Pavel Drobintsev, Vsevolod Kotlyarov
- Моделирование процесса инженерии требований на промышленном предприятии (Requirements engineering process modeling for industrial enterprises) 401-408
  Victor Batovrin, Kirill Gaydamaka

2017-11-13: submitted by Boris Posin, metadata incl. bibliographic data published under Creative Commons CC0
2017-11-13: published on CEUR-WS.org |valid HTML5|