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

10.05.2012

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

День 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 Секция 4. Современные методы разработки ПО для отказоустойчивых систем управления
Докладчики: ученые и инженеры-разработчики ПО
Основные вопросы:
• Причины вероятностного поведения сложного ПО, влияние на надежность системы управления.
• Повышение качества сложного ПО при использовании методов разработки на основе высокоуровневых описаний.
• Использование статических и динамических языков высокого уровня при проектировании отказоустойчивых систем управления.
• Методы тестирования ПО отказоустойчивых систем.
Кофе-брейк
12-00 – 13-30 Секция 5.Опыт разработки ПО для отказоустойчивых систем управления
Докладчики: разработчики ПО и руководители проектов
Рекомендованный план докладов:
• Методика разработки ПО.
• Организация команды проекта, участие контрактных разработчиков.
• Использованные технологии.
• Ключевые технические решения проекта.
• Внедрение и использование разработки.
Обед
14-30 – 16-00 Секция 6. ОС реального времени и инструменты программирования
Докладчики: российские разработчики ОСРВ, представители зарубежных разработчиков
• ОСРВ российской разработки.
• ОСРВ зарубежной разработки.
• Графические языки программирования.
• Предметно-ориентированные языки программирования.
• Программные методы.
Кофе-брейк
16-30 – 18-00 Круглые столы.
Темы обсуждений:
• Методика разработки ПО для отказоустойчивых систем управления.
• Контрактная разработка модулей и ПО для отказоустойчивых систем управления.
• Операционные системы реального времени.
• Языки и инструменты программирования.


Программа конференции будет сформирована полностью до 14 мая 2012 года.
Информация об условиях участия и требования к докладам размещена на сайте www.sovel.org/31052012.
Для участия в конференции, пожалуйста, заполните заявку и пришлите ее по эл. почте forum@sovel.org или по факсу +7(495)280-04-19.