|
OS Day 2023
(June 22–23, 2023, Steklov Mathematical Institute of RAS, Moscow)
|
| OS Day 2023, Moscow, June 22–23, 2023 |
|
|
June 22, 2023 (Thu) |
 |
| 1. |
Открытие конференции. Приветствия от организаторов конференции
Арутюн Аветисян, Роман Аляутдин, Андрей Духвалов, Валерий Егоров, Анна Кан, Алексей Новодворский, Александр Оружейников, Роман Симаков
June 22, 2023 09:45–10:15, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 2. |
Экосистема ОС Аврора. Статус поддержки фреймворка Flutter
Денис Глазков
June 22, 2023 10:15–10:40, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
| 3. |
Динамическая символьная интерпретация для процессорной архитектуры Байкал-М (AArch64)
Влада Логунова
June 22, 2023 10:40–11:05, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 4. |
Внутреннее устройство эмулятора процессора на архитектуре RISC-V для портирования, разработки и отладки ПО
Светлана Бурлака, Александр Солдатов
June 22, 2023 11:05–11:30, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 5. |
Подходы к формированию экосистемы решений ГК Астра
Роман Мылицын, Александр Оружейников
June 22, 2023 12:00–12:25, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 6. |
Автоматизированное рабочее место на базе QP ОС
Андрей Чернов, Александр Афонин
June 22, 2023 12:25–12:50, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 7. |
Централизованная служба сборки дистрибутивных решений ОС «Альт»
Евгений Синельников
June 22, 2023 12:50–13:15, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 8. |
Проектирование бортовой ОСРВ с жёстким реальным временем для космического применения
Виталий Чепцов, Алексей Хорошилов
June 22, 2023 14:15–14:40, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 9. |
Один из подходов для создания безопасной системы реального времени на базе KasperskyOS
Сергей Барсуков, Игорь Сорокин
June 22, 2023 14:40–15:05, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 10. |
Разработка приложений для операционной системы реального времени «Нейтрино»
Владимир Махилёв
June 22, 2023 15:05–15:30, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 11. |
Embox российская ОС для цифровых устройств
Антон Бондарев
June 22, 2023 15:30–15:55, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 12. |
Улучшения кода ранних этапов загрузки ядра ОС Linux
Евгений Басков
June 22, 2023 16:25–16:50, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 13. |
Повышение эффективности гибридного фаззинга с помощью метода поиска перспективных условных переходов
Александр Новиков, Шамиль Курмангалеев
June 22, 2023 16:50–17:15, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 14. |
Универсальный пакетный менеджер EPM как элемент единой экосистемы ОС
Виталий Липатов
June 22, 2023 17:15–17:40, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
|
June 23, 2023 (Fri) |
|
| 15. |
Круглый стол «Взаимодействие разработчиков операционных систем и прикладного ПО, проблемы унификации и способы их решения»
Арутюн Аветисян
June 23, 2023 09:45–12:00, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 16. |
Развитие программных продуктов ГосНИИАС для операционной системы JetOS
Юрий Солоделов, Анна Кан
June 23, 2023 12:30–12:55, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 17. |
Преобразование управления инфраструктурой: Инновации и возможности системы РЕД АДМ
Роман Прохор
June 23, 2023 12:55–13:20, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 18. |
Интеграция защищённой операционной системы QP ОС в доменную инфраструктуру
Арсений Баринов, Александр Афонин
June 23, 2023 13:20–13:45, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 19. |
Метод фаззинга протоколов с использованием модифицированного клиента
Виталий Акользин, Шамиль Курмангалеев
June 23, 2023 14:45–15:10, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 20. |
Методология разработки с учетом кибериммуного подхода. Иллюстрация применения на базе микросервисной архитектуры для модели дрона-доставщика
Сергей Соболев
June 23, 2023 15:10–15:35, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 21. |
Метод совмещения результатов статического и динамического анализа для цикла разработки безопасного программного обеспечения
Максим Мишечкин, Шамиль Курмангалеев
June 23, 2023 15:35–16:00, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 22. |
Разработка прикладного ПО, совместимого с продуктами экосистемы РОСА
Михаил Новоселов, Алексей Киселев
June 23, 2023 16:30–16:55, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 23. |
Изменение графического интерфейса "РЕД ОС"
Артем Радевич
June 23, 2023 16:55–17:20, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 24. |
Автоматизация тестирования графических приложений и установки ОС GNU/Linux
Евгений Замрий
June 23, 2023 17:20–17:45, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
| 25. |
Портал разработчиков для российских операционных систем
Василий Шлыков
June 23, 2023 17:45–18:10, Moscow, Steklov Mathematical Institute of RAS
|
|
|
|
|
|
|
Institutions
Contact us: