Лаборатория № 27 «Надёжности, диагностики и отказоустойчивости»

Основатель и первый зав. лаб. № 27 Павел Павлович Пархоменко

Лаборатория родилась в 1964 г. в недрах лаб. № 3, руководимой членом-корреспондентом АН СССР Михаилом Александровичем Гавриловым, и первоначально называлась Лабораторией логических машин. Это название связано с пионерскими разработками логического анализатора релейно-контактных схем и ряда образцов программно-управляемых машин для автоматизированной проверки технических объектов (телефонной аппаратуры, электровозов, самолётов, систем управления ракетами и др.). Разработки привлекли всеобщее внимание и активизировали решение задач автоматизации контроля в различных областях народного хозяйства.

Руководил новой лабораторией кандидат технических наук, ныне член-корреспондент РАН, доктор технических наук, профессор Павел Павлович Пархоменко. В состав лаборатории влились энтузиасты нового направления в технической кибернетике к.т.н. В.В. Карибский, к.т.н. Ю.Л. Томфельд и тогда ещё не доктор и не профессор Е.С. Согомонян. Новизна тематики привлекла в лабораторию многих молодых инженеров.

К интересным теоретическим результатам начального периода жизни лаборатории относится введение в обиход понятия однотактного эквивалента многотактной схемы; разработка методов синтеза логических схем из элементов различных базисов (метод замены входных переменных и метод замены выходных функций); получение фундаментальных результатов по состязаниям в логических цепях, по распознаванию классов конечных автоматов.

Лаборатория перевела на русский язык знаменитую монографию А. Гилла «Введение в теорию конечных автоматов», ставшую настольной книгой многих исследователей и побудившую сотрудников лаборатории к написанию фундаментальной монографии «Введение в техническую диагностику» в двух томах.

Техническая диагностика, новая в то время дисциплина, стала тематикой работы и названием лаборатории в конце 60-х гг. В начале 70-х в лаборатории широким фронтом стартовали работы по теории и практике тестового диагностирования комбинационных и последовательностных схем, по тестам поиска неисправностей, встроенным системам контроля и тестирования, автоматизации тестирования, расчётам и оптимизации надёжности. Большинство этих важных для практики проблем было поставлено впервые. Эта тематика сохраняется и сегодня.

Научно-организационная роль лаборатории оказалась весьма значительной. Ежегодные школы-семинары по технической диагностике под руководством П.П. Пархоменко укрепили интерес к этим проблемам, заслужили авторитет и признание среди советских учёных и инженеров, занятых разработкой вычислительной и управляющей техники. Всего с 1973 г. проведено 18 школ, почти 100 «учеников» защитили кандидатские диссертации, а более 20 стали докторами наук. Проведено шесть Всесоюзных совещаний по технической диагностике и отказоустойчивости, вызвавших интерес представителей ближнего и дальнего зарубежья. Был создан прочный научный фундамент важных технологических знаний по автоматизации проектирования, тестированию, диагностированию, функциональному контролю и отказоустойчивости. И разрушить этот фундамент полностью не удалось даже в перестроечное безвременье.

С 70-х гг. лаборатория стала де-факто играть в стране роль координационно-исследовательского центра по технической диагностике. Сотрудники лаборатории были тесно связаны с практическими разработками многих предприятий страны: НИЦЭВТ, НИИНЦ, НИИПМ, НИИП, НПО «ВЕГА», НИИ «ИМПУЛЬС», КБ «Электроприбор» (г. Харьков) и др. Лаборатория с честью справилась с заданием АН СССР по диагностированию, восстановлению и обслуживанию управляющей и вычислительной техники новой серии импортных рыболовных супертраулеров на стационарных базах и в открытом океане.

С середины 70-х гг. на волне институтских работ по ПС-2000 в тематику лаборатории вошли темы по проектированию отказоустойчивых многопроцессорных управляющих систем. Работы проводились в интересах космоса (КБ «Электроприбор») и перспективных разведывательных летающих лабораторий дальнего обнаружения (НПО «ВЕГА»). Этот круг вопросов остаётся актуальным и поныне.

