Методология верификации и допуска интеллектуальных систем космической деятельности
Нормативно-методологическая архитектура на пересечении стандартов искусственного интеллекта и космических стандартов. Создание целостной методологической рамки для проектирования, классификации, верификации, допуска и сопровождения интеллектуальных систем космических миссий.
Почему этой работы нет в мире
В мире на сегодняшний день отсутствует целостная методологическая рамка, определяющая порядок проектирования, классификации, верификации, допуска и сопровождения интеллектуальных систем космической деятельности. Эти системы попадают одновременно под две слабо скоординированные нормативные архитектуры — управление космической деятельностью и управление искусственным интеллектом.
Существующие международные и национальные стандарты не дают ответов на ключевые вопросы: как классифицировать интеллектуальную систему космического назначения, как организовать её верификацию и допуск, какой профиль соответствия применять, какие доказательства считать достаточными. Без целостной методологии любая попытка позиционировать прикладную разработку, выбрать стандартизационный маршрут или начать диссертационное исследование сталкивается с неопределённостью базовой нормативной картины.
Это создаёт окно возможностей для России: первой в мире разработать целостную методологическую рамку, способную стать содержательной основой для национального и международного стандартного движения в этой области.
С кем мы работаем
Базовая площадка работы — Лаборатория инженерии знаний Института математических исследований сложных систем (ИМИСС) Московского государственного университета имени М. В. Ломоносова. Содержательная межфакультетская кооперация в рамках МГУ обеспечивается академической опорой на профильную научную школу.
Проект развивается в контуре, объединяющем академический, индустриальный и стандартизационный уровни: научно-методологическая часть выполняется в академической среде, прикладная апробация — на ограниченных типовых классах систем, стандартизационный маршрут — через входы в профильные технические комитеты по стандартизации Российской Федерации.
Четыре этапа работы
Работа рассчитана на горизонт около двух лет и разделена на четыре последовательных этапа.
Аналитико-картографический
Системный анализ международных и национальных документов, формирование рабочих реестров акторов, документов, стандартов, процессов, зон ответственности и пробелов. Перекрёстный анализ корпусов стандартов искусственного интеллекта и космических стандартов. Формирование исследовательского атласа и карты входа.
Научно-методологический
Разработка понятийного аппарата, трёхосевой классификационной модели, нормативно ориентированной модели жизненного цикла, состава требований к проверке и подтверждению применимости, профиля соответствия и модели доказательного пакета допуска.
Прикладной и апробационный
Построение прикладной матрицы «функция — риск — требование — доказательство». Пилотная апробация методологии на ограниченном наборе типовых классов систем. Подготовка методических рекомендаций для инженерной практики.
Стандартизационный и институциональный
Подготовка концепции национального стандартного профиля. Формирование пакета входов в технические комитеты по стандартизации. Рамочная подготовка для последующего внесения в международные контуры. Проектирование межфакультетского образовательного модуля и постоянного научного семинара.
Что получает научное и стандартизационное сообщество
📘 Белая книга
Аналитический документ объёмом 80–120 страниц, содержащий целостную картину мировой и российской экосистемы нормативного обеспечения интеллектуальных систем космической деятельности. Основа для последующей научной, стандартизационной и публикационной работы.
🔬 Научно-методологическая архитектура
Понятийный аппарат и трёхосевая классификационная модель, нормативно ориентированная модель жизненного цикла, профиль соответствия на пересечении стандартов ИИ и космических стандартов, модель доказательного пакета допуска.
📐 Стандартизационный маршрут
Концепция национального стандартного профиля. Пакет входов в профильные технические комитеты по стандартизации Российской Федерации (ТК 164, ТК 321). Рамочная подготовка для последующего внесения в международные стандартизационные контуры (ИСО/МЭК 42, ИСО/ТК 20/ПК 14, CCSDS, ECSS).
🎓 Образовательный и научный контур
Проект межфакультетского образовательного модуля. Программа постоянного научного семинара по тематике НИР. Публикационный пакет на 12 месяцев. Маршрут к диссертационным исследованиям кандидатского и докторского уровня.
Как принять участие в проекте
🚀 Космическая отрасль
Содержательное участие в формировании прикладной матрицы. Экспертиза по типовым классам интеллектуальных систем космического назначения. Кейсы для пилотной апробации методологии.
📐 Технические комитеты
Взаимодействие через согласованные форматы. Участие в формировании концепции национального стандартного профиля и пакетов входов в ТК.
🤖 Эксперты по ИИ
Содержательная работа над архитектурой методологии, классификационной моделью, моделью доказательного пакета. Соавторство в научных публикациях.
🌍 БРИКС-партнёры
Международная траектория проекта. Совместная разработка методологических подходов, способных стать основой для международного стандартизационного движения через БРИКС.
⚖️ Регуляторы
Регуляторы космической и ИИ-сферы — экспертное сопровождение по согласованным направлениям, формирование обратной связи по нормативно-методологической архитектуре.
🔬 Профильные НИИ
Содержательное участие профильных научных организаций медико-биологического, прикладного и инженерного направления. Экспертная работа в смежных доменах.
Куда работа ведёт дальше
Работа рассматривается как основа для нескольких параллельных треков. На национальном уровне — формирование национального стандартного профиля и последующего стандартизационного движения через ТК. На международном уровне — рамочная подготовка для входа в международные стандартизационные контуры (ИСО, CCSDS, ECSS), а также через альянсы дружественных стран (БРИКС).
На научно-образовательном уровне — развитие научной школы, образовательного межфакультетского модуля и постоянного научного семинара. Маршрут к кандидатским и докторским диссертационным исследованиям. Публикационный пакет, формирующий научный статус направления.
Войти в проект
Космическая отрасль, эксперты по ИИ, технические комитеты, БРИКС-партнёры, регуляторы и профильные научные организации — обсудим формат участия в проекте.