|
EN |
Поиск по сайту
Авторизация
Подписка на новости
|
Семинар «Разработка отказоустойчивых микропроцессорных систем управления»23.11.2011 Семинар предназначен для разработчиков встраиваемых систем управления ответственного назначения. Задачи семинара: систематизация практического опыта и знаний разработчиков отказоустойчивых систем управления, расширение профессионального кругозора, практические рекомендации для разработчиков. Авторы семинара и докладчики: o Андрей Николаевич Терехов, профессор, д.ф-м.н., директор НИИ информационных технологий СПбГУ, генеральный директор ЗАО «Ланит-Терком» o Борис Николаевич Кривошеин, директор НТЦ радиоэлектронной аппаратуры ЗАО «Ланит-Терком» Программа семинара: 10-00 – 11-30 Методика разработки отказоустойчивых систем управления и анализ надежности. Докладчик: Б.Н.Кривошеин. · Базовые понятия надежности. Классификация электронных систем по функциональной безопасности. · Нормативные документы, применяемые при разработке систем ответственного назначения. ГОСТ Р МЭК 61508- (1:7)-2007. Руководство по гарантии конструирования бортовой электронной аппаратуры КТ-254. · Понятие гарантии проектирования. Оценка безопасности аппаратуры. · Жизненный цикл конструирования аппаратуры. Основные и вспомогательные процессы. · Основные процессы: планирование разработки, определение требований, проектирование. · Вспомогательные процессы: обоснование, верификация, управление конфигурацией. · Процесс гарантии и доказательство соответствия уровню гарантии разработки. · Применение коммерчески готовых компонентов (COTS) в системах ответственного назначения. · Методы анализа надежности. ГОСТ Р 51901.5- 2005, MIL-HDBK-217. 12-00 – 13-30 Аппаратные архитектуры отказоустойчивых электронных систем. Докладчик: Б.Н.Кривошеин. · Аппаратные архитектуры отказоустойчивых систем. Основные характеристики систем с резервированием, тройной модульной избыточностью (ТMR), четырехкратной модульной избыточностью (QMR). · Классификация аппаратных архитектур по числу каналов и степени избыточности (XooY). Факторы, влияющие на оценку надёжности систем с аппаратной избыточностью. · Различия оценок надёжности систем с высокой и низкой интенсивностью запросов. · Способы снижения факторов, негативно влияющих на надёжность электронных систем. · Критерии отказоустойчивости. Выбор архитектуры системы управления по требованиям функциональной безопасности. Проблемы построения отказоустойчивых систем. 14-30 – 16-00 Инженерная практика построения систем с высоким уровнем функциональной безопасности. Докладчики: А.Н.Терехов, Б.Н.Кривошеин · Применение ПЛИС для реализации отказоустойчивых систем. Преимущества и недостатки решений на базе ПЛИС. · Архитектура отказоустойчивого вычислительного комплекса (ОВК) архитектуры 2oo3 с пакетным мажорированием. Расчёт надежности ОВК. · Модель взаимодействия ОВК с периферийным оборудованием. Программная и аппаратная поддержка архитектуры 2оо3. · Процессы внутренней синхронизации, контроля, локализации и изоляции неисправностей в ОВК. 16-30 – 18-00 Разработка ПО отказоустойчивых электронных систем. Докладчик: А.Н.Терехов · Вопросы надёжности ПО. Механизмы возникновения вероятностного поведения в программно-аппаратных системах. Ускоренное тестирование алгоритмов. · Операционная система реального времени EmBOX. · Развитие технологий программирования систем реального времени. Инструменты проектирования ПО отказоустойчивых систем. · Технология графического проектирования QReal. CASE-подход. · Понятие метаCASE-системы. Метаредактор. · CoDesign и язык HaSCoL. Для участия в семинаре необходимо заполнить заявку и направить по эл. почте seminar@sovel.org или по факсу (495) 280-04-19. На основании заявки будет выставлен счет, который необходимо оплатить в течение 5 банковских дней. Более подробная информация о семинаре: http://www.sovel.org/01122011. |
Читайте бесплатно
События из истории измерений
10.10.1908
День рождения ученого, давшего объяснение эффекту "свечения" электронов
|