Промыслов В. Г. (ИПУ РАН, Лаборатория 31). Публикации

Библиографическая ссылкаГод

Монографии

1Жарко Е.Ф., Промыслов В.Г., Исхаков А.Ю., Мещеряков Р.В., Семенков К.В., Абдулова Е.А., Байбулатов А.А., Исхаков С.Ю. Кибербезопасность беспилотных транспортных средств. Архитектура. Методы проектирования. М.: Радиотехника, 2021. – 160 с.2021
2Юркевич Е.В., Полетыкин А.Г., Промыслов В.Г., Степановская И.А., Крюкова Л.Н. Виртуализация инжиниринга процессов управления стойкостью космического аппарата к электрофизическим воздействиям. М.: ИПУ РАН, 2018. – 168 с.2018
3Юркевич Е.В., Полетыкин А.Г., Промыслов В.Г., Степановская И.А., Крюкова Л.Н. Виртуализация инжиниринга процессов управления стойкостью космического аппарата к электрофизическим воздействиям. М.: ИПУ РАН, 2018. – 168 с.2018

Брошюры

4Менгазетдинов Н.Э., Полетыкин А.Г., Промыслов В.Г., Зуенкова И.Н., Бывайков М.Е., Прокофьев В.Н., Коган И.Р., Коршунов А.С., Фельдман М.Е., Кольцов В.А. КОМПЛЕКС РАБОТ ПО СОЗДАНИЮ ПЕРВОЙ УПРАВЛЯЮЩЕЙ СИСТЕМЫ ВЕРХНЕГО БЛОЧНОГО УРОВНЯ АСУ ТП ДЛЯ АЭС «БУШЕР» НА ОСНОВЕ ОТЕЧЕСТВЕННЫХ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ. М.: ИПУ РАН, 2013. – 95 с.2013

Статьи в журналах/сборниках из перечня Web of Science/Scopus

5Байбулатов А.А., Промыслов В.Г., Жарко Е.Ф. On ICS Cybersecurity Assessment with the Help of Delay Calculation // IFAC-PapersOnLine. 2021. Vol. 54, no. 1. С. 971-975.2021
6Промыслов В.Г., Семенков К.В. Non‐statistical method for validation the time characteristics of digital control systems with a cyclic processing algorithm // Mathematics. 2021. V 9 (15). С. https://www.mdpi.com/2227-7390/9/15/1732/htm.2021
7Семенков К.В., Промыслов В.Г., Полетыкин А.Г., Менгазетдинов Н.Э. Validation of Complex Control Systems with Heterogeneous Digital Models in Industry 4.0 Framework // Machines. 2021. vol. 9, iss. 3. С. 1-17, https://www.mdpi.com/2075-1702/9/3/62.2021
8Промыслов В.Г., Семенков К.В. Assessment of deterministic delay bounds for a DoS-attack prevention device with a static window flow control // IFAC-PapersOnLine. 2020. vol. 53, iss. 2. С. 11089-11093.2020
9Промыслов В.Г., Семенков К.В., Шумов А.С. A Clustering Method of Asset Cybersecurity Classification // IFAC-PapersOnline. 2019. Vol. 52, iss. 13. С. 928-933 .2019
10Бывайков М.Е., Жарко Е.Ф., Менгазетдинов Н.Э., Полетыкин А.Г., Прангишвили И.В., Промыслов В.Г. Experience from design and application of the top-level system of the process control system of nuclear power-plant // Automation and Remote Control. 2006. Vol. 67, No. 5. С. 735-747.2006

Статьи в журналах/сборниках из перечня ВАК

