• 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
  • 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
August 18, 2026
HSE Scholar Presents Research on Postcards in Brazil and South Korea
Timur Khusyainov, Deputy Dean of theFaculty of Humanities atHSE University–Nizhny Novgorod, took part in two international conferences—the XVI World Congress of Rural Sociology in Porto Alegre, Brazil, and the 36th Annual Conference of the Alliance of Digital Humanities Organisations (DH2026) in Daejeon, South Korea. On his way to the conferences, the researcher also visited several other places, where he presented the experience of the Pochtovoe educational project.
August 18, 2026
Physicists Discover What Happens Inside a Stable Vortex
Large vortices with characteristic spiral arms are often observed in the atmosphere and the ocean. Physicists from HSE University have explained how these structures form and why they retain their shape. The researchers found that velocities at points located along the same vortex arc remain correlated even over long distances. At the same time, this correlation weakens rapidly with increasing distance from the vortex centre. These differences help explain the formation of spiral arms and may improve models of atmospheric and oceanic currents. The findings have been published in Physical Review Fluids.
August 17, 2026
‘I Dream of Simple Things
Anastasia Gergenreter specialises in applied statistics and econometrics. In this interview for the Young Scientists of HSE University project, she talked about why she studies addictive substance use, two very different Fishers, and the cherry blossom season at the Main Botanical Garden in Moscow.

 

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
Proceedings of the Generative Code Intelligence Workshop (GeCoIn 2026), co-located with the 35th International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2026)
CEUR-WS.org, 2026.
The second edition of the Generative Code Intelligence Workshop (GeCoIn 2026) was held in conjunction with the 35th International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2026), in Bremen, Germany, August 16, 2026. The workshop arose from the desire to bring together a research community that has, in recent years, witnessed rapid progress in the application ...
Added: August 20, 2026
MM-PSYCHE: Multimodal Multitask Psychological Characteristic Estimation Through Cross-Domain Semi-Supervised Learning
Ryumina E., Aksenov A., Koryakovskaya D. et al., IEEE Access 2026 Vol. 14 P. 124759–124778
Psychological characteristic estimation from multimodal in-the-wild behavior is usually studied using separate corpora, each annotated for a single target task. Such annotation fragmentation limits cross-task learning and cross-domain generalization across affective, dispositional, and interactional phenomena. To address this problem, we use emotion, apparent personality trait, and ambivalence recognition as representative tasks and introduce MM-PSYCHE, a ...
Added: August 20, 2026
Proceedings of the 1st Workshop on Linguistic Analysis for Health (HeaLing 2026)
Association for Computational Linguistics, 2026.
19th Conference of the European Chapter of the Association for Computational Linguistics, Workshop on Linguistic Analysis for Health (2026) ...
Added: August 19, 2026
Hypergraphs from multivariate connectivity: caCOH-based EEG/MEG representation
Vlasenko D., Saranskaia I., Zakharov D., European Physical Journal: Special Topics 2026 P. 1–16
Hypergraphs provide a natural framework for representing neurophysiological interactions distributed across sets of sensors. A key methodological question is how hyperedges should be defined from frequency-resolved electroencephalography/magnetoencephalography (EEG/MEG) data. We demonstrate a construction strategy in which hyperedges are obtained from canonical coherence (caCOH), an extension of coherence that estimates coupling between multidimensional signal spaces. To ...
Added: August 18, 2026
Localization in Medical Imaging: A Unified AI Approach for Ovaries, Follicles, and Vertebral Arteries
Moshkin A., Fedorov M., Arlazarov V. et al., Algorithms 2026 Vol. 19 No. 7 Article 523
Artificial intelligence (AI) technologies, which are being actively developed in modern medicine today, increase the speed and quality of patient care. This article mainly seeks to demonstrate the use of various options of computer analysis of clinical images to solve practical problems of increasing the efficiency of routine diagnostics using retrospective analysis, as well as ...
Added: August 17, 2026
Innovation in Medicine and Healthcare
CHEN Y., Howlett R. J., Tanaka S. et al., Springer, 2026.
The Smart Innovation, Systems and Technologies book series encompasses the topics of knowledge, intelligence, innovation and sustainability. The aim of the series is to make available a platform for the publication of books on all aspects of single and multi-disciplinary research on these themes in order to make the latest results available in a readily-accessible ...
Added: August 16, 2026
Generative geospatial modelling with geometric algebra
Yu Z., Wang J., Wang Z. et al., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 P. 1–16
The integration of data-driven and knowledge-driven approaches in generative geospatial modelling (GGM) is often hindered by their mathematical incompatibilities. Here, we propose a geometric algebra (GA)-based framework that employs a unified multi-vector representation to fuse heterogeneous data and diverse knowledge. The framework facilitates structured reasoning and hypothesis generation through a task-adaptable, five-stage cycle: representation, reasoning, ...
Added: August 13, 2026
Empowering Novel Geometric Algebra for Graphics and Engineering. ENGAGE 2025 (Hong Kong, July 14, 2025), Lecture Notes in Computer Science
Cham: Springer, 2026.
This book constitutes the proceedings of the 10th International Workshop Empowering Novel Geometric Algebra for Graphics and Engineering, ENGAGE 2025, held in conjunction with Computer Graphics International conference, CGI 2025, in Hong Kong, China, on July 14, 2025. The 14 full papers included in this volume were carefully reviewed and selected from 16 submissions. The papers ...
Added: August 13, 2026
Reconstruction of EEG signals using next-generation reservoir computing
Ratnikov F., European Physical Journal: Special Topics 2026 P. 1–10
EEG recordings are often affected by the loss or corruption of individual channels due to electrode detachment, poor scalp contact, or external interference. Such channels must be accurately reconstructed before further analysis. In this study, we investigate Next-Generation Reservoir Computing (NG-RC) as a data-driven approach for reconstructing corrupted EEG channels and compare its performance with ...
Added: August 12, 2026
CAD2TechSpec: a framework for automating design processes within computer-aided design systems
Minets M., Krasnozhenov G., Trofimova E. et al., PeerJ Computer Science 2026 Vol. 12 Article e4063
This article presents CAD2TechSpec, a novel framework for automating design processes within computer-aided design (CAD) systems by leveraging multimodal large language models (LLMs). The framework enables the analysis and generation of detailed design specifications, including the automated creation of machining process plans. Our system architecture combines 3D model rendering, dimensionality reduction techniques, and the capabilities ...
Added: August 12, 2026
Parametric study of hand dorsal vein biometric recognition vulnerability to spoofing attacks
Мизинов П. В., Journal of Computer Virology and Hacking Techniques 2023 No. 20 P. 383–396
Biometric vein recognition systems are vulnerable to presentation attacks. Traditionally, researchers have used a near-infrared (NIR) drawing of the user’s vascular bed to create a presentation attack instrument (PAI). This paper investigates the feasibility of using free software to capture a venous pattern of the hand without NIR under normal lighting conditions and to create ...
Added: August 11, 2026
Современные тенденции и инновации в науке и производстве. Материалы XV международной научно-практической конференции
Междуреченск: Кузбасский государственный технический университет им. Т.Ф. Горбачева, 2026.
В сборнике представлены материалы докладов по направлениям Международной научно-практической конференции «Современные тенденции и инновации в науке и производстве»: 1. Технологии и инновации в горной промышленности; 2. Экономика, управление, финансы; 3. Информационные системы и технологии; 4. Юный исследователь. Целью этой конференции является обмен передовым опытом, повышения квалификации их участников и, вместе с тем, это способ установления и укрепления научного сотрудничества среди ...
Added: August 11, 2026
Трубочкина, Н. К. Основы технологии производства и машинное обучение : учебник для вузов / Н. К. Трубочкина. — Москва : Издательство Юрайт, 2026. — 383 с. — (Высшее образование). — ISBN 978-5-534-22010-0.
Trubochkina N. K., М.: Издательство «Юрайт», 2026.
This textbook is designed to develop students' holistic understanding of modern production processes and methods for their analysis and management using machine learning technologies. In the context of the fourth industrial revolution, where traditional engineering disciplines are inextricably intertwined with intelligent data processing methods, there is a growing need for specialists capable of integrating knowledge ...
Added: August 8, 2026
WWW '23 Companion: Companion Proceedings of the ACM Web Conference 2023
Фирсанова В. И., ACM, 2026.
The inclusion of autistic people can be augmented by a mobile app that provides information without a human mediator making information perception more liberating for people in the spectrum. This paper is an overview of a doctoral work dedicated to the development of a web-based mobile tool for supporting the inclusion of people on the ...
Added: August 4, 2026
Joint Proceedings of the ESWC 2025 Workshops and Tutorials co-located with 22nd Extended Semantic Web Conference (ESWC 2025), Portorož, Slovenia, June 1-2, 2025.
Фирсанова В. И., Хлусова Я. К., CEUR Workshop Proceedings, 2025.
Knowledge graphs are widely used in Retrieval Augmented Generation (RAG) and Explainable AI (XAI), since they can illustrate semantic relationships generated by Large Language Models (LLMs). Recent studies focus on generating knowledge graphs from unstructured data to improve RAG performance; however, they do not explain the underlying graph structure. The analysis of synthetic graphs behind ...
Added: August 4, 2026
Mathematical methods of reinforcement learning
Belomestny D., Gasnikov A., Gladin E. et al., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90
Reinforcement learning (RL) is increasingly grounded in tools from probability, optimization, and operator theory. This survey organizes the mathematical structures that underpin the design and analysis of modern algorithms in RL. We begin from Markov decision processes (MDPs) and the Bellman operators, emphasizing contraction mappings, monotonicity, and fixed-point theory that yield convergence guarantees and rates ...
Added: August 3, 2026
Анализ корпусов текстов на естественных языках. Математические методы. Учебное пособие
Chepovskiy A., М.: Мастерская Печати Идей, 2026.
The textbook presents methods and algoгithms for automatic analysis of соrроrа of texts in natural languages. It is intended fоr sfudenБ of methods of processing texts in паtчrаl languages and creating training arays of texts. Fоr students, graduate students and researchers studying methods of computational linguistics and word processing. ...
Added: August 1, 2026
Three Algorithms for Merging Hierarchical Navigable Small World Graphs
Ponomarenko A., / Series Computer Science "arxiv.org". 2025.
This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...
Added: July 30, 2026
Профессиональная верификация: Руководство по продвинутой функциональной верификации
Уилкокс П., Romanov A., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового инженера», которая издается при поддержке компании YADRO. Данная книга представляет собой учебник по теоретическим основам продвинутой функциональной верификации и содержит лучшие практики, используемые в настоящее время. В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ...
Added: July 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
  • 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