Аннотации докладов "Разработка отказоустойчивых микропроцессорных систем управления"
Приглашаем Вас и Ваших коллег принять участие в конференции «Разработка отказоустойчивых микропроцессорных систем управления», которая пройдет 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).
Докладчик: Николай Горбунов, менеджер направления встраиваемых программных платформ, «ПРОСОФТ-Петербург».
Для участия в конференции, пожалуйста, заполните заявку и вышлите ее по эл. почте seminar@sovel.org или по факсу (495) 280-04-19.