11Промыслов В.Г., Семенков К.В. Применение метода Network Calculus для расчета временных характеристик систем управления с циклическим алгоритмом работы // Проблемы управления. 2021. №4. С. 50-65 http://pu.mtas.ru/archive/Promyslov_pu_421.pdf.2021
12Промыслов В.Г., Семенков К.В., Жарко Е.Ф. Методы оценки информационной угрозы для беспилотных транспортных средств в среде «умного города» // Проблемы управления. 2020. № 3. С. 49-58.2020
13Промыслов В.Г., Семенков К.В., Шумов А.С. Синтез архитектуры кибербезопасности для систем управления атомных станций // Проблемы управления. 2019. № 3. С. 61-71.2019
14Промыслов В.Г., Тимофеев М.Ю., Полетыкин А.Г., Бабаев Д.И. Управление архитектурой кибербезопасности АСУ ТП АЭС // Проблемы управления. 2018. № 3. С. 47–55 .2018
15Байбулатов А.А., Промыслов В.Г. Аппроксимация огибающей в приложениях «Network calculus» // Проблемы управления. 2016. № 6. С. 59-64.2016
16Антонов А.В., Жарко Е.Ф., Промыслов В.Г. Проблемы оценки надежности и качества программного обеспечения в автоматизированных системах управления технологическими процессами // Надежность. 2015. N 4 (55). С. http://dependability.ru/news/anons_4_55/2015-12-04-21.2015
17Жарко Е.Ф., Промыслов В.Г. Particularities of applying conception and models of the security IEC 62443 for industrial automation and control systems of nuclear power plants // Ядерные измерительно-информационные технологии. 2013. № 4. С. 49-54.2013
18Промыслов В.Г. Моделирование вычислительных систем с переменным потоком данных // Проблемы управления. 2012. №1 . С. 62-70.2012
19Промыслов В.Г., Полетыкин А.Г., Менгазетдинов Н.Э. Новые кибернетические угрозы и методы обеспечения кибербезопасности в цифровых системах управления // Энергетик. 2012. №7. С. 18-23.2012
20Промыслов В.Г., Полетыкин А.Г. Формальная иерархическая модель безопасности верхнего уровня АСУ ТП АЭС // Ядерные измерительно-информационные технологии. 2012. Т. 4(44). С. 39-53.2012
21Масолкин С.И., Промыслов В.Г. Расчет некоторых параметров промышленной вычислительной сети объектов повышенного риска эксплуатации на примере АСУТП АЭС // Проблемы управления. 2010. С. -.2010
22Бывайков М.Е., Жарко Е.Ф., Менгазетдинов Н.Э., Полетыкин А.Г., Прангишвили И.В., Промыслов В.Г. Опыт проектирования и внедрения системы верхнего блочного уровня АСУ ТП АЭС // Автоматика и телемеханика. 2006. Т. 5. С. 65-79.2006
23Полетыкин А.Г., Жарко Е.Ф., Зуенкова И.Н., Промыслов В.Г., Бывайков М.Е., Менгазетдинов Н.Э. Программное обеспечение для атомной энергетики // Автоматизация в промышленности. 2006. С. 52-56.2006
24Промыслов В.Г., Жарко Е.Ф., Промыслова О.А. Обеспечение качества модификации сложных программных систем высокой надежности // Автоматизация в промышленности. 2006. С. 13-17.2006
25Менгазетдинов Н.Э., Полетыкин А.Г., Промыслов В.Г. Концепция обеспечения защиты от несанкционированного доступа АСУ ТП АЭС «Бушер-1» // Автоматизация в промышленности. 2005. С. с. 3-5.2005

Статьи в журналах/сборниках

26Семенков К.В., Промыслов В.Г., Li J. CYBER-PHYSICAL ASSESSMENT OF USING ROBOTS FOR SAFETY OPERATIONS OF A NUCLEAR POWER PLANT // Extreme Robotics. 2019. Том: 1. С. 415-417.2019
27Жарко Е.Ф., Полетыкин А.Г., Промыслов В.Г. ПРОБЛЕМЫ ОЦЕНКИ НАДЕЖНОСТИ И КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В СИСТЕМАХ УПРАВЛЕНИЯ // ИТ-СТАНДАРТ. 2017. Т. 1, N1-1. С. 26-31.2017
28Бывайков М.Е., Менгазетдинов Н.Э., Полетыкин А.Г., Промыслов В.Г. ТЕХНОЛОГИИ ИПУ РАН ДЛЯ АСУ ТП: ВЕРХНИЙ УРОВЕНЬ, ДИАГНОСТИКА, ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ, НАДЕЖНОСТЬ, ИМПОРТОЗАМЕЩЕНИЕ // Автоматизация и IT в энергетике. 2016. №8 (85). С. 45-52.2016
29Полетыкин А.Г., Промыслов В.Г. Методы борьбы с киберугрозами АСУ ТП современного предприятия // Information Security/Информационная безопасность. 2016. Т. I. С. 14-16 http://www.itsec.ru/articles2/asu-tp/metody-borby-s-kiberugrozami-asu-tp-sovremennogo-predpriyatiya .2016
30Промыслов В.Г., Менгазетдинов Н.Э., Полетыкин А.Г. The Information Security of Digital Control Systems for Nuclear Power Plants // Journal of Energy and Power Engineering. 2012. 6. С. 744-754.2012

Главы в книгах

31Семенков К.В., Промыслов В.Г., Полетыкин А.Г. Validation of Control Systems with Heterogeneous Digital Models and Virtualization Technologies / INFORMATIK 2020. Bonn: Gesellschaft für Informatik, 2021. С. 299-309, https://dl.gi.de/handle/20.500.12116/34735.2021
32Юркевич Е.В., Полетыкин А.Г., Степановская И.А., Промыслов В.Г., Крюкова Л.Н. Информационно-технологическая платформа разработки бортовой интеллектуальной системы управления стойкостью космического аппарата к электрофизическим воздействиям / Искусственный интеллект в космической технике. Состояние. Перспективы применения. М.: Радиотехника, 2021. С. 130-161.2021