Зав. лаб. № 27 Михаил Фёдорович Каравай

С 1995 г. лабораторию возглавил к.т.н. (в настоящее время – доктор технических наук, почётный деятель науки и техники) Михаил Фёдорович Каравай.

В 2006–2007 гг. лаборатория пополнилась новыми научными кадрами по проблемам надёжности в микроэлектронике (к.т.н. Б.П. Петрухин и его коллеги), специалистами по теории сетей и коммутации (д.т.н., проф. Г.Г. Стецюра, д.т.н. В.С. Подлазов), в 2010 г. в состав лаборатории влилась лаб. № 4, возглавлявшаяся до этого д.т.н., проф. В.В. Игнатущенко и исследовавшая проблемы надёжности выполнения сложных программных комплексов в многопроцессорных системах, и специалистом в новой для лаборатории тематике – разработке модели нейронного кортекса (к.т.н. А.М. Михайлов).

В последние годы в лаб. № 27 выполнены и продолжаются исследования по следующим теоретическим направлениям:
  –  исследование и создание высоконадёжных, живучих управляющих информационных систем;
  –  анализ надёжности и разработка методик расчёта безотказности систем, построенных на современной микроэлектронной базе;
  –  исследование модели нейронного кортекса для решения задач распознавания, связанных с обработкой очень больших объёмов информации.

Владислав Валентинович Игнатущенко

