Конференция "Разработка отказоустойчивых систем управления"
Предварительная программа конференции (файл обновляется по мере утверждения докладов программным комитетом).
Уважаемые господа!
Приглашаем Вас на Конференцию "Разработка отказоустойчивых систем управления" 23 мая 2013 г в Санкт-Петербурге.
Адрес: г. Санкт-Петербург, Обводный канал, 93А
Темы докладов и обсуждений:
- Разработка ПО для отказоустойчивых систем управления.
- Электронные компоненты, модули и аппаратура отказоустойчивых систем управления.
- Операционные системы реального времени.
- Языки и инструменты программирования.
- Организация разработок.
Программа конференции будет сформирована до 26 апреля 2013 г. Программа прошедшей конференции 2012 года доступна на сайте
Аннотации докладов:
Разработка радиационно-стойкого сбоеустойчивого микроконтроллера на базе 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).
Докладчик: Николай Горбунов, менеджер направления встраиваемых программных платформ, «ПРОСОФТ-Петербург».
Заявки на выступления с докладами принимаются до 17 мая 2013 г. Заявка должна содержать следующую информацию:
- ФИО, ученая степень автора и соавторов доклада, должность, место работы
- Название доклада
- Аннотация доклада в объеме не более 50 слов.
Текст доклада для сборника материалов конференции должен быть выслан до 20 мая в формате MS Word 97-2003 или RTF. Размер файла не должен превышать 2 Мб. Общий объем доклада не должен превышать 8 страниц, общий объем текста не более 15 000 печатных знаков, включая аннотацию.
Для участия заполните, пожалуйста, бланк заявки и направьте нам его по электронной почте seminar@sovel.org или по факсу +7(495)280-04-19.
Задать вопросы о конференции можно по телефону: +7(495)505-15-38.