Пленарные доклады

33Полетыкин А.Г., Жарко Е.Ф., Менгазетдинов Н.Э., Промыслов В.Г. НОВОЕ ПОКОЛЕНИЕ СИСТЕМ ВЕРХНЕГО УРОВНЯ И КОНЦЕПЦИЯ INDUSTRY 4.0 / Материалы 10-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2017, Москва). М.: ИПУ РАН, 2017. Т. 1. С. 101-107.2017
34Коган И.Р., Полетыкин А.Г., Промыслов В.Г., Жарко Е.Ф. ЭВОЛЮЦИЯ АСУТП АЭС ДЛЯ ВВЭР, ПРОБЛЕМЫ, НЕРЕШЕННЫЕ ВОПРОСЫ, НОВЫЕ УГРОЗЫ И ВОЗМОЖНЫЕ НАПРАВЛЕНИЯ РАЗВИТИЯ / Труды XII Всероссийского совещания по проблемам управления (ВСПУ-2014, Москва). М.: Институт проблем управления им. В.А.Трапезникова РАН, 2014. С. 4200-4211.2014
35Менгазетдинов Н.Э., Полетыкин А.Г., Бывайков М.Е., Промыслов В.Г., Жарко Е.Ф., Смирнов В.Б., Акафьев К.В. АВТОМАТИЗАЦИЯ АТОМНЫХ ЭЛЕКТРОСТАНЦИЙ – ОПЫТ ИПУ РАН / Труды XII Всероссийского совещания по проблемам управления (ВСПУ-2014, Москва). М.: ИПУ РАН, 2014. С. 4219-4236.2014
36Промыслов В.Г., Полетыкин А.Г. ФОРМАЛЬНЫЕ ОПРЕДЕЛЕНИЯ И КРИТЕРИИ УСТОЙЧИВОСТИ ОБЪЕКТОВ С ЦИФРОВЫМИ СИСТЕМАМИ УПРАВЛЕНИЯ К ВОЗДЕЙСТВИЯМ КИБЕРАТАК / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 1. С. 117-120.2012
37Менгазетдинов Н.Э., Полетыкин А.Г., Промыслов В.Г. Кибернетическая война, проблемы обеспечения информационной безопасности цифровых систем управления / . -: -, 2010. С. -.2010
38Менгазетдинов Н.Э., Полетыкин А.Г., Промыслов В.Г. Новые кибернетические угрозы и некоторые методы обеспечения информационной безопасности в цифровых системах управления / . -: -, 2010. С. -.2010

Пленарные доклады и доклады из перечня Web of Science/Scopus

