план конф Отказоустойчивые

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