RSS
English

Семинар "Разработка отказоустойчивых микропроцессорных систем управления"

Бланк заявки

Программа семинара

Уважаемые господа!

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

Схема проезда


Авторы и докладчики семинара:

Основные вопросы семинара:

  • Методика разработки отказоустойчивых систем управления и анализ надежности.
  • Аппаратные архитектуры отказоустойчивых электронных систем.
  • Инженерная практика построения систем с высоким уровнем функциональной безопасности.
  • Разработка ПО отказоустойчивых электронных систем. Вероятностное поведение программно-аппаратных систем. Ускоренное тестирование алгоритмов.
  • Развитие технологий программирования систем реального времени. ОС EmBOX.
  • Инструменты проектирования ПО отказоустойчивых систем. Технология графического проектирования QReal. CASE-подход. МетаCASE-системы. Метаредактор. CoDesign и язык HaSCoL.

Обоснование семинара

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

Необходимо культивировать и распространять эти подходы и технологии среди российских производителей аппаратуры ответственного назначения. Эта задача является основной для данного семинара.

На семинаре подробно рассматривается использование архитектуры с тройной модульной избыточностью (2оо3, TMR) и четырехкратной модульной избыточностью (QMR) аппаратуры. Такая архитектура позволяют обеспечить отказоустойчивость и гарантоспособность, но требуют от разработчика высокой квалификации в следующих вопросах:

  • синхронизация и контроль однотипных аппаратных модулей без общего источника синхронизации,
  • вероятностное поведение встроенного ПО при объемах исходного кода в миллионы строк,
  • использование технологий логического синтеза СБИС/ПЛИС по описанию на языках VHDL/Verilog,
  • отсутствие полной номенклатуры специализированной элементной базы для отказоустойчивых систем.

Эти и другие вопросы проектирования TMR и QMR систем будут рассмотрены на семинаре.

Большое внимание на семинаре уделяется вопросам разработки ПО отказоустойчивых систем. В том числе:

  • механизмы возникновения вероятностного поведения ПО,
  • ускоренное тестирование алгоритмов на робастность,
  • использование CASE- и DSM-подходов при программировании,
  • использование специальных инструментов и языков программирования для повышения производительности труда разработчиков и качества ПО.

Для участия, пожалуйста, заполните, бланк заявки и направьте нам его по электронной почте seminar@sovel.org или по факсу +7(495)280-04-19

Задать вопросы о семинаре можно по телефону: +7(495)505-15-38.

© 2012 Центр соверменной электроники | E-mail: info@sovel.org | тел. (495) 505-15-38