В рамках направления по исследованию и созданию высоконадёжных, живучих управляющих информационных систем:
  –  Была разработана теория отказоустойчивости, базирующаяся на инвариантно-групповом исследовании структур систем. Впервые найден эффективный аналитический подход к проблеме отказоустойчивости, позволяющий синтезировать оптимальные отказоустойчивые системы различной архитектуры. Впервые было понято, что математическим фундаментом отказоустойчивости служат свойства симметрии (группа автоморфизмов) структуры изучаемой системы (М.Ф. Каравай). Решён ряд задач по системному диагностированию и оптимальному размещению ресурсов в многопроцессорных системах с архитектурами гиперкубов и однородных графов (П.П. Пархоменко).
  –  Теоретические результаты по отказоустойчивости и живучести, полученные в лаборатории в предшествующие годы, позволяют по-новому взглянуть на проектирование «систем в кристалле» (systems-on-chip, SoC). Обилие коммутационных и логических ресурсов в кристалле позволяет реализовать разработанные в лаборатории экономичные и эффективные структурные методы отказоустойчивости. Методы основаны на виртуальном представлении схемы, спроектированной в кристалле, как совокупности логических блоков размером от единичного (один или несколько сложных логических блоков, КЛБ) до удвоенного их числа на каждом следующем уровне. Например, 1/128 всей схемы, 1/64 и т.д. до 1/2 схемы. Разработан алгоритм упаковки кристалла для САПР, позволяющий воспользоваться всегда существующей естественной избыточностью в кристалле и отображать отказавший КЛБ на избыточное пространство в кристалле (к.т.н. С.С. Уваров).
  –  Решён ряд принципиальных проблем по встроенным системам тестового и функционального диагностирования цифровой аппаратуры с декомпозицией системы и проверкой её на предельных рабочих частотах. Результаты позволяют по-новому подходить к синтезу контролепригодных устройств при проектировании систем в кристалле (к.т.н. Г.П. Аксёнова и к.т.н. В.Ф. Халчев). Продолжаются исследования по встроенным механизмам самовосстановления систем с избыточными структурно-функциональными ресурсами. Для систем в кристалле такие механизмы исследуются на основе причинно-ориентированного подхода к учёту повреждающих факторов по аналогии с принципами выживания во враждебном окружении (неблагоприятной среде) биологических организмов, симбиозов, высокоорганизованных сообществ (Е.А. Адоян, к.т.н. Ю.Л. Томфельд).
  –  Проводились исследования по разработке новых подходов к организации надёжных (достоверных) числовых вычислений. Предполагалось, что в основе должен лежать новый стандарт, требующий проведения одновременно с вычислениями оценки достоверности получаемых результатов. Подобный подход должен резко уменьшить возможность непрогнозируемого получения некорректных результатов при работе высоконадёжных систем (С.И. Уваров).
  –  Значительные усилия направлены в настоящее время на решение принципиально важных проблем коммутационных сетей (П.П. Пархоменко, М.Ф. Каравай, В.С. Подлазов). В настоящее время проблемы коммутации в суперкомпьютерах, в многоядерных кристаллах и локальных управляющих сетях реального времени заявили о себе как одной из важнейших задач вычислительной техники. От её решения зависит успешность основного направления повышения производительности и отказоустойчивости, и в целом, надёжности современных систем на основе параллелизма. Предыдущие исследования инвариантно-групповых свойств структур систем показали, что из произвольной структуры редко удаётся получить отказоустойчивую структуру приемлемой избыточности, даже если это решение минимальное. Чтобы выйти из, казалось бы, непреодолимых рамок, было предложено отображать исходную структуру в структуру полного графа. При выборе и проектировании средств коммутации анализу подвергаются вопросы производительности систем коммутации, их ёмкости, сложности реализации, масштабируемости, параллелизма, отказоустойчивости, возможности работы в гетерогенной среде, простоты управления, бесконфликтности прохождения информации, допустимых частотных диапазонов, помехоустойчивости, преемственности предыдущих решений и др. Однако выбор полного графа (или кросс-бара) в качестве среды, на которую отображают исходный граф, к сожалению, неприемлем из-за сложности. В то же время остальные из перечисленных характеристик полного графа весьма привлекательны для проектируемых систем.
  –  В лаборатории проводятся исследования по проектированию новых коммутационных структур для микроэлектроники, вычислительной техники и локальных системных сетей реального времени. Цель работы – построение математической конструкции, которая помогла бы дать ясный ответ на все рассмотренные выше вопросы, включая проблему сложности полных графов. Обнаружено, что малоизвестная в инженерно-технических кругах математическая комбинаторная конструкция «симметричная уравновешенная блок-схема» содержит большие возможности в создании сетевых средств коммутации для высокопроизводительных отказоустойчивых, в том числе неоднородных управляющих и вычислительных систем. У блок-схем есть графовый эквивалент – двудольный граф.

При надлежащей интерпретации, блок-схемы можно рассматривать как квазиполные коммутационные структуры - графы, вершины которых соединены не по принципу «точка-точка», а через достаточно простой переключатель, практически не вносящий дополнительной задержки при прохождении сигналов. При этом число каналов связи и портов n-узловой сети уменьшается пропорционально в   раз по сравнению с полным графом. В этом основное их преимущество перед коммутационными структурами, моделируемыми полными графами.

Впервые было замечено, что двудольные графы (bipartite graphs), уравновешенные блок-схемы (block-designs) и коммутационные сети – не разрозненные понятия, а «родные братья». Это оказалось самым важным, поскольку дало в руки исследователей сильный математический инструмент и позволило сформулировать задачу проектирования высокопроизводительных отказоустойчивых сетевых систем коммутации. Также пришло понимание того, что эти исследования могут сделать прорыв в технологической области создания сверхбольших интегральных схем типа ПЛИС или SoC, поскольку на порядки снижается число необходимых соединений в коммутационной сети.

Предлагаемая топология, по существу, представляет собой двухкаскадный коммутатор, который оказывается «почти» полным графом: для практических применений его можно рассматривать как полный граф. Мы назвали его «квазиполным графом».

Почему квазиполный граф представляет такой интерес? В основном потому, что обладает всеми положительными характеристиками полного графа, значительно проще и, что очень важно, в него можно отобразить любую топологию – это бесценное свойство для производительности и отказоустойчивости. Достаточная для практических результатов работа уже проделана. Ясно, как проектировать кластеры, насчитывающие до 1500 абонентов. Ясно, как каскадировать эти сети, строить их комбинации, насчитывающие десятки тысяч абонентов.

