Программное обеспечение, реализующее логику работы узла распределенного реестра (СРР)
информационные технологии системы распределённого реестра (СРР) формальная верификация лидирующий исследовательский центр (ЛИЦ) сквозные цифровые технологии
Программа предназначена для проверки конфигурационных файлов работы системы распределенного реестра и реализуется в два этапа. Первый этап реализует проверку конфигурационных файлов, производит подключения к системе управления базами данных, проверку структуры каталогов, наличия библиотеки работы с ЭЦП и наличия Генезис блока. Второй этап реализует алгоритм протокола консенсуса и включает в себя получение на входе состояние сети, а на выходе определение консенсуса между всеми участниками сети. Программа создана в рамках Договора о предоставлении гранта от 20.03.2020 № 004/20 на реализацию программы лидирующего исследовательского центра (ЛИЦ), «сквозная» цифровая технология ЛИЦ – «Системы распределенного реестра», мероприятие программы ЛИЦ – «Проектирование и разработка минимального пользовательского приложения для отправки и получения данных из блокчейн-системы». Тип ЭВМ: IBM PC-совмест. ПК; ОС: Linux.

Язык программирования: Erlang

Объем программы для ЭВМ: 39358 Б
Системы распределенного реестра
Алексей
Дудниченко
Викторович
Руководитель центра
Отсутствует
Отсутствует
-
-
РОССИЯ
Кирилл
Семенихин
Владимирович
Директор
РОССИЯ
06.54.51
Компьютеризация. Информатизация. Экономика информационного обслуживания
49.33.35
Надежность сетей связи и защита информации
81.96.00
Защита информации
28.27.15
Оптимизация надежности
01.02.ER
COMPUTER SCIENCE, CYBERNETICS
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Андрей
Савицкий
Павлович
Реализация частей исходного текста программы
РОССИЯ
Ляйля
Аминова
Галимовна
Реализация частей исходного текста программы
РОССИЯ
Сергей
Нестерович
Александрович
Реализация частей исходного текста программы
РОССИЯ
ФОНД НТИ
ФОНД ПОДДЕРЖКИ ПРОЕКТОВ НАЦИОНАЛЬНОЙ ТЕХНОЛОГИЧЕСКОЙ ИНИЦИАТИВЫ
1167700062529
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Фонды
АНО ВО "Университет Иннополис"
Автономная некоммерческая организация высшего образования "Университет Иннополис"
1121600006142
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Автономные некоммерческие организации