Методология синтеза параллельных логических мультиконтроллеров и организация параллельных вычислений

Научные руководители: д. т. н., проф. И. В. Зотов, к.т.н., преп. Д. О. Бобынцев

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

Современная микроэлектронная технология позволяет размещать на СБИС до 100 процессорных модулей. Критическими моментами данной предметной области являются:

зависимость Российской Федерации от поставок микросхем подобного уровня интеграции;
отсутствие теоретического базиса построения однокристальных мультикомпьютеров повышенной надёжности как частного случая подобных систем.

В рамках данного направления ведутся следующие исследования:

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