Ещё одно направление исследований связано с многолетними работами Г.Г. Стецюры по совмещению вычислений и обмена данными в каналах передачи данных. Над данными в процессе их побитной передачи по каналу группа объединённых каналом узлов выполняет распределённые вычисления (логические, арифметические: сложение, вычитание, умножение, операции max и min). Перемещающийся по каналу пакет с данными после выхода из последнего узла группы содержит результат групповой операции. Область применений подхода довольно обширна: это ускорение коллективных операций в ЭВМ (не менее чем в log n раз при n процессорах на таких задачах, как вычисление значения полиномов, свёртка, дискретное преобразование Фурье, сортировка); сокращение активной площади кристалла, отводимой под операции обмена данными; быстрое обнаружение и устранение неисправных компонент и др.

Приведённые подходы разрабатываются как методы поддержки автономности систем управления жёсткого реального времени. Под автономностью понимается наличие в системе развитых средств самоуправления: конфигурируемости, оптимизации, самовосстановления и самозащиты от враждебного вмешательства. Интересно отметить, что на суперкомпьютерном форуме СКФ-2018 в Переславле-Залесском представители фирмы Intel заявили, что они начали разработки по совмещению вычислений и обменов с памятью в каналах как перспективное направление для повышения производительности систем.

В 2009–2013 гг. под руководством Б.П. Петрухина в лаборатории проводился сравнительный анализ различных методик расчёта безотказности интегральных схем по результатам их испытаний различными фирмами и по различным методологиям для разработки модели прогнозирования показателей безотказности современных КМДП ИС.

Сегодня в мире основными элементами цифровой техники являются интегральные полевые микросхемы (КМДП ИС). Это и программируемые массивы логических элементов, микропроцессоры, различные элементы памяти и т.п. Основные производители больших и сверхбольших КМДП ИС – фирмы Altera, Xilinx, Atmel и др. В соответствии со стандартом ISO 9000 все изготовители обязаны подтверждать качество своей продукции, в частности показатели надёжности.

Указанные элементы относятся к классу высоконадёжных изделий, у которых показатели безотказности очень высоки, в частности, интенсивность отказов составляет один отказ на сто млн. приборочасов и менее. Поэтому для подтверждения таких показателей нужно проводить контрольные испытания в форсированных режимах и условиях, хотя изготовители предупреждают, что пользоваться значениями интенсивности отказов, полученными при контрольных испытаниях, для оценки надёжности изделий, в которые входят эти элементы, не рекомендуется. Однако достоверную информацию об отказах в процессе эксплуатации получить практически не реально. Отмечается, что отказы ПЛИС в нормальных условиях очень редки. Поэтому цель данной работы состояла в оценке возможности использования результатов контрольных испытаний, проводящихся фирмами Altera и Xilinx в течение последних пяти и более лет и посему имеющих существенную эквивалентную наработку. При этом проводился критический анализ видов отказов, учитывались механизм отказа и влияние на него различных внешних факторов. Американский военный стандарт МIL-217 + F.2 дает более пессимистическую оценку, чем французский UTC (CNET93). Анализ показывает, что расчётная интенсивность отказов, получаемая по обеим методикам, как правило, выше, чем при испытаниях. Анализ результатов испытаний показывает, что интенсивности отказов ПЛИС практически не зависят от характерного размера и степени интеграции. В настоящее время ПЛИС широко проникли в самые разнообразные методологии проектирования бытовой, авиационной и космической аппаратуры. И проявилась их зависимость от влияния радиационных излучений. Знание их реальных характеристик необходимы для проектирования надёжных электронных устройств.

