В Санкт-Петербурге прошел научный семинар на тему «Разработка отказоустойчивых микропроцессорных систем управления»

Семинар был организован информационно-аналитическим Центром Современной Электроники и собрал представителей 28 компаний различных индустриальных направленностей со всей России. Это говорит о том, что данная тема актуальна в наши дни, и отказоустойчивые вычислительные комплексы (ОВК) востребованы на рынке, но многие просто не знают, где их взять.

Семинар своим докладом открыл Кривошеин Б.Н.,  рассказав о методике разработки отказоустойчивых систем управления и анализе их надежности. Когда Борис Николаевич дошел в своем выступлении до инженерной практики по созданию ОВК, слово взял Терехов А.Н. Еще в 1987 году Андрей Николаевич с коллегами по лаборатории системного программирования математико-механического факультета ЛГУ реализовали проект управляющего вычислительного комплекса «Самсон». К 1992г. совместно с ГП Терком этот проект был доведен до промышленного уровня, и данная ЭВМ стала базовой для управляющих систем военного назначения. Два года назад ГУП «Терком» получил новый заказ на разработку нового ОВК, макет которого уже работает. Докладчики на личном опыте знают все ступени создания и внедрения ОВК. На сегодняшний день отказоустойчивые комплексы востребованы не только в обороне, но и в таких областях, как энергетика, нефтедобыча, автомобилестроение, судостроение, самолетостроение, медицина, химическая промышленность. Андрей Николаевич пригласил слушателей посетить ЗАО «Ланит-Терком» и лично увидеть созданный в компании новый современный троированный ОВК. Этот комплекс  превосходит существующие разработки по таким параметрам, как компактность, производительность, стоимость.

Аудитория с большим интересом воспринимала информацию об отечественном опыте создания ОВК.
Во второй части семинара профессор Терехов А.Н. рассмотрел вопросы надежности программного обеспечения и рассказал об инструментах проектирования ПО ответственного назначения. Андрей Николаевич является заведующим кафедрой Системного программирования математико-механического факультета СПбГУ. Студенты, аспиранты и преподаватели кафедры разработали операционную систему реального времени Embox, которая имеет существенные преимущества – русскоязычная документация, поддержка нескольких аппаратных платформ, компактность (полный объем исходного кода 43К строк, минимальный образ 6 кБ).  В сфере создания инструментальных средств разработки программного обеспечения ведется работа над технологией визуального моделирования QReal.

Докладчики поделились своим опытом создания технологии, нацеленной на новую задачу – спроектировать процессор, оптимизированный на заданную задачу или класс задач (сегодня такие технологии относятся к классу CoDesign).  Был придуман входной язык системы, который получил название HaSCoL (Hardware and Software CoDesign Language).  С одной стороны, HaSCoL достаточно выразителен и удобен для пользователя, с другой стороны, данный язык дает возможность пользователю определять параллельные и конвейерные конструкции на любом уровне и допускает эффективную реализацию в VHDL или Verilog.

После того как доклады были зачитаны, Кривошеина Б.Н. и профессора Терехова А.Н. засыпали вопросами. Диалог с аудиторией оказался не менее интересен, чем сами доклады. Представители компаний, принявших участие в мероприятии, делились впечатлениями, узнавали, где применяются разработки «Ланит-Терком», каким образом их можно внедрить в работу их предприятий. Подводя итоги семинара, докладчики и слушатели пришли к выводу, что отказоустойчивые вычислительные комплексы востребованы в наши дни практически во всех сферах человеческой жизни. Опыт ГУП «Терком» и ЗАО «Ланит-Терком» показывает, что ОВК и программное обеспечение к ним создаются и успешно работают в России.