Конференция «Разработка отказоустойчивых микропроцессорных систем управления» 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 Круглые столы. Темы обсуждений: Методика разработки ПО для отказоустойчивых систем управления. Контрактная разработка модулей и ПО для отказоустойчивых систем управления. Операционные системы реального времени. Языки и инструменты программирования.