Акционерное Общество «Концерн «СИСТЕМПРОМ»

Гранты

РФФИ 09-07-00299

Добродеев Александр Юрьевич

Методология оценки надёжности и технологической безопасности программного обеспечения критических систем

Возможность прогнозировать и оценивать надёжности и технологической безопасности программного обеспечения критических систем (АЭС, авиации, экологически опасных производств, телекоммуникаций, правоохранительных и оборонных систем) позволит проводить целенаправленную работу по обеспечению надёжности и безопасности программного обеспечения компьютерных систем управления критическими системами и снижению информационных рисков. При этом особое внимание будет уделено научно-теоретическому обоснованию и построению методик метрологических характеристик дефектоскопических, дефектабельных и дефектогенных свойств компьютерных программ. На основе их применения будет предложена интегрированная система управления технологическими и криминальными рисками в компьютерной инфосфере критических систем.

 

РФФИ 09-07-00459

Коротков Сергей Викторович

Разработка методики расчета и параллельного ПО для верификации характеристик нестационарных электромагнитных полей

Задача определения характеристик электромагнитных полей (ЭМП), излучаемых техническими средствами (ТС) различного типа, в том числе ТС вычислительной техники, в широком частотном диапазоне, является весьма актуальной для различных областей практических применений.
В частности, выделение информативной части ЭМП, т.е. части, несущей данные об обрабатываемой средствами электронно-вычислительной техники (ЭВТ) информации на фоне помех, создаваемых в эфире различными источниками является необходимым инструментом для решения задач сертификации и защиты информации на основе аппаратно-программных комплексов. Основой алгоритмов программного обеспечения таких комплексов является теория обработки сигналов, распознавания образов, принятия решений.
Однако, при практическом использовании данных методов возникает ряд проблем. Одной из наиболее важных, с практической точки зрения, является проблема низкой скорости обработки информации, которые может обеспечить аппаратная база стандартной массовой компьютерной техники.
Данный проект направлен на разработку и исследование архитектуры, методов, алгоритмов и параллельного ПО для решения этой задачи на основе использования перспективных современных параллельных вычислительных систем. За основу аппаратной платформы предполагается использовать как современные многоядерные процессоры, так и более производительные кластерные системы. При этом одной из задач проекта является задача разработки и апробации такой методики, которая позволит масштабировать процесс верификации расчетов и исследований в зависимости от имеющихся в наличии аппаратных средств.
Использование параллельных алгоритмов обработки данных совместно с высокопроизводительной параллельной многопоточной(multythreading) аппаратной платформой способно существенно повысить эффективность решения задач определения характеристик ЭМП, обеспечить гибкость путем изменения лишь программной части или добавлением новых ядер процессоров, а не новым проектированием и реализацией аппаратного решения, при этом ориентация на сравнительно недорогие аппаратные средства позволит выдержать эффективное соотношение цены и качества, под которым будем понимать, в данном случае, коэффициент ускорения вычислений по отношению к суммарным затратам на разработку, сопровождение и модернизацию аппаратно-программного комплекса. Если не учитывать это обстоятельство, то, конечно, данные задачи требуют для своего решения суперкомпьютерных средств, типа кластерной или MPP-системы. Однако, использование в недалеком, буквально через 2-3 года, будущем для решения такой задачи многоядерных процессоров позволит в несколько раз, или даже десятков раз, сократить время выполнения необходимых расчетов, что невозможно без разработки соответствующей архитектуры ПО, методики измерений, параллельных алгоритмов и, наконец, реализации соответствующего параллельного прикладного ПО.

 

РФФИ 08-07-00300

Горелкин Георгий Александрович

Автоматизация доступа, получения и преобразования структурированных массивов данных из разных источников с использованием Интернет

Реализация возможности получения фактографических данных различной структуры от разных источников через Интернет позволит использовать их при проведении исследований, цель которых может отличаться от целей первоначального накопления данных. Для обеспечения автоматизированного доступа к данным в базах данных научных центров будут разработаны правила описания содержимого этих баз в виде базы метаданных. Сами данные будут получены на основе формализованного запроса в виде XML-документа, построенного по имеющимся описаниям содержимого баз-источников с помощью разработанного редактора. Допускается различная структура баз данных источников, при этом получаемые от них данные могут быть помещены в одну и ту же базу-приемник на основе правил преобразования и размещения данных, реализуемыми программными средствами.