Семинар "Разработка отказоустойчивых микропроцессорных систем управления", 7 апреля в г. Санкт-Петербурге Опции

[Enthusiast]

Семинар «Разработка отказоустойчивых микропроцессорных систем управления»

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

Докладчики:
1. Андрей Николаевич Терехов, профессор, д.ф-м.н., директор НИИ информационных технологий СПбГУ, генеральный директор ЗАО «Ланит-Терком»
2. Борис Николаевич Кривошеин, директор НТЦ радиоэлектронной аппаратуры ЗАО «Ланит-Терком»
3. Владимир Борисович Стешенко, к.т.н., зам. генерального конструктора ОАО «Россий-ские космические системы»

Программа семинара
10-00 – 11-30 Разработка ПО отказоустойчивых систем управления. Докладчик: А.Н.Терехов.
1. Базовые понятия надежности: коэффициент готовности, отказоустойчивость, отказобе-зопасность.
2. Классификация безопасности электронных систем по международному стандарту IEC 61508.
3. Характеристики систем управления встраиваемого класса.
4. Принципы разработки ПО систем управления реального времени. Модель автономной системы.
5. Теория расписаний. Вероятностное поведение многоканальных систем управления жесткого реального времени.
6. Подтверждение надежности ПО. Имитационное моделирование. Лабораторные и полевые испытания. Ускоренное тестирование параметров надежности.
7. Применение высокоуровневых средств проектирования для разработки систем ответственного назначения. Графические CASE-системы проектирования. Технология CoDesign.

Кофе-брейк

12-00 – 13-30 Разработка аппаратуры отказоустойчивых электронных систем. Докладчик: Б.Н.Кривошеин
1. Аппаратные архитектуры отказоустойчивых систем. Основные характеристики систем с резервированием, тройной модульной избыточностью (ТMR), четырехкратной модульной избыточностью (QMR).
2. Выбор архитектуры системы управления по требованиям коэффициента готовности и
отказобезопасности. Расчет надежности аппаратных средств.
3. Проектирование систем с тройной модульной избыточностью (ТMR). Ключевые крите-рии отказоустойчивости, отказобезопасности и способы их реализации.
4. Проблемы построения отказобезопасных систем управления и их решение.
5. Пример разработки: ОВК - отказоустойчивый вычислительный комплекс TMR-архитектуры с пакетным мажорированием.

Обед

14-30 – 16-00 Разработка аппаратуры отказоустойчивых электронных систем. Докладчик: В.Б. Стешенко
1. Разработка аппаратно-программной платформы: унификация аппаратных и программ-ных модулей, используемых в системе управления
2. Выбор микропроцессорного ядра для отказоустойчивой системы управления
3. Разработка и фаблес производство специализированных микропроцессоров для ответ-ственных применений
a. Организация разработки специализированных микросхем
b. Выбор и взаимодействие с полупроводниковыми фабриками
c. Использование СФ-блоков
d. Лицензирование
e. Сопровождение производства

Кофе-брейк

16-30 – 18-00 Тестирование компонентов. Управление номенклатурой компонентов, используемых в разработке. Докладчик: В.Б. Стешенко
1. Тестирование компонентов, используемых в системах управления ответственного на-значения
a. аппаратная верификация
b. программная верификация
c. полнота тестирования
2. Управление номенклатурой электронных компонентов и модулей
3. Информационное сопровождение компонентов и модулей в течение жизненного цикла системы управления.

Источник.
Если кто-нибудь из форумчан соберётся посетить эту встречу, то не могли бы Вы выложить здесь файлы презентаций и другие материалы после её завершения? Было бы очень любопытно взглянуть.