Пятая научно-практическая конференция OS DAY НАДЁЖНОСТЬ

Сегдня ЦМИТ Бионик-лаб в Российской Академии наук на пятой научно-практическуой конференции OS DAY НАДЁЖНОСТЬ.
Дмитрий Державин Ведущий инженер
Базальт СПО рассказал об обеспечении надёжности совместимых решений на платформе Alt Linux.
Наталья Горелиц Инженер 1 категории
ФГУП ГосНИИАС – о достижении сертифицируемости.
Дмитрий Завалишин Генеральный директор
DZ Systems и Антон Зуев – о технологических решениях в ОС Фантом (Phantom OS), интеграция с проектом Эльбрус.
Илья Захаров ИСП РАН – о статической верификации системного программного обеспечения на языке Си для ядра Linux, TIZEN, ОС ПБ Багет. Система Klever.
Александр Попов, Positive Technologies – Как STACKLEAK улучшает безопасность ядра Linux, Kernel Self Prottection Project. Вполне возможно, что разработка Александра Попова войдёт в ядро Linux 4.8. Автор сорвал овации своим докладом.
Николай Пакулин, ИСП РАН; д.ф.м.н. Екатерина Лаврищева, ИСП РАН – Анализ методов оценки надежности оборудования и систем.
Андрей Савченко, Базальт СПО, – Clsync – инструмент живой синхронизации данных. Актуальность синхронизации для кластеров, веб серверов и др.
Дмитрий Левин, Базальт СПО – glibc: библиотека С в операционных системах семейства GNU/Linux
Антон Бондарев, OS Embox – Организация поддержки 3d-ускорения в ОСРВ на основе проектов с открытым кодом.
Сергей Пилкин, Эремекс –Разработка надёжных встраиваемых систем с операционной системой FX-RTOS и системы реального времени.
Валерий Егоров, Криптософт – Новые технологии в составе операционной системы QP ОС. QP OS не Linux и не realtime. QP OS сертифицирована государством.
Сергей Старолетов, АлтГТУ им. И.И. Ползунова – Проектирование надежного программного обеспечения дрона на основе партиционированной операционной системы реального времени.
Андрей Волков руководитель напрввления доверенной платформы Аладдин РД – Средство доверенной загрузки TSM для процессоров ARM.
Александр Оружейников начальник НТЦ-1, РусБИТех-Астра – Полнофункциональная реализация мандатного контроля целостности в ОССН Astra Linux Special Edition.
Екатерина Рудина старший системный аналитик
Лаборатория Касперского – The State Monitoring Engine for the Adaptive MILS Platform.
Денис Медведев, начальник отдела разработки и сертификации защищенных решений Базальт СПО – Изменения политик управления доступом.
Дмитрий Холопов, руководитель группы разработки
Антон Черников, руководитель группы низкоуровневого программирования.
МВП Свемел – Доверенная загрузка в сетях с доступом к разнокатегорийной информации.
Сергей Корольков, Доверенная платформа – Применение архитектуры доверия для обеспечения нормативных требований по безопасности.
Виктор Кулямин, ИСП РАН; Петр Девянин, РусБИТех-Астра; Денис Медведев, Базальт СПО – Архитектура и возможности средств защиты информации на основе LSM ( SELinux, AstraLinux и др.)
Алексей Хорошилов, ИСП РАН; Денис Медведев, Базальт СПО; Александр Оружейников, РусБИТех-Астра– Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux.
Петр Девянин, РусБИТех-Астра; Представитель ФСТЭК – Возможности сертификации защищенных ОС Linux в соответствии с Профилями защиты разных уровней.
Александр Оружейников, РусБИТех-Астра; Алексей Хорошилов, ИСП РАН – Трудоемкость сопровождения и эксплуатации защищенных ОС Linux.
Георгий Курячий, Базальт СПО – Инструментальная поддержка преподавания дисциплины «Архитектура ЭВМ и язык ассемблера» на ВМК МГУ.