Сотрудники лаборатории (М.Ф. Каравай) активно вовлечены в работы МОКБ «МАРС» и ФГУП ЦНИИмаш по проектированию и производству новейших отказоустойчивых управляющих и вычислительных систем для разгонных блоков и малых спутников широкого назначения. Многолетний опыт лаборатории по созданию диагностического обеспечения, по возможности, передаётся в последние разработки МОКБ «МАРС». Совместно с МОКБ «МАРС» получен патент РФ на новую архитектуру отказоустойчивой памяти для работы в условиях усиленного ионизирующего излучения. Память «выдерживает», то есть парирует, до нескольких сотен устойчивых отказов, которые раньше считались невосстановимыми. При этом заметных потерь в производительности нет. Ещё одно направление совместной деятельности – создание двугранных (двухканальных) отказоустойчивых систем с характеристиками, близкими к характеристикам современных четырёх- и трёхгранных систем. Двугранные системы предназначены для оснащения ими разгонных блоков, малых спутников, летательных аппаратов, производимых «ГосМОКБ «РАДУГА»». Управляющие бортовые ЭВМ проектируются на базе отечественных «систем-в-кристалле», производимых фирмой «Элвис» в г. Зеленограде.

Основатель и первый зав. лаб. № 5 Борис Григорьевич Волик

В 2016 г. в состав лаб. № 27 были включены сотрудники бывшей лаб. № 5 «Анализа свойств систем сложной структуры», специалисты по надёжности высочайшего класса: г.н.с., д.т.н. В.С. Викторова, в.н.с., к.т.н. Н.В. Лубков, с.н.с., к.т.н. А.В. Антонов, с.н.с., к.т.н. Г.Л. Поляк, с.н.с. А.С. Степанянц, и аспирант мехмата МГУ м.н.с. М.Ю. Воробьёва. В том же 2016 г. в состав лаб. № 27 была включена часть сотрудников бывшей лаб. № 13 «Функциональной безопасности»: её заведующий, теперь г.н.с., д.т.н. Е.В. Юркевич, с.н.с., к.ю.н. Б.В. Колосов и н.с. Л.Н. Крюкова.

Лаб. № 5 была создана в 1972 г. посредством слияния двух научных коллективов, успешно работавших над проектом комплексной автоматизации нового класса атомных подводных лодок (Проект 705). Один коллектив, которым руководил доктор технических наук, профессор Сергей Михайлович Доманицкий (1927–1971), работал над созданием методов анализа и обеспечения надёжности систем логического управления. Второй коллектив (в составе лаб. № 49) занимался новыми для того времени задачами: разработкой методов анализа и выбора оптимальных уровней свойств систем сложной структуры на основе имитационного моделирования их функционирования. Руководитель этого коллектива Борис Григорьевич Волик и возглавил объединённую лаб. № 5.

Работы лаб. № 5 велись в двух направлениях.

Первое направление охватывало проблемы анализа надёжности, живучести, эффективности и техногенной безопасности систем сложной структуры. Эти проблемы объединяет общность методологии построения расчётных моделей и используемого математического аппарата, включая теорию вероятностей, алгебру логики, комбинаторный анализ, математическую статистику.

Второе направление работ лаб. № 5 включало разработку методов и средств имитационного моделирования организационных систем сложной структуры. При создании моделей может учитываться взаимодействие систем, в том числе и в конфликтных ситуациях. В этом случае система моделирования дополняется игровыми моделями, определяющими потери и выигрыши сторон конфликта. Разработанные имитационные модели могут быть использованы для выработки алгоритмов наилучшего поведения, а также поиска сбалансированных значений показателей, определяющих свойства исследуемых систем. В наиболее сложных игровых моделях (например, модели двустороннего конфликта) при разыгрывании ситуаций конфликта решения принимает человек-оператор. В этих случаях система моделирования снабжается системой поддержки принятия решений (СППР), в которую включается имитационная модель ситуации. Имитационная модель позволяет оценить различные варианты решений и рассчитать показатели векторного критерия эффективности каждого из них, по которым ЛПР, пользуясь алгоритмами СППР, определяет вариант решения, наиболее полно отвечающего его предпочтениям.

