ИКРБС
№ 224121000034-3Экспериментальные исследования, обобщение и оценка результатов (заключительный)
29.12.2019
В настоящем отчете представлены результаты выполнения поисковых научно-исследовательских работ, в ходе которых были проведены экспериментальные исследования реализованного образца
программного комплекса и выполнен его анализ в сравнении с современным научно-техническим уровнем. А так же, выполнены дополнительные патентные исследования в соответствии с ГОСТ Р 15.011-96 в областях проектирования, верификации и тестирования кибер-физических систем, методов генерации формальных моделей.
ГРНТИ
28.23.29 Программная реализация интеллектуальных систем
Ключевые слова
проверка моделей
модель объекта управления
кибер-физические системы
генерация моделей
верификация
распределенные системы
Детали
Заказчик
Министерство образования и науки Российской Федерации
Исполнитель
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИТМО"
Бюджет
Средства федерального бюджета: 8 000 000 ₽
Похожие документы
Экспериментальные исследования, обобщение и оценка результатов работ.
0.920
ИКРБС
ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ ПОСТАВЛЕННЫХ ПЕРЕД ПНИ ЗАДАЧ. ОБОБЩЕНИЕ И ОЦЕНКА РЕЗУЛЬТАТОВ ИССЛЕДОВАНИЙ (заключительный) 3 этап
0.908
ИКРБС
Отчёт о прикладных научных исследованиях и экспериментальных разработках "Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации" по теме : "Разработка программной документации.
Проведение экспериментальных исследований" (заключительный, этап 2).
0.905
ИКРБС
Исследование технического уровня аппаратно-программного комплекса для испытаний сложных информационно-управляющих систем с большим количеством распределенных и сосредоточенных параметров (1 этап, промежуточный)
0.894
ИКРБС
Прототип программного комплекса, включающий средства обеспечения надежности моделей, и его апробация" Этап 3 (заключительный)
0.893
ИКРБС
Экспериментальные исследования (заключительный)
0.891
ИКРБС
Экспериментальные исследования, обобщение и оценка результатов работ (заключительный)
0.890
ИКРБС
ОТЧЕТ О ПРИКЛАДНЫХ НАУЧНЫХ ИССЛЕДОВАНИЯХ «Разработка и программная реализация типовых протоколов информационного обмена и взаимодействия для высокотехнологичного машиностроительного оборудования» по теме «РАЗРАБОТКА ЭКСПЕРИМЕНТАЛЬНЫХ ОБРАЗЦОВ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРОВЕДЕНИЕ ИСПЫТАНИЙ ЭКСПЕРИМЕНТАЛЬНЫХ ОБРАЗЦОВ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ» (заключительный), этап второй
0.890
ИКРБС
Отчет об исследованиях (выполнении проекта) «Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем», Этап № 2: «Разработка архитектуры, методов и технологий»
0.890
ИКРБС
Отчет о прикладных научных исследованиях и экспериментальных разработках «Разработка средств высокоскоростной обработки данных информационных сенсоров в системах ситуационного управления» по теме «Экспериментальные исследования, обобщение и оценка результатов» (заключительный, этап 3)
0.889
ИКРБС