Программа развертывания системы верификации Klever
верификация настройка окружения облачная среда OpenStack
Программа предназначена для автоматического развертывания системы верификации Klever на локальной машине или в облаке OpenStack. На вход программа принимает конфигурационный файл, описывающий версии и местоположение зависимостей и баз сборки, а также аргументы командной строки. В процессе работы программа устанавливает данные зависимости, базы сборки и Klever, настраивает окружение, конфигурирует и запускает службы для различных компонентов Klever. После завершения первоначальной установки, пользователи могут обновлять или удалять Klever. При установке Klever в OpenStack возможно выполнять специфичные действия для виртуальных облачных машин, например, изменить размер или подсеть. Программа разработана при финансовой поддержке Российской Федерации в лице Минобрнауки России (соглашение № 075-15-2020-788)
Подготовка и настройка средств верификации в облачной среде
Арутюн
Аветисян
Ишханович
директор
Доктор физико-математических наук
Академик
E-6121-2017
56274803200
0000-0002-0470-9944
РОССИЯ
а
Аветисян
Ишханович
директор
РОССИЯ
50.41.17
Системное программное обеспечение
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Евгений
Новиков
Михайлович
Проектирование, разработка и реализация алгоритмов. Написание и отладка программы
РОССИЯ
Илья
Щепетков
Викторович
Проектирование, разработка и реализация алгоритмов. Написание и отладка программы
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИСП РАН
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
1037700067327
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения