Improving System Survivability by Path Duplication
- Autores: Burdonov I.B.1, Yevtushenko N.V.1,2, Kossatchev A.S.1
-
Afiliações:
- Institute for System Programming of the Russian Academy of Sciences
- National Research University Higher School of Economics
- Edição: Nº 4 (2025)
- Páginas: 11-32
- Seção: PARALLEL AND DISTRIBUTED SOFTWARE
- URL: https://journals.rcsi.science/0132-3474/article/view/349250
- DOI: https://doi.org/10.7868/S3034584725040027
- ID: 349250
Citar
Resumo
Sobre autores
I. Burdonov
Institute for System Programming of the Russian Academy of Sciences
Email: igor@ispras.ru
25 Alexander Solzhenitsyn st., Moscow, 109004, Russia
N. Yevtushenko
Institute for System Programming of the Russian Academy of Sciences; National Research University Higher School of Economics
Email: evtushenko@ispras.ru
25 Alexander Solzhenitsyn st., Moscow, 109004, Russia; 20 Myasnitskaya st., Moscow, 101000, Russia
A. Kossatchev
Institute for System Programming of the Russian Academy of Sciences
Email: kos@ispras.ru
25 Alexander Solzhenitsyn st., Moscow, 109004, Russia
Bibliografia
- Голуб Б.В., Кузнецов Е.М., Максимов Р.В. Методика оценки живучести распределенных информационных систем // Вестник СамГУ. 2014. № 7(118). https://cyberleninka.ru / article / n / metodika-otsenki-zhivuchesti-raspredelennyh-informatsionnyh-sistem (дата обращения: 09.10.2024)
- Харари Ф. Теория графов. М.: Мир, 1973. 300 с.
- Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. Тестирование правил настройки сетевого коммутатора программно-конфигурируемой сети. Труды Института системного программирования РАН. 2018. Т. 30. № 6. С. 69–88.
- Burdonov I.B., Kossachev A., Yevtushenko N., López J., Kushik N., Zeghlache D. Verifying SDN Data Path Requests. CoRR abs / 1906.03101 (2019).
- Burdonov I., Yevtushenko N., Kossachev A. Implementing a Virtual Network on the SDN Data Plane. Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS). Varna, Bulgaria, September 4–7. 2020. Р. 279–283. ISBN: 978-1-7281-9898-9.
- Burdonov I., Kossachev A., Yevtushenko N., López J., Kushik N., Zeghlache D. (2021). Preventive Model-based Verification and Repairing for SDN Requests. In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering – ENASE. ISBN 978-989-758-508-1. ISSN 2184-4895. P. 421–428. DOI: 10.5220 / 0010494504210428.
- Nash-Williams C.St.J.A. Edge-disjoint spanning trees of finite graphs // J. London Math. Soc. 1961. P. 445–450.
Arquivos suplementares


