Семинар "Разработка отказоустойчивых микропроцессорных систем управления"
Бланк заявки Программа семинара Уважаемые господа! Приглашаем Вас на семинар «Разработка отказоустойчивых микропроцессорных систем управления».Авторы и докладчики семинара:
- Андрей Николаевич Терехов, профессор, директор НИИ информационных технологий СПбГУ, генеральный директор ЗАО «Ланит-Терком»;
- Борис Николаевич Кривошеин, к.т.н., директор департамента телекоммуникаций и встроенных систем ЗАО «Ланит-Терком»;
- Методика разработки отказоустойчивых систем управления и анализ надежности.
- Аппаратные архитектуры отказоустойчивых электронных систем.
- Инженерная практика построения систем с высоким уровнем функциональной безопасности.
- Разработка ПО отказоустойчивых электронных систем. Вероятностное поведение программно-аппаратных систем. Ускоренное тестирование алгоритмов.
- Развитие технологий программирования систем реального времени. ОС 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.