| Наименование РИД |
Программа верификации процессов обработки и хранения больших данных
|
| Реферат |
Программа предназначена для автоматической верификации
процессов обработки и хранения больших данных.
Программа может использоваться в системах больших данных.
Функциональные возможности программы: программа принимает
на вход JSON-файл описания графа, моделирующего анализируемую систему
и содержащего список вершин-фрагментов данных с указанием исходящих
ребер-направлений обработки данных для получения следующих
фрагментов. На основе графа системы программа строит граф обработки
данных, генерирует спецификацию TLA+ и выполняет проверку инвариантов
обработки данных. Программа выводит интерактивную HTML-визуализацию
структуры Крипке.
|
| Возможные направления использования |
Программа может использоваться для автоматической верификации процессов обработки и хранения больших данных в системах больших данных.
|
| Количество опытных образцов |
1
|
| Количество просмотров |
2
|
| Наличие дополнительных файлов |
False
|
| Использование РИД правообладателем |
False
|
| Внешнее использование РИД |
False
|
| НИОКТР (JSON) |
{}
|
| ИКСИ (JSON) |
[]
|
| ИКСПО (JSON) |
[{"last_status": {"created_date": "2025-12-19T16:56:34.417599+00:00", "registration_number": "825121900052-1", "status": {"name": "Подтверждена"}}, "copyright_protections": [{"protection_way": {"name": "Осуществлена государственная регистрация"}}]}]
|
| ОЭСР (JSON) |
[]
|
| Дата первого статуса |
2025-10-17T07:35:50.365266+00:00
|
| Предполагаемый тип результата |
Программа для ЭВМ
|
| Ожидаемая роль |
Исполнитель
|
| Заказчик |
Российский научный фонд
|
| Руководитель работы |
Зегжда Дмитрий Петрович
|
| Руководитель организации |
Кадиев Исмаил Гаджиевич
|
| Регистрационный номер НИОКТР |
123112000035-0
|
| Последний статус |
Подтверждена, 625110500080-4, 2025-11-05 08:17:24 UTC
|
| ОКПД |
Услуги по проектированию и разработке информационных технологий для прикладных задач и тестированию программного обеспечения
|
| Ключевые слова |
информационная безопасность; граф; большие данные; верификация; структура Крипке; инвариант
|
| Исполнители |
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ПОЛИТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ПЕТРА ВЕЛИКОГО"
|
| Авторы |
Калинин Максим Олегович; Полтавцева Мария Анатольевна; Зегжда Дмитрий Петрович
|
| Коды тематических рубрик |
50.43.19 - Системы автоматического контроля функционирования сложных систем
|
| OESR |
Автоматизированные системы управления
|
| Приоритеты научно-технического развития |
д) противодействие техногенным, биогенным, социокультурным угрозам, терроризму и экстремистской идеологии, деструктивному иностранному информационно-психологическому воздействию, а также киберугрозам и иным источникам опасности для общества, экономики и государства, укрепление обороноспособности и национальной безопасности страны в условиях роста гибридных угроз;
|
