Конференция «Разработка отказоустойчивых микропроцессорных систем управления»

Заявка

Тематический план конференции

Аннотации докладов

Требования к докладу

Уважаемые господа!
Приглашаем Вас на коференцию «Разработка отказоустойчивых микропроцессорных систем управления» 31 мая и 1 июня 2012 г в ГК "Измайлово-Альфа", Москва.

Докладчики:

Терехов А.В.

Кривошеин Б.Н.

Виноградов А.А.

Кравчук С.В.

Таратута С.П.

Лобанов А. В.

Тарабаров П.А.

Буравлёв А. В.

 Еремеев П.М.

Семенов Н.

Песикова О.В.

Гусев Е.В.

Тихонов С.Н.

Горбунов Н. Б.

Сиренко В.Г.

Алексеев М. А.

Пятницких А. В.

Осипенко П.

Бобков С.

Бретман В.

и др.

Программа конференции:
День 1.
9-00 – 10-00 Регистрация
10-00 – 11-30 Секция 1. Развитие теории отказоустойчивых систем управления
Докладчики: ведущие ученые отраслевых исследовательских институтов и университетов.
Основные вопросы:

• Ключевые достижения теории отказоустойчивых систем управления и новые задачи.
• Выбор архитектуры отказоустойчивой системы управления по требованиям функциональной безопасности.
• Методы доказательства соответствия системы управления требованиям безопасности.
• Управление циклом проектирования и жизненным циклом отказоустойчивой системы управления.

Кофе-брейк
12-00 – 13-30 Секция 2. Разработка отказоустойчивых систем управления различного назначения.
Докладчики: главные конструктора и ведущие специалисты предприятий-разработчиков комплексов.
Основные вопросы:

• Построение отказоустойчивых телекоммуникационных систем.
• Обеспечение отказоустойчивости суперкомпьютеров и серверов в крупных вычислительных центрах.
• Построение необслуживаемых систем управления.
• Системы управления движением летательных аппаратов.
• Системы управления в атомной энергетике.

Обед
14-30 – 16-00 Секция 3. Модули отказоустойчивых систем управления.
Докладчики: главные конструктора и ведущие специалисты предприятий-разработчиков модулей.
Основные вопросы:

• Одноплатные компьютеры для построения отказоустойчивых систем управления.
• Модули цифровой обработки сигналов.
• Интерфейсные модули и модули связи.
• Проектирование модулей на основе ПЛИС для отказоустойчивых систем управления.

Кофе-брейк
16-30 – 18-00 Круглые столы.
Темы обсуждений:

• Нормативная база для отказоустойчивых систем управления.
• Контрактная разработка модулей и ПО для отказоустойчивых систем управления.
• Применение коммерчески готовых (COTS) модулей и компонентов в отказоустойчивых системах управления.
• Обучение и повышение квалификации кадров в области проектирования отказоустойчивых систем управления. 

День 2.
10-00 – 11-30 Секция 1. Современные методы разработки ПО для отказоустойчивых систем управления
Докладчики: ученые и инженеры-разработчики ПО
Основные вопросы:

• Причины вероятностного поведения сложного ПО, влияние на надежность системы управления.
• Повышение качества сложного ПО при использовании методов разработки на основе высокоуровневых описаний.
• Использование статических и динамических языков высокого уровня при проектировании отказоустойчивых систем управления.
• Методы тестирования ПО отказоустойчивых систем.

Кофе-брейк
12-00 – 13-30 Секция 2.Проекты разработки ПО для отказоустойчивых систем управления
Докладчики: разработчики ПО и руководители проектов
Рекомендованный план докладов:

• Методика разработки ПО.
• Организация команды проекта, участие контрактных разработчиков.
• Использованные технологии.
• Ключевые технические решения проекта.
• Внедрение и использование разработки.

Обед
14-30 – 16-00 Секция 3. ОС реального времени и инструменты программирования
Докладчики: российские разработчики ОСРВ, представители зарубежных разработчиков
Основные вопросы:

• ОСРВ российской разработки.
• ОСРВ зарубежной разработки.
• Графические языки программирования.
• Предметно-ориентированные языки программирования.
• Программные методы.

Кофе-брейк
16-30 – 18-00 Круглые столы.
Темы обсуждений:

• Методика разработки ПО для отказоустойчивых систем управления.
• Контрактная разработка модулей и ПО для отказоустойчивых систем управления.
• Операционные системы реального времени.
• Языки и инструменты программирования.

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

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