За время своего существования лаб. № 5 выполнила ряд прикладных работ, качество которых неизменно высоко оценивалось заказчиками.

Под руководством к.т.н. Б.Б. Буянова выполнен анализ вариантов навигационно-пилотажного комплекса самолёта Ил-62м для получения международного сертификата на полёты над Северной Атлантикой (70-е гг.) и проведены исследования надёжности систем числового программного управления станками. Им предложен принцип сравнения проектных решений по векторным оценкам в многокритериальных задачах принятия решений, разработаны алгоритмы выделения предпочтительных вариантов с учётом информации о предпочтениях ЛПР.

Начиная с 80-х гг. работы лаб. № 5 по проектному анализу надёжности судовых энергетических установок, систем жизнеобеспечения атомных подводных лодок, подсистем АСУ ТП АЭС возглавлял к.т.н. Н.В. Лубков. В комплексной теме по разработке автоматизированных систем управления городским хозяйством он отвечал за направление, связанное с оценкой технического состояния объектов энергоснабжения.

В 90-х гг. в лаб. № 5 проводились исследования и разработки моделей надёжности бортовых отказо-сбоеустойчивых вычислительных комплексов, проектируемых в НИИ НЦ (г. Зеленоград). В 2000-х гг. лаб. № 5 участвовала в российско-американском проекте по RAM анализу объектов уничтожения химического оружия. Руководил этими работами А.С. Степанянц.

C середины первого десятилетия XXI в. в лаборатории под руководством к.т.н. А.В. Антонова ведутся разработки:
  –  по испытаниям и верификации программного обеспечения для АСУ (блочного и станционного уровней управления) АЭС «Бушер» и «Куданкулам»;
  –  по подготовке к сертификации по требованиям безопасности комплекса технико-программных средств повышенной надёжности (КТПС ПН) для АЭС;
  –  по алгоритмизации управления движением сложных технических объектов при выполнении ими основной работы, а также программных средств для обработки измерений параметров движения и восстановления сил и моментов;
  –  сверхбольших баз данных, включённых в состав специализированного комплекса для контроля и управления параметрами рабочих процессов для предотвращения аварийных ситуаций при проведении испытаний установок космических аппаратов.

Валентина Сергеевна Викторова

С 2006 г. сотрудники лаб. № 5 стали развивать новое научное направление – исследование контролепригодности авиационных систем, и были вовлечены в крупномасштабные проекты ведущих авиастроительных организаций страны – ЗАО «ГСС», корпорации «ИРКУТ», ФГУП «ГосНИИАС». Лаборатория выполняет следующие хоздоговорные работы: «Разработка моделей, методов, алгоритмического обеспечения автоматизированного анализа контролепригодности самолётов семейства МС-21», «Исследование моделей контролепригодности и технического обслуживания бортового авиационного оборудования и влияния указанных факторов на показатели надёжности». Проектами по анализу и автоматизации контролепригодности авиационных систем руководила д.т.н. Валентина Сергеевна Викторова. С июля 2013 г. она стала зав. лаб. № 5.

С начала XXI в. под руководством к.т.н. Г.Л. Поляка осуществлялось внедрение теоретических результатов, полученных в рамках второго направления:
  –  выполнена работа «Компьютерные имитационные системы как инструментарий для выработки научно-технической политики в условиях военной реформы», вошедшая в перечень важнейших результатов РАН в интересах обороны и безопасности страны;
  –  разработаны программы демонстрационных образцов двух морских операций в Северной Атлантике и Каспийском море, на базе которых создан программный комплекс фрагмента имитационной системы, внедрённый в учебный процесс Военной академии Генерального штаба.

В конце 1993 г. Учёный совет Института принял решение о создании лаб. № 13. «Функциональной безопасности». Заведующим новой лабораторией был избран к.т.н. Е.В. Юркевич, (ныне д.т.н., профессор, академик РАЕН, г.н.с лаб. № 27).