39Байбулатов А.А., Промыслов В.Г. Cybersecurity Assessment Using Delay from Backlog Bound Calculation / Proceedings of the 14th IEEE International Conference on Application of Information and Communication Technologies (AICT2020, Tashkent). Tashkent: IEEE, 2021. С. 1-6, https://ieeexplore.ieee.org/document/9368731.2021
40Жарко Е.Ф., Мещеряков Р.В., Промыслов В.Г. Aspects of Nuclear Power Plant Digital Decommissioning / Proceedings of the 2021 International Siberian Conference on Control and Communications (SIBCON). Kazan: IEEE, 2021. С. 1-6, https://ieeexplore.ieee.org/document/9438885.2021
41Полетыкин А.Г., Промыслов В.Г., Семенков К.В. Digital Twins as a Key Technology for Ensuring Effective Modernization of Complex Industrial Systems / Proceedings 2021 International Russian Automation Conference (RusAutoCon). Sochi: IEEE, 2021. С. 628-632 https://ieeexplore.ieee.org/document/9537443.2021
42Промыслов В.Г., Промыслова О.А. DoS Attack Prevention Using the Static Window Flow Control in Sequent Connected Devices / Proceedings of the 14th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE, 2021. С. https://ieeexplore.ieee.org/document/9600137.2021
43Промыслов В.Г., Семенков К.В. The Estimation of Control System Parameters in “Network Calculus” from Experimental Data / Proceedings of 2021 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). Sochi: IEEE, 2021. С. 818-822.2021
44Байбулатов А.А., Промыслов В.Г. On a Deterministic Approach to Solving Industrial Control System Problems / Proceedings 2020 International Russian Automation Conference (RusAutoCon). Sochi: IEEE, 2020. С. 115-120, https://ieeexplore.ieee.org/document/9208149.2020
45Промыслов В.Г., Семенков К.В. Aspects of Time Synchronization in Distributed Control Systems in Virtual Environment / Proceedings of the 13th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE, 2020. С. https://ieeexplore.ieee.org/abstract/document/9247824.2020
46Промыслов В.Г., Семенков К.В. Method of Estimating Information Threat for Autonomous Vehicles in Smart City / Proceedings of the 2020 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). Sochi: IEEE (Catalog Number: CFP20F42-ART), 2020. С. 1-6, https://ieeexplore.ieee.org/document/9111871.2020
47Промыслов В.Г., Семенков К.В. Security Threats for Autonomous and Remotely Controlled Vehicles in Smart City / Proceedings of the 2020 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). Sochi: IEEE (Catalog Number: CFP20F42-ART), 2020. С. 1-5, https://ieeexplore.ieee.org/document/9111907.2020
48Самошина А.И., Промыслов В.Г., Камешева С.Б., Галин Р.Р. Application of Cloud Modeling Technologies in Ensuring Cyber Security of APCS / Proceedings of the 13th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE, 2020. С. https://ieeexplore.ieee.org/document/9247742.2020
49Семенков К.В., Промыслов В.Г., Полетыкин А.Г. Verification of Large Scale Control Systems with Hybrid Digital Models and Digital Twins / Proceedings 2020 International Russian Automation Conference (RusAutoCon). Sochi: IEEE, 2020. С. 325-329, https://ieeexplore.ieee.org/document/9208167.2020
50Байбулатов А.А., Промыслов В.Г. Control System Availability Assessment Via Maximum Delay Calculation / Proceedings of the 2019 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). Sochi: IEEE, 2019. С. http://ieeexplore.ieee.org/document/8743012.2019
51Жарко Е.Ф., Промыслов В.Г., Исхаков А.Ю. Extending Functionality of Early Fault Diagnostic System for Online Security Assessment of Nuclear Power Plant / Proceedings 2019 International Russian Automation Conference (RusAutoCon). Sochi, Russia: IEEE, 2019. С. 1-6, https://ieeexplore.ieee.org/document/8867790.2019
52Полетыкин А.Г., Промыслов В.Г. Cloud Platform for Life Cycle Support of Complex Technical Systems / Proceedings of the 2019 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). Sochi, Russian Federation: IEEE, 2019. С. https://ieeexplore.ieee.org/document/8743081.2019
53Промыслов В.Г., Абдулова Е.А., Мещеряков Р.В. Coherence Criterion for Security Architecture of Digital Control System / Proceedings 2019 International Russian Automation Conference (RusAutoCon). Sochi: IEEE, 2019. С. 1-5, https://ieeexplore.ieee.org/document/8867615.2019
54Промыслов В.Г., Жарко Е.Ф., Семенков К.В. Principles of Physical and Information Model Integration for Cybersecurity Provision to a Nuclear Power Plant / Proceedings of the 12th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE, 2019. С. https://ieeexplore.ieee.org/document/8910996.2019
55Байбулатов А.А., Промыслов В.Г. A Technique for Envelope Regression in Network Calculus / Proceedings of the 11th IEEE International Conference on Application of Information and Communication Technologies (AICT2017, Moscow). М.: IEEE, 2017. Vol. 1. С. 338-341.2017
56Полетыкин А.Г., Жарко Е.Ф., Менгазетдинов Н.Э., Промыслов В.Г. A Conception of the New Generation of Upper Level Control Systems of NPP APCS / Proceedings of the 11th IEEE International Conference on Application of Information and Communication Technologies (AICT2017, Moscow). Moscow: IEEE, 2017. Vol. 1. С. 414-418.2017
57Полетыкин А.Г., Жарко Е.Ф., Менгазетдинов Н.Э., Промыслов В.Г. Some Issues of Creating the New Generation of Upper Level Control Systems of NPP APCS / Proceedings of the 5th International Conference on Control, Instrumentation, and Automation (ICCIA 2017, Shiraz, Iran). Piscataway, USA: IEEE, 2017. Vol. 1. С. 78-83.2017
58Полетыкин А.Г., Жарко Е.Ф., Менгазетдинов Н.Э., Промыслов В.Г. The new generation of upper levels systems and industry 4.0 conception in NPP APCS / Proceedings of the 10th International Conference "Management of Large-Scale System Development" (MLSD). Piscataway, USA: IEEE, 2017. Vol. 1. С. 1-5; http://ieeexplore.ieee.org/document/8109670/.2017
59Промыслов В.Г. Assessment of the security architecture of control system using discretionary security models / Proceedings of the 10th International Conference "Management of Large-Scale System Development" (MLSD). Piscataway, USA: IEEE, 2017. Vol. 1. С. 1-4; http://ieeexplore.ieee.org/document/8109672/.2017
60Промыслов В.Г. The software reliability problem in a control system and quantum program / Proceedings of the IEEE International Siberian Confererence on Control and Communications (SIBCON-2017). Astana: IEEE, 2017. Т. 1. С. 1-5; http://ieeexplore.ieee.org/document/7998554/.2017
61Промыслов В.Г. CONSIDERA TION FOR FORMAL CYBERSECURITY MODELS IN I&C SYSTEM DESIGN / Proceedings of the 9th International Conference on Application of Information and Communication Technologies (AICT2015, Rostov on Don). Rostov on Don: IEEE, 2015. С. 188-190.2015
62Промыслов В.Г. Tool for I&C system Security Policy Verification / Proceedings of the 9th International Conference on Application of Information and Communication Technologies (AICT2015, Rostov on Don). Rostov on Don: IEEE, 2015. С. 221-224.2015
63Промыслова О.А., Промыслов В.Г. Take-Grant Hierarchical Model for Digital Control System / Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control (MIM`2013, Saint Petersburg). Saint Petersburg: IFAC - International Federation of Automatic Control, 2013. Т. 2. С. http://www.ifac-papersonline.net/Detailed/60173.html.2013
64Промыслов В.Г., Полетыкин А.Г. Digitally Controlled Assets Subjected to Cyberattacks: Definitions and “Cyberproof” Criteria Based on the Analysis of Explicit and Hidden Functions / Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control (MIM`2013, Saint Petersburg). Saint Petersburg: International Federation of Automatic Control, 2013. С. http://www.ifac-papersonline.net/Detailed/60161.html.2013
65Промыслов В.Г., Полетыкин А.Г. Formal Hierarchical Model of Security of the Upper Level of Instrumentation & Control System of a Nuclear Power Plant / Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control (MIM`2013, Saint Petersburg). Saint Petersburg: International Federation of Automatic Control (IFAC), 2013. Т. 1. С. http://www.ifac-papersonline.net/Detailed/60537.html.2013
66Промыслов В.Г., Кульба В.В. Using the Method of "Network Calculus" To Simulate the Computerized Control System with Non-Uniform Data Flow / Proceedings of the 14th IFAC Symposium on Information Control Problems in Manufacturing (INCOM’12, Bucharest). Bucharest: IFAC Publication, 2012. Т. 14. С. 84-87.2012
67Промыслов В.Г., Жарко Е.Ф., Промыслова О.А. Maintenance and Modification of Complex Software Systems / Proceedings of the IASTED International Conference on Automation, Control and Information Technology. Control, Diagnostics, and Automation (ACIT-CDA 2010, Novosibirsk). Novosibirsk: Acta Press, 2005. С. 28-33.2005

Доклады

68Полетыкин А.Г., Промыслов В.Г., Семенков К.В., Менгазетдинов Н.Э., Жарко Е.Ф. Применение цифрового двойника в жизненном цикле АСУ ТП АЭС / Материалы 2-й Международной научно-технической конференции "Автоматизированные системы управления технологическими процессами АЭС и ТЭС" (Минск, 2021). Минск: БГУИР, 2021. С. 193-197 https://www.bsuir.by/m/12_120147_1_155334.pdf.2021
69Байбулатов А.А., Промыслов В.Г., Промыслов Г.В. Оценка доступности цифровой системы управления в задаче кибербезопасности / Труды 13-го Всероссийского совещания по проблемам управления (ВСПУ XIII, Москва, 2019). М.: ИПУ РАН, 2019. С. 2502-2506.2019
70Полетыкин А.Г., Жарко Е.Ф., Менгазетдинов Н.Э., Промыслов В.Г. РАЗВИТИЕ СИСТЕМ ВЕРХНЕГО УРОВНЯ АСУ ТП И КОНЦЕПЦИЯ INDUSTRY 4.0 / Труды 13-го Всероссийского совещания по проблемам управления (ВСПУ XIII, Москва, 2019). М.: ИПУ РАН, 2019. С. 2596-2605.2019
71Промыслов В.Г., Жарко Е.Ф., Семенков К.В. ПРИНЦИПЫ ИНТЕГРАЦИИ ИНФОРМАЦИОННОЙ И ФИЗИЧЕСКОЙ МОДЕЛЕЙ ДЛЯ ОБЕСПЕЧЕНИЯ КИБЕРБЕЗОПАСНОСТИ АТОМНОЙ СТАНЦИИ / Материалы 12-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2019, Москва). М.: ИПУ РАН, 2019. С. 858-861.2019
72Промыслов В.Г., Семенков К.В., Шумов А.С. Методика классификации активов по кибербезопасности / Труды 13-го Всероссийского совещания по проблемам управления (ВСПУ XIII, Москва, 2019). М.: ИПУ РАН, 2019. С. 2612-2616.2019
73Полетыкин А.Г., Жарко Е.Ф., Менгазетдинов Н.Э., Промыслов В.Г. КОНЦЕПЦИЯ УПРАВЛЕНИЯ В ЭНЕРГЕТИКЕ С ЭЛЕМЕНТАМИ INDUSTRY 4.0 / Материалы 10-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2017, Москва). М.: ИПУ РАН, 2017. Т. 2. С. 236-239.2017
74Промыслов В.Г., Сакрутина Е.А. УПРАВЛЕНИЕ КИБЕРЗАЩИЩЁННОСТЬЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ КРИТИЧЕСКИ ВАЖНЫХ ОБЪЕКТОВ С ПРИМЕНЕНИЕМ ФОРМАЛЬНЫХ МОДЕЛЕЙ БЕЗОПАСНОСТИ / Материалы 10-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2017, Москва). М.: ИПУ РАН, 2017. Т. 2. С. 239-242.2017
75Промыслов В.Г., Сакрутина Е.А. УПРАВЛЕНИЕ КИБЕРЗАЩИЩЁННОСТЬЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ КРИТИЧЕСКИ ВАЖНЫХ ОБЪЕКТОВ С ПРИМЕНЕНИЕМ ФОРМАЛЬНЫХ МОДЕЛЕЙ БЕЗОПАСНОСТИ / Труды 10-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2017, Москва). М.: ИПУ РАН, 2017. Т. 2. С. 199-206.2017
76Байбулатов А.А., Промыслов В.Г. Задача расчета линейной огибающей в «Network calculus» / Труды 9-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2016, Москва). М.: ИПУ РАН, 2016. Т. 2. С. 206-213.2016
77Антонов А.В., Жарко Е.Ф., Промыслов В.Г. ПРОБЛЕМЫ ОЦЕНКИ НАДЕЖНОСТИ И КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В ЦИФРОВЫХ СИСТЕМАХ УПРАВЛЕНИЯ / Труды 8-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2015, Москва). М.: ИПУ РАН, 2015. Т. 1. С. 384-389.2015
78Промыслов В.Г. ТРЕБОВАНИЯ К ФОРМАЛЬНЫМ МОДЕЛЯМ КИБЕРБЕЗОПАСНОСТИ СИСТЕМ УПРАВЛЕНИЯ / Материалы 8-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2015, Москва). М.: ИПУ РАН, 2015. Том 2. С. 209-212.2015
79Жарко Е.Ф., Полетыкин А.Г., Промыслов В.Г. Опыт решения проблем технологической безопасности, лицензионной чистоты и кибербезопасности на основе российских технологий АСУ ТП АЭС / Труды 6-й Всероссийской конференции «Реконструкция энергетики-2014» (Москва). М.: ООО «ИНТЕХЭКО», 2014. С. 73-76.2014
80Жарко Е.Ф., Промыслов В.Г. ИСПОЛЬЗОВАНИЕ КОНЦЕПЦИИ И МОДЕЛЕЙ БЕЗОПАСНОСТИ IEC 62443 ДЛЯ СИСТЕМ ПРОМЫШЛЕННОЙ АВТОМАТИКИ И КОНТРОЛЯ АТОМНЫХ ЭЛЕКТРИЧЕСКИХ СТАНЦИЙ / Труды XII Всероссийского совещания по проблемам управления (ВСПУ-2014, Москва). М.: Институт проблем управления им. В.А.Трапезникова РАН, 2014. С. 9160-9166.2014
81Жарко Е.Ф., Промыслов В.Г. Модели кибербезопасности распределенных систем управления энергетическими системами / Сборник докладов XXII конференции «Релейная защита и автоматика энергосистем» (Москва, 2014). М.: ОАО «СО ЕЭС», 2014. С. 432-437.2014
82Менгазетдинов Н.Э., Полетыкин А.Г., Бывайков М.Е., Промыслов В.Г., Жарко Е.Ф., Смирнов В.Б., Акафьев К.В. АВТОМАТИЗАЦИЯ АТОМНЫХ ЭЛЕКТРОСТАНЦИЙ - ОПЫТ ИПУ РАН / Труды XII Всероссийского совещания по проблемам управления (ВСПУ-2014, Москва). М.: ИПУ РАН, 2014. С. 4219-4236.2014
83Промыслов В.Г., Масолкин С.И. A Concept of the Real-time Diagnostic System for Prototype Engines - Architecture and Algorithm / Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics (ICINCO-2013, Reykjavík, Iceland). Reykjavík, Iceland: SCITEPRESS, 2013. Volume 1. С. 360-365.2013
84Промыслов В.Г., Полетыкин А.Г. КОНТРОЛЬ КИБЕРБЕЗОПАСНОСТИ ЦИФРОВОЙ СИСТЕМЫ УПРАВЛЕНИЯ АЭС С ИСПОЛЬЗОВАНИЕМ ФОРМАЛЬНОЙ МОДЕЛИ ДОСТУПА / Труды 3-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва). М.: ИПУ РАН, 2012. С. 86-100.2012
85Промыслов В.Г., Полетыкин А.Г. ФОРМАЛЬНАЯ ИЕРАРХИЧЕСКАЯ МОДЕЛЬ БЕЗОПАСНОСТИ СИСТЕМЫ УПРАВЛЕНИЯ АЭС С ОТКРЫТЫМ ИНФОРМАЦИОННЫМ ПРОСТРАНСТВОМ / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. т.2 . С. 267-270.2012
86Промыслов В.Г. ПРОБЛЕМА ПЕРЕДАЧИ ПРАВ ДОСТУПА И МОДЕЛЬ БЕЗОПАСНОСТИ ЦИФРОВОЙ СИСТЕМЫ УПРАВЛЕНИЯ / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 273-276.2012
87Полетыкин А.Г., Промыслов В.Г., Ядыкин И.Б. Виртуализация систем управления больших инфраструктурных систем / Труды международной научно-практической конференции «Передовые информационные технологии, средства и системы автоматизации и их внедрение на российских предприятиях» (AITA-2011, Москва). М.: ИПУ РАН, 2011. С. 187-201.2011
88Кудрявцев А.А., Поскребышев И.А., Промыслов В.Г. Выбор оптимальных параметров системы единого времени в промышленной компьютерной сети на основе анализа математической модели / . М.: -, 2010. С. -.2010
89Кудрявцев А.А., Промыслов В.Г. Математическая модель системы поддержания единого времени в компьютерной сети и выбор оптимальных параметров / . Киев: -, 2010. С. -.2010
90Промыслов В.Г., Масолкин С.И. Verification of an Industrial Network of High Risk Operation Plants – a NPP APCS / . -: -, 2010. С. -.2010
91Промыслов В.Г. Расчет предельных характеристик и моделирование промышленной вычислительной сети объектов повышенного риска эксплуатации / . Киев: -, 2010. С. -.2010
92Промыслов В.Г. Расчет характеристик и моделирование промышленных вычислительных систем с неравномерным потоком данных / . -: -, 2010. С. -.2010
93Масолкин С.И., Кудрявцев А.А., Промыслов В.Г. A Unified Solution for NPP Diagnostic / . -: -, 2009. С. -.2009
94Промыслов В.Г., Масолкин С.И. NPP APCS Diagnostics Implementation as a Routine Task of APCS / . -: -, 2009. С. -.2009
95Кудрявцев А.А., Промыслов В.Г. Особенности измерения времени в замкнутой компьютерной системе / . -: -, 2008. С. -.2008
96Менгазетдинов Н.Э., Полетыкин А.Г., Промыслов В.Г. Итоги и перспективы применения свободного программного обеспечения в атомной энергетике РФ / . М.: ИПУ РАН, 2008. С. С. 106-110.2008
97Кудрявцев А.А., Промыслов В.Г., Костюк С.В., Промыслова О.А., Масолкин С.И. Факторы влияющие на точность измерения временных характеристик распределенной компьютерной системы / . -: -, 2007. С. -.2007
98Кудрявцев А.А., Промыслов В.Г., Поскребышев И.А., Колиненко Ю.В. Исследование вероятностно-временных характеристик времени в компьютерной системе / . -: -, 2007. С. -.2007
99Промыслов В.Г., Антонов А.В. Количественная оценка надежности сложного программного обеспечения с открытым кодом / . Обнинск: -, 2007. С. 1.2007
100Бывайков М.Е., Жарко Е.Ф., Менгазетдинов Н.Э., Полетыкин А.Г., Прангишвили И.В., Промыслов В.Г. СВБУ – Комплексное решение задач верхнего уровня АСУ ТП АЭС / . -: -, 2006. С. 243-247.2006
101Бывайков М.Е., Жарко Е.Ф., Менгазетдинов Н.Э., Полетыкин А.Г., Промыслов В.Г. Система верхнего блочного уровня и решение задач верхнего уровня АСУ ТП АЭС / Труды 3-й Международной конференции "Параллельные вычисления и зада-чи управления" (PACO'2006, Москва). М.: ИПУ РАН, 2006. С. 449-455.2006
102Промыслов В.Г., Антонов А.В., Масолкин С.И., Степанянц А.С. Оценка надежности программного обеспечения на различных этапах жизненного цикла сложных программ / . -: -, 2006. С. -.2006
103Промыслов В.Г., Жарко Е.Ф., Промыслова О.А. Практические аспекты сопровождения и модификации сложных программных систем / . -: -, 2005. С. 1151-1163.2005
104Промыслов В.Г., Жарко Е.Ф., Промыслова О.А. Проблемы сопровождения и модификации сложных программных систем высокой надежности / . -: -, 2005. С. 267-269.2005

Тезисы докладов

105Байбулатов А.А., Промыслов В.Г. О некоторых проблемах систем управления, решаемых с помощью Network calculus / Материалы 12-й мультиконференции по проблемам управления (МКПУ-2019, Дивноморское, Геленджик). Дивноморское: Южный федеральный университет, 2019. Т. 1. С. 172-175.2019
106Байбулатов А.А., Промыслов В.Г. О задаче расчета линейной огибающей в «Network calculus» / Материалы 9-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2016, Москва). М.: ИПУ РАН, 2016. Т. 1. С. 337-339.2016
107Промыслов В.Г. CYBERSECURITY SIMULATION FOR NPP I&C / Proceedings of IAEA International Conference on Nuclear Security: Commitment and Actions (Viena, 2016). Viena: IAEA, 2016. С. https://conferences.iaea.org/indico/event/101/contribution/132.2016
108Антонов А.В., Жарко Е.Ф., Промыслов В.Г. ПРОБЛЕМЫ ОЦЕНКИ НАДЕЖНОСТИ И КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В ЦИФРОВЫХ СИСТЕМАХ УПРАВЛЕНИЯ / Материалы 8-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2015, Москва). М.: ИПУ РАН, 2015. Т. 2. С. 167-168.2015
109Промыслов В.Г., Масолкин С.И. АЛЬТЕРНАТИВНЫЕ ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ ПРЕИМУЩЕСТВА И ПРОБЛЕМЫ РЕАЛИЗАЦИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ / Материалы 8-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2015, Москва). М.: ИПУ РАН, 2015. том 2. С. 204-206.2015
110Промыслов В.Г. Контроль безопасности компьютерной системы управления с использованием формальной модели доступа / Материалы 7-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2013, Москва). М.: ИПУ РАН, 2013. ТОМ II. С. 287.2013
111Промыслов В.Г., Масолкин С.И. РАЗРАБОТКА АРХИТЕКТУРЫ МНОГОПРОЦЕССОРНОЙ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ ДЛЯ ДИАГНОСТИКИ СОСТОЯНИЯ ОБЪЕКТА УПРАВЛЕНИЯ / Материалы 7-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2013, Москва). М.: ИПУ РАН, 2013. Tom II. С. 288.2013
112Промыслов В.Г. ОБЗОР НЕКОТОРЫХ АЛГОРИТМОВ ДИАГНОСТИКИ ПРИМЕНИМЫХ ДЛЯ МНОГОПРОЦЕССОРНОЙ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ / Материалы 7-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2013, Москва). М.: ИПУ РАН, 2013. Tom II. С. 290.2013
113Пульман М.И., Масолкин С.И., Промыслов В.Г. ВОПРОСЫ ОБЕСПЕЧЕНИЯ ПОРТИРОВАНИЯ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ (ППО) НА РАЗЛИЧНЫЕ СИСТЕМЫ СЕМЕЙСТВА LINUX. / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: Федеральное государственное бюджетное Учреждение науки Институт проблем управления им. В.А. Трапезникова Российской академии наук, 2012. Том 2. С. 260-262.2012
114Кудрявцев А.А., Масолкин С.И., Промыслов В.Г. Диагностика распределенных вычислительных систем АСУ ТП с применением встроенных агентов / . -: -, 2008. С. -.2008
115Промыслов В.Г., Масолкин С.И. Исследование статистических свойств измеряемых интервалов времени в компьютерной системе / . -: -, 2008. С. -.2008

Патенты/Свидетельства

116Промыслов В. Г., Семенков К. В. Генератор отчетов по кибербезопасности промышленных систем: Свидетельство о государственной регистрации программы для ЭВМ № 2020615079 РФ; Зарег. 14.05.2020.2020
117Промыслов В. Г., Масолкин С. И., Семенков К. В. Системное программное обеспечение LICS 1000. Версия 5: Свидетельство о государственной регистрации программы для ЭВМ № 2019618036 РФ; Зарег. 26.06.2019.2019
118Промыслов В. Г., Масолкин С. И. Omole: Моделирование безопасности сложных систем: Свидетельство о государственной регистрации программы для ЭВМ № 2018619043 РФ; Зарег. 27.07.2018.2018
119Промыслов В. Г. Процесс IZ: Свидетельство о государственной регистрации программы для ЭВМ № 2016610018 РФ; Зарег. 11.01.2016.2016
120Полетыкин А. Г., Байбулатов А. А., Промыслов В. Г. Конфигуратор: Свидетельство о государственной регистрации программы для ЭВМ № 2015661596 РФ; Зарег. 30.10.2015.2015