Программное обеспечение для интерактивного выполнения и анализа смарт-контрактов
системы распределённого реестра (СРР) смарт-контракты лидирующий исследовательский центр (ЛИЦ) информационные технологии сквозные цифровые технологии безопасная обработка данных Блокчейн
Программное обеспечение предназначено для интерактивного выполнения и анализа смарт-контрактов. Обеспечение представляет собой узел именованного экземпляра среды выполнения на языке Erlang, которая преобразует полученные данные в математическую модель, выраженную в виде сети Петри и представляет ее в виде диаграмм в нотации бизнес-процессах. Программа создана по Договору о предоставлении гранта от 20.03.2020 №004/20 на реализацию программы лидирующего исследовательского центра (ЛИЦ), «сквозная» цифровая технология ЛИЦ – «Системы распределенного реестра», мероприятие программы ЛИЦ – «Разработка смарт-контрактов для приоритетных отраслей экономики, социальной сферы и государственного управления».
создание надежных систем распределенных реестров, безопасная обработка данных, промышленность
Алексей
Дудниченко
Викторович
Руководитель центра
Отсутствует
Отсутствует
-
-
РОССИЯ
Кирилл
Семенихин
Владимирович
Директор
РОССИЯ
49.27.31
Системы и аппаратура цифровой передачи
20.53.23
Средства передачи информации
28.27.15
Оптимизация надежности
28.27.27
Методы оценки надежности
28.21.19
Теория кодирования
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Дмитрий
Золотарев
Валерьевич
Разработка программного модуля
РОССИЯ
Александр
Седов
Дмитриевич
Разработка программного модуля
РОССИЯ
ФОНД НТИ
ФОНД ПОДДЕРЖКИ ПРОЕКТОВ НАЦИОНАЛЬНОЙ ТЕХНОЛОГИЧЕСКОЙ ИНИЦИАТИВЫ
1167700062529
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Фонды
АНО ВО "Университет Иннополис"
Автономная некоммерческая организация высшего образования "Университет Иннополис"
1121600006142
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Автономные некоммерческие организации