• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • Интегрированная среда моделирования для верификации и валидации программ управления подключенными и высокоавтоматизированными транспортными средствами
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
October 8, 2026
HSE Experts Take Part in 23rd Annual Meeting of Valdai Discussion Club
The 23rd Annual Meeting of the Valdai Discussion Club was held from September 28 to October 1, 2026 under the theme ‘Responsibility for the Future: Limits of the Possible, or Limitless Possibilities?’ The forum brought together 120 experts from 40 countries, including representatives of China, the United States, India, Brazil, the United Kingdom, Germany, Egypt, Iran, and Japan.
October 7, 2026
‘Our Team Consists of True Leaders in Their Respective Academic Disciplines
The HSE International Centre of Decision Choice and Analysis studies a wide range of methods for analysing decision-making and possible scenarios for the development of natural, socio-economic, and political phenomena using various mathematical models. The application of advanced mathematical methods to forecasting helps to prevent negative outcomes and avoid erroneous decisions. The HSE News Service spoke to the centre’s director, Prof. Fuad Aleskerov, about its work.
October 6, 2026
International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod Brings Together Scientists from Russia and Serbia
The International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod’ was held at the Nizhny Novgorod House of Scientists from September 23 to 26. The event was organised by HSE University–Nizhny Novgorod and the Nizhny Novgorod House of Scientists, with the participation of Sberbank and the Institute of Physics Belgrade. The symposium was held for the second time: the first conference took place in 2025 and attracted considerable interest from the academic community.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Интегрированная среда моделирования для верификации и валидации программ управления подключенными и высокоавтоматизированными транспортными средствами

Труды Института системного программирования РАН. 2026. Т. 38. № 3. С. 95–110.
Stepanyants V., Хорошилов Г. С., Долгов И. М., Нархов Е. А., Карпухин А. В.

Highly automated and connected vehicles are gradually entering the market. Currently, solutions are being proposed that allow these technologies to be used for cooperative driving automation, which can significantly improve traffic safety. Such technologies and their software should be tested to ensure safety before being implemented in real systems. Verification and validation of vehicular control software in the real world are difficult. Therefore, simulation computer modeling is used for this purpose. The simulation of connected and automated vehicles requires the combined use of traffic flow models, vehicle dynamics models, and automotive communication network simulators. Modern tools exist in these areas, but they are difficult to combine together, or they do not fully cover the technology domain. This article analyzes the requirements for an integrated simulation environment for modeling connected and automated vehicles and cooperative driving automation with highly detailed consideration of the influence of surrounding objects. To this end, the existing problems and practices were analyzed. The tools CARLA, OpenCDA, SUMO, OMNeT++, Artery are considered. Taking into account the disadvantages of existing methods, the paper proposes the architecture of the CAVISE integrated modeling environment with full coverage of the subject area using the chosen open-source tools, which includes a CAPI (CAVISE API) interface between existing tools for modeling connected and automated vehicles and their software in a controlled environment. A detailed description of the developed interface and the results of its testing for the verification of connected automated vehicle software using cooperative perception algorithms are provided. The developed interface allows, for the first time among open-source tools, to simulate connected automated vehicles, simultaneously taking into account real algorithms and software for machine perception and information exchange over wireless communication channels. The findings can be further used in the research and development of technologies and software for connected and automated vehicles.

