
Сергей Старолетов
Кандидат физико-математических наук (2011 г.) Тема диссертации - Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей. Преподаю курсы для бакалавров и магистров Программной инженерии - тестирование и верификация, компоненты операционных систем, функциональные языки распределенных систем, параллельное программирование, паттерны проектирования, введение в информатику (олимпиадные задачи на языке С). Имею опыт промышленной разработки в аутсорсинговых компаниях в том числе сложного сетевого программного обеспечения. В последнее время думаю над продолжением активных научных исследований в разработке и применении технологий верификации и обеспечения качества в гибридных и высоконадежных программных системах, связанных с повседневной деятельностью современных людей (умные устройства, автомобили, другая техника). Лучший молодой преподаватель АлтГТУ 2014 г.
Вопросы разработки и отладки многораздельных операционных систем для ARM архитектуры микроконтроллеров STM32
В докладе предполагается показать шаги из опыта автора по получению работающего решения многопоточных приложений, работающих с периферией и действующих в стиле POK. Ранее была рассмотрена модель такой операционной системы, а теперь и ее реализация на основе указанного открытого кода. Предполагается рассмотреть также подход в стиле MDD по графической конфигурации в средстве STM32CubeIDE с генерацией кода (что популярно для многораздельных систем).
тезисы
Регистрация
Программный комитет



Место проведения
«Точка-кипения РЭУ».
О проекте
Ежегодная научно-практическая конференция OS DAY проводится в России с 2014 года. Это коммуникационная площадка для теоретиков и практиков системного программирования и разработки операционных платформ, место консолидации российских разработчиков ОС и поиска точек для совместной деятельности.
Главные задачи конференции – определить перспективные направления и технологии в сфере разработки операционных систем, обозначить главные вызовы современной IT-отрасли и помочь разработчикам, производителям и заказчикам обменяться опытом.
Организаторы: ИСП РАН, DZ Systems, «Базальт СПО», ФГБУ «НИЦ «Институт имени Н.Е. Жуковского», «Лаборатория Касперского», РЕД СОФТ, Группа Астра, «Криптософт» и Открытая мобильная платформа.


