Обеспечение живучести сложной технической системы в специальных условиях


Цитировать

Полный текст

Аннотация

Цель исследования - разработка алгоритма обеспечения живучести сложной технической системы в специальных условиях. При проведении исследования были применены принципы и методы системного анализа, формальной верификации и математический аппарат темпоральной логики действий. В результате исследования был разработан алгоритм поиска логических ошибок в проектном решении и программном обеспечении сложной технической системы, базирующийся на темпоральной логике. Отличительными особенностями алгоритма являются возможность формальной верификации проектного решения по системе и наличие механизма обеспечения согласованности проектного решения и реализации. Алгоритм целесообразно применять для обеспечения живучести как вновь разрабатываемых систем на этапах проектирования и ввода в действие, так и уже существующих систем на этапе сопровождения.

Об авторах

Владимир Витальевич Алексеев

Российский университет дружбы народов

Email: vvalex1961@mail.ru
ORCID iD: 0000-0002-0398-4426
SPIN-код: 9320-9713

доктор технических наук, профессор кафедры механики и процессов управления, инженерная академия

Российская Федерация, 117198, г. Москва, ул. Миклухо-Маклая, д. 6

Дмитрий Александрович Иванов

Российский университет дружбы народов

Email: 1142230113@pfur.ru
ORCID iD: 0009-0004-0182-5095
SPIN-код: 4761-2024

аспирант кафедры механики и процессов управления, инженерная академия

Российская Федерация, 117198, г. Москва, ул. Миклухо-Маклая, д. 6

Илья Геннадьевич Рыжов

Российский университет дружбы народов

Автор, ответственный за переписку.
Email: ryzhov.ilgen@gmail.com
ORCID iD: 0000-0001-6014-6982
SPIN-код: 1818-9990

аспирант кафедры механики и процессов управления, инженерная академия

Российская Федерация, 117198, г. Москва, ул. Миклухо-Маклая, д. 6

