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

18.05.2013

Конференция состоится 23 мая 2013 года в МДЦ «Нептун» по адресу: г. Санкт-Петербург, наб. Обводного канала, 93А, с 10.00 до 18.00.

Аннотации докладов:

Разработка радиационно-стойкого сбоеустойчивого микроконтроллера на базе ARM Cortex-M4F.

В докладе представлены результаты ОКР «Обработка-13». Целью ОКР является разработка отечественного высокопроизводительного многофункционального микроконтроллера с высокой стойкостью к обычным и специальным факторам космического пространства и ЯВ.

Докладчики: Сергей Шумилин, начальник отдела проектирования цифровых ИС Центра проектирования интегральных микросхем «Миландр», Алексей Новоселов, директор по маркетингу группы компаний «Миландр».

Реконфигурируемость и живучесть мультиклеточных процессоров.

Рассматриваются особенности архитектуры мультиклеточных процессоров, связанные с полной независимостью их объектного программного кода от количества клеток, что позволяет обеспечить динамическую реконфигурацию и живучесть этих процессоров при отказах клеток (деградации процессора). Предлагается ряд аппаратных и программных решений для реализации этих возможностей.

Докладчик: Николай Стрельцов, технический директор ОАО «Мультиклет».

Доверительные отечественные программно-аппаратные платформы АСУ: состояние разработок, актуальные проблемы.

Докладчик: Александр Виноградов, первый заместитель главного конструктора ОАО «НПО «Импульс».

Обзор номенклатуры безопасных компьютеров для ответственных применений.

Докладчик: Алексей Пятницких, менеджер по продукции, «ПРОСОФТ» В докладе будут представлены новые решения от компании MEN для построения встраиваемых систем, сертифицируемых по уровням безопасности до SIL 4 и DAL-A.

Embox – российская ОСРВ для отказоустойчивых систем управления.

В докладе представлен проект по разработке российской ОСРВ Embox, включая требования жесткого реального времени, требования отказоустойчивости, требования защищенности, требования программной совместимости, требования сопровождаемости. С целью позиционирования Embox относительно известных ОС для встраиваемых систем в докладе сделан обзор характеристик LynxOS, QNX, Integrity, VxWorks, OS-9, RTEMS, eCos, RTLinux.

Докладчик: Борис Кривошеин, директор департамента разработки РЭА, «Ланит-Терком».

Современные технологии программно-аппаратного код-дизайна.

Докладчик: Андрей Терехов, профессор Санкт-Петербургского Государственного Университета, заведующий кафедрой системного программирования СПб ГУ, д.ф-м.н., генеральный директор ЗАО "Ланит-Терком".

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

Доклад охватывает технологические, методологические и организационные аспекты функциональной безопасности программного обеспечения. Приводятся примеры подходов к сертификации систем и изделий по различным отраслевым стандартам (МЭК 61508 и его производные, DO-178В, и т.п.) с применением сертифицируемых операционных систем (VxWorks Cert, QNX Safe Kernel, PikeOS) и аттестованного инструментария оценки качества программного кода (LDRA).

Докладчик: Николай Горбунов, менеджер направления встраиваемых программных платформ, «ПРОСОФТ-Петербург».

Повышение отказоустойчивости интеллектуальных устройств на основе ОС WindowsEmbedded.

В докладе рассмотрены функциональные возможности ОС WindowsEmbedded, которые позволяют разработчикам встраиваемых систем не только интегрировать преимущества «настольных» Windows-технологий, но и оснащать их дополнительными средствами отказоустойчивости без использования сторонних решений.

Для участия в конференции необходимо заполнить заявку и отправить её по эл. почте seminar@sovel.org или по факсу (495) 280-04-19.

Предварительная программа конференции доступна на сайте - http://www.sovel.org/23052013

Информационно-аналитического Центра Современной Электроники

+7(495)280-04-19; +7(495)505-15-38

forum@sovel.org, www.sovel.org