Research target: Computer Science Engineering and Technology
Language: Russian
Full text
DOI
Text on another site
Keywords: Automated vehiclesconnected vehiclesintegrated simulation environmentcooperative driving automationвысокоавтоматизированные транспортные средстваинтегрированная среда моделированияcooperative perceptionсовместное восприятиесовместное управление дорожным движениемhighly detailed simulationподключенные транспортные средствавысокодетализированное моделирование
Similar publications
Автоматизированное построение математических теорий
УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Added: October 7, 2026
Automated Ranking of Soybean Plots from Close-Range RGB Video via Depth Filtering and Point-Based Counting
Groshev Maksim, Rybakov Petr, Teterin N. et al., Sensors 2026 Article 6171
Manual assessment of soybean yield components, such as pod number, is laborious, time-consuming, and subjective. Existing computer-vision approaches based on object detection or instance segmentation perform poorly on close-range RGB imagery of soybean canopies due to severe occlusions, ambiguous plant boundaries, and the high cost of bounding-box annotation. To address these challenges, we propose a ...
Added: October 7, 2026
Новые информационные технологии в исследовании сложных структур. Материалы шестнадцатой международной конференции 21–25 Сентября 2026 г.
Томск: Издательство Томского государственного университета, 2026.
Материалы сборника Шестнадцатой Международной конференции «Новые информационные технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на широкий круг специалистов, работающих на стыке теории информации, системного анализа и прикладных предметных областей. В издание вошли результаты исследований, посвящённые моделированию дискретных и стохастических структур управления и связи, разработке высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам цифровой трансформации образования, архитектурно-градостроительного проектирования,  экологического ...
Added: October 6, 2026
Modeling weather-resilient laser communication: PPM performance with SNSPD in satellite links
Merzlinkin V., Khmelev A. V., Севрюков Д. О. et al., St. Petersburg Polytechnical University Journal: Physics and Mathematics 2025 No. 3 P. 205–209
Laser communication using satellites represents a promising avenue for data transmission in geographically distant areas without advanced infrastructure. This approach is characterized by its high transmission rate and low power requirements, providing substantial benefits over optical fiber and radio communication. However, the optical channel should exhibit greater transparency for light transmission, resulting in a severely restricted application of this technique for information ...
Added: October 5, 2026
Polarization extinction ratio conversion due to pointing system impact in satellite quantum key distribution
Дуплинский А. В., Khmelev A. V., Бахшалиев Р. М. et al., St. Petersburg Polytechnical University Journal: Physics and Mathematics 2026 Vol. 17 No. 3 P. 88–92
Quantum key distribution via satellites enables the technology to be applied attranscontinental scale; nevertheless, in contrast to fiber systems, using a free-space opticalcommunication channel presents certain extra technological obstacles. The contribution of theacquisition, pointing and tracking system’s operation to the potential quantum bit error valueis investigated in this research. The polarization extinction ratio measurements varying ...
Added: October 5, 2026
Vector—towards quantum key distribution with small satellites
Miller A., Pismeniuk L., Дуплинский А. В. et al., EPJ QUANTUM TECHNOLOGY 2023 Vol. 10 No. 1 P. 52–72
A satellite-constellation based global quantum network could allow secure quantum communication between remote users worldwide. Such a constellation could be formed of micro- or even nanosatellites, which have the advantage of being more cost-effective than larger expensive spacecrafts. At the same time, the features of quantum communication impose a number of technical requirements that are more difficult to meet when ...
Added: October 5, 2026
Оптимизация энергопотребления предприятия с использованием методов многокритериальной оптимизации
Серебренников Д. А., Belov A. V., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169
В условиях роста стоимости энергоресурсов и необходимости повышения энергоэффективности производственных процессов особую актуальность приобретает задача оптимизации энергопотребления промышленных предприятий. В данной работе рассматривается подход к управлению энергозатратами машиностроительного предприятия на основе методов многокритериальной оптимизации. Постановка задачи включает несколько целевых функций: минимизацию энергопотребления, минимизацию стоимости электроэнергии с учётом тарифных ограничений и максимизацию производственной эффективности. Для решения ...
Added: October 5, 2026
On Practical Aspects of Constructing Quasi-Cyclic Subfield Subcodes of Dual Elliptic Codes and Their Application in McEliece-type Cryptosystems
Kuninets A., IEEE Transactions on Information Theory 2026 P. 1–1
In this work we study the applicability of Quasi-Cyclic Subfield Subcodes of Dual Elliptic (QC-SSDE) codes for integration into code-based cryptographic schemes. Detailed algorithms are provided for constructing parity-check matrices as well as block-circulant parity-check matrices for this family of codes, accompanied by empirical results that enable the construction of QC-SSDE codes with predetermined dimensions. ...
Added: October 3, 2026
Инкрементальный метод обновления многомерного куба по неупорядоченному потоку событий журналов информационных систем
Zykov S. V., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13
Информационные системы формируют большие объёмы событийных журналов, которые используются для анализа работы приложений и сервисов. При этом события могут поступать в аналитический контур позже момента их фактического возникновения и не в исходном порядке. Такая рассинхронизация приводит к ошибкам при построении агрегированных временных показателей, а регулярный полный пересчёт многомерного аналитического куба требует значительных вычислительных затрат. Целью ...
Added: October 2, 2026
Polarization of opinions in the group: a modeling algorithm considering the dynamics of social bonds
Chebotarev V., Andreyuk D., Elizarova Anastasiya et al., Procedia Computer Science 2022 Vol. 213 No. C P. 596–601
The dynamics of opinion in a group are of interest for a number of practical purposes. In particular, consensus helps and polarization of opinions hinders cohesive teamwork. Existing approaches for modeling opinion dynamics mostly do not take into account the dynamism of social relations in a group. This paper proposes an algorithm and a program ...
Added: October 2, 2026
Enhancing Boundary Stability in Decision Trees and Random Forests: A Weighted Sample Duplication Approach
Konstantinov A., Elizarova Anastasiya P., Utkin L., Computing, Telecommunications and Control 2026 Vol. 19 No. 1 P. 16–25
Decision trees and their ensemble extensions, such as random forests, are widely used as classification models due to their simplicity and interpretability. However, in many real-world tasks where class labels overlap in the feature space, standard decision trees rely on hard splits that create fragile decision boundaries. In these regions, small perturbations in the input ...
Added: October 2, 2026
Bayesian Adaptive Sparse Copula
Prokhorov A., Burda M., Journal of Computational and Graphical Statistics 2026 P. 1–13
Bayesian nonparametric density estimation procedures are typically based on single-scale priors, such as Dirichlet process mixtures. Alternative multiscale density priors built on decision trees have many well-known advantages, including the ability to characterize abrupt local changes and to provide an estimate with a desired level of resolution. Despite their theoretical appeal, multiscale methods have typically ...
Added: October 2, 2026
Pericyte-derived cancer-associated fibroblasts correlate with poor survival and are enriched after chemoradiotherapy in glioblastoma
Aly Ismailov, Poptsova M., Plos One 2026 Vol. 21 No. 9 Article e0355902
Added: October 2, 2026
Консервативные энтропийно и энергетически корректные разностные методы для одномерных квазигазодинамических систем уравнений
Zlotnik A., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству  консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Added: October 1, 2026
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2026)
International Joint Conferences on Artificial Intelligence, 2026.
Added: October 1, 2026
Ensemble-based Prototype-Augmented Multimodal Fusion for Ambivalence/Hesitancy Recognition
Ryumina E., Aksenov A., Сысоев Д. С. et al., IEEE Computer Society, 2026.
Ambivalence/hesitancy recognition in unconstrained videos is a challenging problem due to the subtle, multimodal, and context-dependent nature of this behavioral state. In this paper, a multimodal approach for video-level ambivalence/hesitancy recognition is presented for the 10th ABAW Competition. The proposed approach integrates four complementary modalities: scene, face, audio, and text. Scene dynamics are captured with ...
Added: September 30, 2026
ИССЛЕДОВАНИЕ ОСОБЕННОСТЕЙ ОСТРОВА ТЕПЛА ГОРОДОВ
Le M. T., Шукуров И. С., Курск: Закрытое акционерное общество "Университетская книга", 2026.
This monograph studies the thermal characteristics of urban habitats and analyzes the impact of urban morphology on the emergence of urban heat island effects (UHI), particularly in the context of high-density urban development, modern high-rise buildings and related sanitary standards. It presents comprehensive findings from theoretical and empirical research focused on minimizing the urban heat ...
Added: September 30, 2026
Decoding Algorithms for Binary U-UV Codes: A Unified Survey of Performance and Complexity
Ivanov F., Kotov F., IEEE Access 2026 Vol. 14 P. 104662–104679
U-UV codes, based on the Plotkin (U, U + V) construction, provide a unified framework that includes polar and Reed–Muller codes and enables flexible design through the choice of component codes. While modern capacity-approaching codes achieve excellent performance at large block lengths, their efficiency at short and moderate lengths remains limited, especially under low-latency constraints. ...
Added: September 30, 2026
Connected and Automated Vehicle Scenario Manager Graphical User Interface
Tikhonov R., Efendiev M. T., Fedotenkov A. A., 2026 International Russian Smart Industry Conference (SmartIndustryCon) 2026 P. 542–547
High-fidelity simulation environments like CARLA and ROS are essential for connected and automated vehicle research. They allow researchers to verify and validate new software and technology without the time, financial, and safety overheads of real-world testing. However, their operation requires considerable expertise for creating platform-specific scenario configuration files, which complicates the research workflow. This paper ...
Added: May 11, 2026
Правовое регулирование эксплуатации высокоавтоматизированных транспортных средств в Российской Федерации: проблемы и перспективы
Тухватуллин Т. А., Кондратова Е. С., ТРАНСПОРТНОЕ ПРАВО И БЕЗОПАСНОСТЬ, Россия 2023 Т. 46 № 2 С. 22–32
In the conditions of large-scale spread of modern technologies in transport, which determine the relevance of the issue, there has been conducted a comparative legal study of international and national regulatory legal acts, as well as their projects regulating relations in the field of regulating the operation of highly automated (unmanned) vehicles. There have been ...
Added: November 28, 2025
Parallel Multi-Level Simulation for Large-Scale Detailed Intelligent Transportation System Modeling
Stepanyants V., Karpov A., Margaryan A. et al., FUTURE TRANSPORTATION 2025 Vol. 5 No. 4 Article 141
Nowadays, the problems of traffic accidents, inefficiency, and congestion still affect transportation systems. Conventional solutions often do not resolve and can even exacerbate the problems. Intelligent transportation system (ITS) technology, including intelligent vehicles, could provide a solution for these problems. However, such technologies should be thoroughly verified and validated before their large-scale adoption. Computer simulation ...
Added: October 17, 2025
Integrating OPAL Into CAVISE for Connected Vehicle Simulation With 3D Signal Propagation
Vitaly G. Stepanyants, Mkrtchyan G., Rakhimullina V. et al., IEEE Access 2025 Vol. 13 P. 134793–134803
Population growth has led to an increased demand for transportation. This increase has subsequently resulted in problems such as road accidents, greenhouse gas emissions, and others. Automated and connected vehicles could be a solution to these problems. However, before they can be released on public roads, they must go through extensive testing, including computer simulation. ...
Added: August 3, 2025
Effects of Simulator Fidelity on Automated Vehicle Object Perception Accuracy
Grigoriy Simakov, Stepanyants V., Martyusheva A., , in: 2025 International Russian Smart Industry Conference (SmartIndustryCon).: Sochi: IEEE, 2025. P. 794–798.
The development of intelligent transportation systems, and intelligent vehicles in particular, requires significant time and effort, with one of the primary phases being the training of the automated driving system. This training can be conducted using real-world annotated data or within a simulation environment. Simulation tools can provide a wide array of traffic scenarios unavailable ...
Added: May 10, 2025
Evaluation of Cooperative Perception Algorithms in Simulation Environments with Realistic Communication Models
Doroshev I., Khoroshilov G., Stepanyants V., , in: 2024 International Russian Automation Conference (RusAutoCon).: IEEE, 2024. P. 943–947.
Added: October 6, 2024
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit