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

Информационно-аналитический Центр Современной Электроники приглашает 31 мая и 1 июня на конференцию, посвященную разработке отказоустойчивых микропроцессорных систем управления.

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

Докладчики: ведущие ученые отраслевых исследовательских институтов, главные конструктора и ведущие специалисты предприятий-разработчиков.

Тема первого дня – разработка аппаратуры и модулей.

Основные вопросы:

- Развитие теории отказоустойчивых систем управления

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

- Разработка отказоустойчивых комплексов различного назначения.

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

- Модули отказоустойчивых систем управления.

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

- Темы круглых столов

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

Тема второго дня – разработка ПО.

Основные вопросы:

- Современные методы разработки ПО для отказоустойчивых систем управления

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

- Проекты разработки ПО для отказоустойчивых систем управления

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

- ОС реального времени и инструменты программирования

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

- Темы круглых столов

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