Список литературы

  1. Shubinsky IB. Functional reliability of information systems. Methods of analysis. Ulyanovsk: Pechatny Dvor Publ.; 2012. (In Russ.) ISBN: 978-5-7572-0327-0 EDN: QMXPUD
  2. Gutgarts RD. Features of design and programm-ing when creating information systems. Software products and systems. 2020;33(3):385–395. (In Russ.) https://doi.org/10.15827/0236-235x.131.385-395 EDN: MQLBTZ
  3. Belov AS. et al. Proposal for determining the operational reliability of software of complex technical systems. Bulletin of Tula State University. Technical sciences. 2022;(9):143–148. (In Russ.) https://doi.org/10.24412/2071-6168-2022-9-143-148 EDN: LUVYDO
  4. Vorotnikova TYu. Reliable code: static analysis of program code as a means of increasing the reliability of software for information systems. Information techno-logies in the UIS. 2020;(2):22–27. (In Russ.) EDN: YYTHON
  5. Avetisyan AI, Belevantsev AA, Chuklyaev II. The technologies of static and dynamic analyses of detecting software vulnerabilities. Cybersecurity Issues. 2014;3(4):20–28. (In Russ.) EDN: SSYPXV
  6. Timakov AA. Control of information flows in soft-ware blocks of databases based on formal verification. Programming and Computer Software. 2022;48(4):265–285. https://doi.org/10.1134/s0361768822040053 EDN: BATUIZ
  7. Seifermann S, Heinrich R, Werle D, Reussner R. Detecting violations of access control and information flow policies in data flow diagrams. Journal of Systems and Software. 2022;184:111138. https://doi.org/10.1016/j.jss.2021.111138 EDN: QLGGWA
  8. DeMarco T. Structured analysis and system spe-cification. In: Broy, M., Denert, E. (eds.) Pioneers and Their Contributions to Software Engineering. Springer Berlin Heidelberg; 1979. P. 255–288. https://doi.org/10.1007/978-3-642-48354-7_9
  9. Warren DS. Introduction to prolog. Prolog: The Next 50 Years. Cham: Springer Nature Switzerland; 2023. P. 3–19. https://doi.org/10.1007/978-3-031-35254-6_1
  10. Tuma K, Scandariato R, Balliu M. Flaws in flows: Unveiling design flaws via information flow analysis. 2019 IEEE International Conference on Software Architecture (ICSA). 2019. p. 191–200. https://doi.org/10.1109/ICSA.2019.00028
  11. Kanner AM. Application of TLA+ notation to describe the model of an isolated software environment of access subjects and its further verification. Information Security Issues. 2021;(3):8–11. https://doi.org/10.52190/2073-2600_2021_3_8 EDN: KXLLGD
  12. Lamport L. Specifying systems: the TLA+ language and tools for hardware and software engineers. Boston: Addison–Wesley Publ.; 2002. ISBN 032114306X, 978-0-32114-306-8
  13. Karpov YuG. Model checking. Verification of parallel and distributed software systems. SPb.: BHV-Petersburg; 2010. (In Russ.) ISBN 978-9775-0404-1
  14. Tuma K, Peldszus S, Strüber D, Scandariato R, Jürjens Ja. Checking security compliance between models and code. Software and systems modeling. 2023;22(1):273–296. https://doi.org/10.1007/s10270-022-00991-5 EDN: QYOWHY
  15. Peldszus S. Security Compliance in Model-Driven Software Development. Ernst Denert Award for Software Engineering 2022: Practice Meets Foundations. Cham: Springer Nature Switzerland; 2024. p. 73–104. https://doi.org/10.1007/978-3-031-44412-8_4
  16. Kolenchenko YuV, Petrov KA, Yemelyanov DM, Ismagilov IR. Development of an agent application to prevent leaks of sensitive information. Tinchurin readings-2020. Energy and digital transformation. 2020:64–67. (In Russ.) EDN: GKLNCM
  17. Wąsowski A, Berger T. Domain-Specific Languages. Springer International Publ.; 2023. https://doi.org/10.1007/978-3-031-23669-3
  18. Krausz M, Peldszus S, Regazzoni F, Berger T, Güneysu T. 120 Domain-Specific Languages for Security. 2024. Available from: https://arxiv.org/abs/2408.06219 (accessed: 12.09.2024)
  19. Timakov AA, Ryzhov IG, Lysikov AV. Certificate of state registration of computer program No. 2023612260 Russian Federation. Generation of TLA+ specifications based on program blocks of databases: No. 2022686671: declared 30.12.2022: published 01.02.2023.
  20. Yakovlev AV, Alekseev VV, Volchikhina MV, Petrenko SV. A Combinatorial Model for Determining Information Loss in Organizational and Technical Systems. Mathematics. 2022;10(19):3448. https://doi.org/10.3390/math10193448 EDN: ZFYIJS
  21. Makhutov NA, Petrov VP, Reznikov DO. Assess-ment of survivability of complex technical systems. Problems of safety and emergency situations. 2009;(3):47–66. (In Russ.) EDN: MEGOYJ
  22. Cherkesov GN, Nedosekin AO, Vinogradov VV. Analysis of the functional survivability of structurally complex technical systems. Reliability. 2018;18(2):17–24. (In Russ.) https://doi.org/10.21683/1729-2646-2018-18-2-17-24 EDN: USQARX
  23. Alymov N. Some issues of assessing the surviv-ability of technical systems. Infocommunication techno-logies: current issues of the digital economy. Collection of scientific papers of the I International Scientific and Practical Conference. Ekaterinburg: Reliability; 2021. p. 188–192. (In Russ.) EDN: VEKBVC
  24. Zhao S, Yang Y, Wang Z, He Zh, Qiu LK, Qiu L. Retrieval augmented generation (rag) and beyond: A com-prehensive survey on how to make your llms use external data more wisely. 2024. Available from: https://arxiv.org/html/2409.14924v1 (accessed: 12.09.2024)

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
Скачать

Согласие на обработку персональных данных

 

Используя сайт https://journals.rcsi.science, я (далее – «Пользователь» или «Субъект персональных данных») даю согласие на обработку персональных данных на этом сайте (текст Согласия) и на обработку персональных данных с помощью сервиса «Яндекс.Метрика» (текст Согласия).