Евгений Владимирович Юркевич

Лаб. № 13 была образована как научное подразделение, развивающее идеи построения Государственной системы приборов и средств автоматизации нового поколения (ГСП-2). Этим объясняется тесный контакт её тематики 90-х годов с заказами Российского комитета по машиностроению (преемника Минприбора) и Госстандарта России. Первыми результатами, полученными в лаборатории, были модели оперативных воздействий, определяющие пути совершенствования работы органов государственного управления в новых рыночных условиях.

Более десяти лет на базе лаборатории активно работал Орган по сертификации электрооборудования, аккредитованный Госстандартом России, а сотрудники лаборатории были аккредитованы как эксперты в области информационных технологий и электротехники. Среди заявителей этого Органа были IBM, DUX, Samsung и другие крупные корпорации.

Дальнейшие направления в развитии исследований определила актуальность задач обеспечения надёжности управления человеко-машинными системами автоматизации технологических процессов. Был создан журнал «Надёжность». В течение более 10 лет его первым главным редактором был Е.В. Юркевич.

В развитие положений международных стандартов, определяющих функциональную безопасность программно-технических средств, в лаб. № 13 исследовалась функциональная надёжность сочетания технических и организационно-экономических систем. Была предложена методология использования ситуационного принципа управления в стандартизации работы программно-технических комплексов (Е.В. Юркевич, Л.Н. Крюкова).

Решение задач обеспечения функциональной надёжности технических систем определило участие лаб. № 13 (Е.В. Юркевич, Л.Н. Крюкова) в работе по стандартизации технического комитета 65 МЭК «Измерение и управление в промышленных процессах».

С целью формирования методической поддержки инновационного развития ракетно-космической отрасли, совместно с организациями Роскосмоса (ЦНИИмаш, АО «Корпорация «ВНИИЭМ») ведутся работы по формированию методологии обеспечения устойчивости бортовых систем космических аппаратов к внешним воздействиям. Одним из важных направлений в этих работах является создание методов построения экспертных систем. На Международной выставке научно-технических и инновационных разработок «Измерение, мир, человек» разработка «Экспертная система поддержки прогнозных решений при обеспечении стойкости космического аппарата к электрофизическим воздействиям» в 2015 г. получила золотую медаль в номинации «Информационно-аналитические системы». В 2016 г. (совместно со специалистами АО «Корпорация ВНИИЭМ») за разработку «Информационно-аналитическая система оценки качества ракетно-космической техники» получена золотая медаль в номинации «Автоматизация и информатизация производства».

В настоящее время специалистами, перешедшими в состав лаб. № 27, изучаются возможности обеспечения функциональной надёжности работы бортовых систем космических аппаратов. Совместно с лаб. № 31 Института предложена методология имитационной оптимизации механизмов управления стойкостью функциональных модулей к внешним воздействиям. Рассматриваются особенности информационного обеспечения компьютерных мультиагентных технологий при интерсубъектном взаимодействии экспертов. Регулярное обсуждение новых результатов на общемосковском семинаре «Теория систем и задачи управления» (руководитель Е.В. Юркевич) является действенным инструментом развития перспективных работ.

Работы лаб. № 27 представлены многочисленными журнальными статьями и авторскими свидетельствами, а также монографиями, основными из которых являются «Методы анализа и синтеза структур управляющих систем» (М.: Энергоатомиздат, 1988); «Модели и методы расчёта надёжности технических систем» (М.: URSS, 2014). Многие работы выполнялись по решениям Правительства, отмечены дипломами как лучшие работы Института и правительственными наградами. С 2017 г. лаборатории поручена важная работа по диагностировании технического состояния систем базового ЦУП в г. Королёве, включённая в Государственную 4-х летнюю Программу модернизации базового ЦУП Роскосмоса (М.Ф. Каравай, В.Ф. Халчев, Н.В. Лубков, А.В Антонов).