Семинар предназначен для разработчиков встраиваемых систем управления ответственного назначения. Задачи семинара : систематизация практического опыта и знаний разработчиков отказоустойчивых систем управления, расширение профессионального кругозора, практические рекомендации для разработчиков.
Организатор: "Центр соверменной электроники".
Докладчики:
- Андрей Николаевич Терехов, профессор, д.ф-м.н., директор НИИ информационных технологий СПбГУ, генеральный директор ЗАО «Ланит-Терком»
- Борис Николаевич Кривошеин, директор НТЦ радиоэлектронной аппаратуры ЗАО «Ланит-Терком»
- Владимир Борисович Стешенко, к.т.н., зам. генерального конструктора ОАО «Российские космические системы»
Программа семинара
10-00 – 11-30 Разработка ПО отказоустойчивых систем управления. Докладчик: А.Н.Терехов.
- Базовые понятия надежности: коэффициент готовности, отказоустойчивость, отказобезопасность.
- Классификация безопасности электронных систем по международному стандарту IEC 61508.
- Характеристики систем управления встраиваемого класса.
- Принципы разработки ПО систем управления реального времени. Модель автономной системы.
- Теория расписаний. Вероятностное поведение многоканальных систем управления жесткого реального времени.
- Подтверждение надежности ПО. Имитационное моделирование. Лабораторные и полевые испытания. Ускоренное тестирование параметров надежности.
- Применение высокоуровневых средств проектирования для разработки систем ответственного назначения. Графические CASE-системы проектирования. Технология CoDesign.
Кофе-брейк
12-00 – 13-30 Разработка аппаратуры отказоустойчивых электронных систем. Докладчик: Б.Н.Кривошеин
- Аппаратные архитектуры отказоустойчивых систем. Основные характеристики систем с резервированием, тройной модульной избыточностью (ТMR), четырехкратной модульной избыточностью (QMR).
- Выбор архитектуры системы управления по требованиям коэффициента готовности и отказобезопасности. Расчет надежности аппаратных средств.
- Проектирование систем с тройной модульной избыточностью (ТMR). Ключевые критерии отказоустойчивости, отказобезопасности и способы их реализации.
- Проблемы построения отказобезопасных систем управления и их решение.
- Пример разработки: ОВК - отказоустойчивый вычислительный комплекс TMR-архитектуры с пакетным мажорированием.
Обед
14-30 – 16-00 Разработка аппаратуры отказоустойчивых электронных систем. Докладчик: В.Б. Стешенко
- Разработка аппаратно-программной платформы: унификация аппаратных и программных модулей, используемых в системе управления
- Выбор микропроцессорного ядра для отказоустойчивой системы управления
- Разработка и фаблес производство специализированных микропроцессоров для ответственных применений
- Организация разработки специализированных микросхем
- Выбор и взаимодействие с полупроводниковыми фабриками
- Использование СФ-блоков
- Лицензирование
- Сопровождение производства
Кофе-брейк
16-30 – 18-00 Тестирование компонентов. Управление номенклатурой компонентов, используемых в разработке. Докладчик: В.Б. Стешенко
- Тестирование компонентов, используемых в системах управления ответственного назначения
- аппаратная верификация
- программная верификация
- полнота тестирования
- Управление номенклатурой электронных компонентов и модулей
- Информационное сопровождение компонентов и модулей в течение жизненного цикла системы управления
Источник: http://www.sovel.org/20110407
| < Предыдущая | Следующая > |
|---|
