Во вторник 17 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Сергей Михайлович Старолетов (Институт Автоматики и Электрометрии, АлтГУ)
Тема: Формальное моделирование различных архитектур графических конвейеров в SPIN
В этом докладе будет представлена формальная модель графического конвейера GPU, реализованная на языке моделирования Promela, для возможной будущей верификации с помощью средства проверки моделей SPIN. Будет представлен анализ исторических графических архитектур. Модель осуществляет реальный 3D рендеринг в целочисленных координатах, абстрагирует ключевые этапы конвейера — выборку вершин, обработку шейдеров, растеризацию, текстурирование и пиксельные операции как параллельные процессы, синхронизированные через буферизованные каналы и семафоры. Модель может служить основой для сравнения графических архитектур, демонстрации в учебных целях и формальной проверки корректности конвейера.